Short Bio

I am a doctoral candidate at the Institute of Information Security, ETH Zürich under the supervision of Prof. David Basin. I am a recipient of the Cyber-Defence Fellowship. Head here to know more about me.

My research interests mainly include logic, algebra, concurrency and formal methods with a focus on their applications to formal security analysis of various systems, databases and protocols.
However, I am also interested in algebraic language theory, database theory, quantitative automata theory, proof theory and model checking.

Currently, I am developing a sound decision procedure for the verification of DNS zone file configurations against property specifications. Further details on the project can be found here.

My mission is to solve beautiful problems at a balanced intersection of theory and practice, and write them for everyone to appreciate!