Ciao! Hi! Salut! Tjena! π
- I'm a postdoc at University of Gothenburg and Chalmers in sunny Gothenburg, Sweden πΈπͺπͺπΊ
- I am interested in improving how we reason about the correctness of programs and systems β
- As of late I have been researching about verification and reactive synthesis, and messing with SMT and SAT solvers π¨βπ»
For more information, check out: