Jüri Vain, PhD
SENIOR RESEARCHER
Jüri Vain received his BSc degree in system engineering from the Tallinn Polytechnic Institute and PhD degree from the Institute of Cybernetics at the Estonian Academy of Sciences, in 1979 and 1987, respectively. He is currently a Professor at the Department of Computer Science, Tallinn University of Technology and he also holds a position of Senior Researcher in the Institute of Cybernetics. His research interests include embedded systems, modeling of discrete-event and hybrid dynamic systems, formal verification in system design, and fault-tolerance.