| Juhan Ernits | |||||||||
| General information |
I am 3rd year PhD stutent at the Department of Computer Science, Tallinn University of Technology
In addition I have a part time employment at the Institute of Cybernetics.
My supervisor is prof. Jüri Vain. | ||||||||
| Address etc. |
Postal address: Institute of Cybernetics Akadeemia tee 21 12618 Tallinn Estonia Voice: +372 6204194 E-mail: juhan(a t)cc.ioc.ee Fax: juhan(a t)cc.ioc.ee (why are these machines still used?) |
||||||||
| Research topic | The general topic of my PhD work is analysis and verification of embedded systems. The bias is on tightening the integration between the system implementation and formal models (specified as e.g. timed or untimed automata or hybrid automata) for applying formal methods based tools (such as e.g. model checkers (Uppaal, Spin et al.) in the analysis of the properties (e.g. safety) of the system. | ||||||||
| Recent doings | From Sept 2003 to Jan 2004 I was on leave at BRICS. There (both in Aarhus and Aalborg) is a socially supporting and scientifically charged environment which I was lucky enough to take part of as a Marie Curie Fellow. | ||||||||
| Teaching related stuff |
| ||||||||
| Some events that I have taken part in |
|
||||||||
| Selected publication(s) |
| ||||||||
| Some links (in Estonian) | Mitmesugust. |