I am a computer scientist specializing in automated reasoning and formal methods.
I recently completed my PhD at Uppsala University, where my research focused on the formal verification of programs with complex heap-allocated data structures, using techniques in Horn-based model checking and SMT solving.
Prior to my PhD studies, I also worked as a control and embedded systems design engineer for over six years in the industry.
Research Interests
My research interests cover (among others):
- Automated Reasoning: Horn / SMT solving
- Formal Verification: Model checking, symbolic execution, deductive verification
- Embedded Systems and Software