|
Welcome! I am an
Assistant Professor, with
the
Distributed and Embedded
Systems (DES) unit in
the department of Computer
Science at Aalborg
University. My primary
researching area
is quantitative
analysis of embedded
systems, with specific
interests in comparative
analysis of weighted timed
automata, using simulation
metrics and logic.
|
- Position: Assistant Professor
- Academic interests:
Formal methods in Software verification, Theory of
Concurrency, Static analysis, Complexity Theory, Distributed and embedded systems.
|
Most of my work is done in collaboration
with my thesis advisor Kim
G. Larsen and Uli
Fahrenberg.
Here is
my [CV],
my [thesis],
and here is
my [Flickr]
page. Also, [here] is a
bit of publicity about my particiaption
in the elite program.
On leave at Tradeshift Ltd. from Feb 1. 2012
|
![[Group Foto]](http://people.cs.aau.dk/~crt/FORMATS.jpg){kind=link}