Resumes
Resumes

Senior Software Engineer
View pageLocation:
Seattle, WA
Industry:
Information Technology And Services
Work:
Microsoft Aug 2015 - Apr 2018
Senior Software Engineer
Kadena Llc Aug 2015 - Apr 2018
Senior Software Engineer
Pivotcloud May 2012 - Jun 2015
Staff Software Engineer
Microsoft Jan 2011 - May 2012
Software Developer
Saarland University Nov 2004 - Dec 2010
Researcher
Senior Software Engineer
Kadena Llc Aug 2015 - Apr 2018
Senior Software Engineer
Pivotcloud May 2012 - Jun 2015
Staff Software Engineer
Microsoft Jan 2011 - May 2012
Software Developer
Saarland University Nov 2004 - Dec 2010
Researcher
Education:
Universität Des Saarlandes 2004 - 2010
Doctorates, Doctor of Philosophy, Computer Science Humboldt University of Berlin 1999 - 2004
Masters, Computer Science Ruhr University Bochum 1998 - 1999
Universidad Centroamericana, San Salvador, El Salvador 1997 - 1998
Augustana - Hochschule Neuendettelsau 1995 - 1997
Doctorates, Doctor of Philosophy, Computer Science Humboldt University of Berlin 1999 - 2004
Masters, Computer Science Ruhr University Bochum 1998 - 1999
Universidad Centroamericana, San Salvador, El Salvador 1997 - 1998
Augustana - Hochschule Neuendettelsau 1995 - 1997
Skills:
Algorithms
Haskell
Distributed Systems
C++
C#
Cloud Computing
C
Javascript
Prolog
Git
Cryptography
Functional Programming
Sql
Oop
Software Development
Agile Methodologies
Programming
Cloud Security
Logic
Model Checking
Formal Verification
Theorem Proving
Ltl
F#
Riak
Mercurial
Haskell
Distributed Systems
C++
C#
Cloud Computing
C
Javascript
Prolog
Git
Cryptography
Functional Programming
Sql
Oop
Software Development
Agile Methodologies
Programming
Cloud Security
Logic
Model Checking
Formal Verification
Theorem Proving
Ltl
F#
Riak
Mercurial
Interests:
Design
Object Oriented Software Development
Research
Open Source Development
Computer Aided Verification
Formal Methods
Computational Logic
Algorithms
Javascript
Analysis
Object Oriented Software Development
Research
Open Source Development
Computer Aided Verification
Formal Methods
Computational Logic
Algorithms
Javascript
Analysis
Languages:
German
English
Spanish
Portuguese
English
Spanish
Portuguese
