I am a Senior Software Engineer at Microsoft, living in Seattle, WA. I received my B.Sc. degree from Computer Engineering Department at Bilkent University and my Master's Degree in Computer Science from Max Planck Institute for Software Systems.

At Microsoft, I had opportunities to work on a wide variety of projects, including Windows, Xbox, MSN.com, Microsoft Store and Microsoft Graph.

My previous research focused on programming languages (PL) theory and parallel computing. I applied formal proof techniques from PL theory to prove correctness of a fault tolerance system in distributed parallel computing setting.

I enjoy learning foreign languages. I also follow and try to educate myself in the fields of computer science, logic, semantics, psychology (especially psycho-lingustics), linguistics, cognitive aspects of learning, astrophysics, and science in general.

Working on Microsoft Graph Client SDKs for a variety of target languages:

• C#, Java, TypeScript, Obj-C

Developing operating system components for Windows Store

Server-side/client-side development:

• microsoft.com/store

Server-side/client-side development:

• msn.com/video
• msn.com/weather
• msn.com/money

Research in the areas of fault tolerance, parallel computation and verification.

Published: A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism, Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering (TASE 2013), joint work with Viktor Vafeiadis

Design and implementation of a privacy preserving, secure, online social network

Lab Assistantship for "CS101 Algorithms and Programming I" course

Web interface for a club registration system.

Max-Planck Institute for Software Systems, Programming Languages Group

Technical University of Kaiserslautern

Bilkent University, Computer Engineering Department