Mustafa Zengin
Software Engineer at Microsoft

I am a Software Engineer at Microsoft. I live in Vancouver, BC, Canada. I received my B.Sc. degree from Computer Engineering Department at Bilkent University in 2011 and my Master's Degree in Computer Science from Max Planck Institute for Software Systems.

Throughout my academic and industry experience, I had a chance to write code in almost every major programming language (e.g. C, C++, C#, Java, Go, Python, Javascript, Ocaml). Nowadays I am learning F#. 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 a distributed parallel computing setting.

I have a special interest in natural languages. Besides my native language Turkish, I speak English, German and Arabic. I am not fluent in the latter two, but they are part of my day-to-day personal improvement activities.

I love learning. I always spare time to study new topics in the areas of, including but not limited to, computer science, logic, semantics, psychology (especially psycho-lingustics), linguistics and cognitive aspects of learning.


- 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), work with Viktor Vafeiadis

June - August 2010
EURECOM, Networking and Security Department, Sophia Antipolis, France
Contribution to design and implementation of privacy preserving, secure, online social network titled as "Safebook"
February - May 2010
Bilkent University, Ankara, Turkey
Teaching Assistantship for "CS101 Algorithms and Programming I" course
June - July 2009
Omega Teknoloji, Ankara, Turkey
Design and implementation of a web interface for a member fingerprint registration system that is designed for a sports center: "Sportif Yasam Kulubu" in Ankara.


2011 - 2014
MSc in Computer Science
Max-Planck Institute
for Software Systems
Programming Languages Group
2006 - 2011
BSc in Computer Engineering
Bilkent University
Computer Engineering
2002 - 2006
High School Diploma
Tokat Fen Lisesi

E-mail Address: mzengin88 +at+