Sergiy Boroday

Centre de Recherche Informatique de Montreal (CRIM) Group for Distributed System Analysis 550  Sherbrooke street West,  Suite 100  Montreal, Canada, H3A 1B9  Phone : (514) 840-1234  Fax : (514) 840-1244

Curriculum Vitae
My official page from CRIM's web site
Publications
Photos
My research interests:

• Formal Methods of Computer Science
• Testing theory and methodology
• Automata-like models, Experiments on automata
• Telecommunication and Distributed Systems

Automata Links

• Automata tool list
• Model checker list

Recreational Links

• Cognitive semantic visualisation (how to discover and prove by means of cool computer animations). Disclamer: I do not share the views of the author, just enjoy pictures.
• Some russian amateur poetry of my friends.
• Try this on-line link checker on my or your pages:


(a Webl proxy will highlight all the dead or deadly slow links in red).

The site is powered by ebol .