I'm currently pursuing my PhD degree at the Department of Computer Engineering , Bogazici University. My thesis advisor is Prof. Dr. M. Ufuk Caglayan.

My current research interest is using computer-assisted formal methods such as model checking and theorem proving for the verification of security properties of MANET routing protocols.

I'm working for Argela Technologies as a software engineer primarily designing and implementing systems that are ultimately used by GSM operators.

Besides, I am very happily and luckily married to the most beautiful dentist on the Earth: Gülçin Öztürk Gürdağ ;-)

---