Mustafa Zengin
MSc Student (Computer Science)
Intro

I am a Master student at Max-Planck Institute for Software Systems. My advisor is Viktor Vafeiadis of MPI-SWS. I received my B.Sc. degree from Computer Engineering Department at Bilkent University in 2011. I am interested in Programming Languages, Algorithms, Network Security, Logic and Semantics. I have been living in Kaiserslautern, Germany for more than two years now. Recently, I am working on Fault Tolerant Parallelism Semantics with Viktor Vafeiadis.
Publications

- 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
Experience

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.

Education

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
Contact

E-mail Address:
Postal Address: MPI-SWS, Gottlieb-Daimler-Strasse, Building 49, D-67663, Kaiserslautern, Germany