Igor Serikov

Personal information


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

History


13 years 12 weeks