|
|
Alexander Krassovitskiy
|
2005 – 2011
|
My scientific interests are in formal languages and their applications, in particularly, in insertion and deletion systems. I am interested in bio-inspired devices, software specification and verification, model checking, and Petri Nets. |
|
CV |
Publications |
Some photos |