Mathematician & Computer Scientist

I'm a mathematician and computer scientist based in Prague. My research lives at the crossroads of logic, formal methods, and AI.

I did my PhD in Mathematics at the University of Canterbury (New Zealand), where I worked on non-classical logic and infinitesimal analysis. I also have an MSc in Computer Science from the University of Indonesia, where I fell in love with formal verification (Hoare logic, specifically).

Currently, I'm an Associate Scientist at the Institute of Computer Science, Czech Academy of Sciences, and I'm pursuing a second PhD at ČVUT with doc. Dr. Stefan Ratschan, digging into automated reasoning and SMT solvers.

I grew up in Indonesia, where I first got hooked on the elegance of mathematics. These days, I split my time between Prague and wherever my curiosity takes me: whether that's chasing new research ideas or simply making new connections.