Mustafa Zengin
Software Engineer II at Microsoft
I am a Software Engineer at Microsoft, living in Seattle, WA. 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 in 2014.

Throughout my academic and industry experience, I had a chance to write code in lots of major programming languages (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 distributed parallel computing setting.

I have a special interest in natural languages. Besides my native language Turkish, I speak English professionally, German and Arabic casually.

I like learning new stuff. I always spare time to study new topics in the areas of computer science, logic, semantics, psychology (especially psycho-lingustics), linguistics, cognitive aspects of learning and science in general.

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
[08/2017 - Current]
Software Engineer II @ Microsoft
Redmond, WA, USA
Developing operating system components for Windows Store
[10/2016 - 08/2017]
Software Engineer @ Microsoft
Redmond, WA, USA
Server-side/client-side development:
[10/2014 - 09/2016]
Software Engineer @ Microsoft
Vancouver, BC, Canada
Server-side/client-side development:
[09/2011 - 08/2014]
Research Assistant @ Max-Planck Institute for Software Systems
Kaiserslautern, Germany
Research in the areas of fault tolerance, parallel computation and verification
[06/2010 - 08/2010]
Software Engineering Intern @ EURECOM
Networking and Security Department, Sophia Antipolis, France
Design and implementation of privacy preserving, secure, online social network
[02/2010 - 05/2010]
Programming Lab Assistant @ Bilkent University
Computer Engineering Department, Ankara, Turkey
Lab Assistantship for "CS101 Algorithms and Programming I" course
[06/2009 - 07/2009]
Software Engineering Intern @ Omega Teknoloji
Cyberpark, Ankara, Turkey
Design and implementation of web interface for member fingerprint registration system for a sports center: "Sportif Yasam Kulubu" in Ankara.
[2011 - 2014]
MSc in Computer Science
Max-Planck Institute for Software Systems, Programming Languages Group

Technical University of Kaiserslautern

[2006 - 2011]
BSc in Computer Engineering
Bilkent University, Computer Engineering Department
[2002 - 2006]
High School Diploma
Tokat Fen Lisesi (Science High School)
E-mail Address: mzengin88 +at+