Igor Serikov

Personal information


software modeling
software synthesis
concurrency
determinism
operating systems
compilers
programming languages
cellular automata

History


6 years 42 weeks