Igor Serikov

Personal information


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

History


7 years 24 weeks