Formal Reasoning Researcher

I'm a researcher based in Prague whose current work focuses on SMT solving, satisfiability certification, and formal verification. These areas sit where logic, mathematics and computer science meet, continuing to shape my research interests.

I completed my PhD in Mathematics at the University of Canterbury (New Zealand), where I worked on non-classical logic and infinitesimal analysis. I also hold an MSc in Computer Science from the University of Indonesia, where I was first introduced to formal verification through Hoare logic.

Currently, I'm an Associate Scientist at the Institute of Computer Science, Czech Academy of Sciences, and pursuing a second PhD at ČVUT under the supervision of Stefan Ratschan. More broadly, I am interested in how ideas from logic, theorem proving and computer science can be combined for solving computational problems. My work is motivated by a desire to understand underlying mathematical structure and connect it to effective computational reasoning, bridging mathematical foundations and practical reasoning systems.

I am originally from Indonesia, where I first got hooked on the elegance of mathematics. These days, I split my time between research and wherever my curiosity takes me — whether that's chasing new ideas, exploring unfamiliar topics, or simply making new connections.