Sofie

Current Work

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".