I am a enthusiastic Computer Scientist, currently employed at Aalborg University as Tenure Track Assistant Professor.
My key interests are; automatic controller synthesis, optimization, verification and learning -- primarily focused on model-based techniques with a strong foundation in formal methods.
You can reach me by mail: [email protected] or [email protected] for matters related to my employment at the university.