I am a first year doctoral candidate at the Institute of Information Security, ETH Zürich under the supervision of Prof. David Basin.
This webpage contains anything and everything about me (perhaps not everything 🌚)!
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 complete 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!