• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Campus inMoscow
For visually-impaired
Advanced search
Menu
HSE University

Advanced search
Сampus
By сategory
By staff positions
reset filters

Scientific Interests: «formal methods»Units

Name and Position
Contacts
+7 (495) 531-00-00
27867
Nesterov, Roman

Associate Professor: Faculty of Computer Science / School of Software Engineering
Junior Research Fellow: Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)

Petri netsmultiagent systems distributed systemsmodelling and analysis of business processesformal methodscategory theoryprocess discoveryconcurrency theory
HSE University → About HSE → Faculty and Staff
Edit
© HSE 1993–2021  Contacts  Copyright  Privacy Policy  Site Map 

HSE Sans and HSE Slab fonts developed by the HSE Art and Design School