| Juhan Ernits | |||||
| General information | I am 4th (damn, really?) year PhD
stutent at the Department of Computer
Science, Tallinn University of Technology
In addition I have a part time employment as a researcher at the Institute of Cybernetics.
My advisor is prof. Jüri Vain. |
||||
| Address etc. | Postal und visiting 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 timed or untimed automata or hybrid automata) for
applying formal methods based tools (such as model checkers (Uppaal, Spin et al.) in the analysis of
properties (e.g. safety) of systems. |
||||
| Visits to other places |
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 |
|
||||
| Been/am involved in organising: |
|||||
| Selected publication(s) |
|
||||
| Some links (in Estonian) | Mitmesugust. |