I am currently a PhD student, supervisied by Professor Dimos V. Dimarogonas
at KTH Royal Institute of Technology. Here, I am part of the research group working on the projects
BUCOPHSYS, COIN and
Co4Robots. Furthermore, I am
affiliated to WASP.
My paper contributions can be found under Academic Achievements and Publications.
My research interests include: multi-agent sytems, formal methods, control synthesis, temporal logic, human-in-the-loop,
least violating control, and mixed-initiative control.
Background
I began my studies at KTH in 2011 when I started the Civil Engineer Programme in Engineering Physics.
In 2014 I finished my bachelor with the thesis "Brain Activity and Healthcare in the Smart Home".
I then began my master in System Control and Robotics which I finished in 2016 with the thesis
"Automatic Control Design Synthesis under Metric Interval Temporal Logic Specifications".
I started my PhD studies in July 2016 and received my Licentiate Degree in 2019 with the thesis
"Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic
Specifications".
