| 2011 – now |
| Programme: |
PhD in Computer Science |
| Chair: |
Programming Methodology, ETH Zürich, Switzerland |
Supervisor: |
Professor Dr. Peter Müller |
| Infos: |
My PhD page |
| 2009 – 2011 |
| Programme: |
MSc. in Computer Science |
| Specialisation: |
Software Engineering |
| University: |
ETH Zürich, Switzerland |
| Grade: |
1.5 (scale from 1.0 to 5.0) |
| Thesis: |
Symbolic Execution for Chalice (PDF) |
Term paper: |
Verifying Scala Traits (PDF) |
| Tutoring: |
Formal Methods, 2010 |
| 2008 – 2009 |
| Programme: |
MSc. in Computer Science (discontinued) |
| Specialisation: |
Information Systems and Software Engineering |
| University: |
FH Gelsenkirchen, Germany |
| Term papers: |
- Image Retrieval Using Shape – Use of the Canny-Algorithm to extract feature vectors from images to efficiently index and retrieve them from image databases
- Software Visualisation with IMSOVision – Using IMSOVision, an immersive collaborative environment, to visualise aspects of the software development process
- The Use of the Internet for the Integration of Immigrants
|
| Tutoring: |
Computer Vision and Robotics 1, 2008 (Syllabus, German) |
| 2004 – 2008 |
| Programme: |
BSc. in Computer Science (German) |
| Specialisation: |
Computer Science and Media |
| University: |
FH Gelsenkirchen, Gelsenkirchen, Germany |
| Grade: |
1.5 (scale from 1.0 to 5.0) |
| Thesis: |
Kartina – A framework for the semi-automatic visualisation of algorithms written in Java (PDF, German) |
| Semester abroad: |
2006/09 – 2007/01, Computer Science at the Tomsk Polytechnical University in Tomsk, Russia |
| 2010 |
| Position: |
Student assistant |
| Company: |
Chair of Programming Methodology, ETHZ |
| Responsibilities: |
Developing an automated build, test and report system for the sources of Spec# and Boogie |
| 2007 – 2009 |
| Position: |
Web developer |
| Company: |
Locbook GmbH, Haltern, Germany |
| Responsibilities: |
JavaScript development of a highly dynamic web 2.0 site integrating Google Maps |
| 2004 |
| Position: |
Digital Media Designer (Mediengestalter für Digital- und Printmedien) |
| Company: |
Cynapsis Kommunikationsagentur, Münster, Germany |
| Responsibilities: |
Web development, Flash games & applications, image editing |
| 2005 – 2008 |
| Position: |
Several student assistant jobs |
| University: |
FH Gelsenkirchen, Gelsenkirchen, Germany |
| Responsibilities: |
Flash development; conception of a short promotional film |
| Computer languages: |
Java, Python, Scala, Haskell, Prolog, and others |
| Frameworks: |
JUnit, EasyMock; Guice; JDI; EJB3, JPA, JSP; Lift; MochiKit, JQuery |
| Software: |
Netbeans, Eclipse; Photoshop, Illustrator; Matlab; SAP; Latex, Sphinx; SVN; Microsoft Boogie |
| Languages: |
German (native language)
English (C2, TOELF: scored 117 of 120 on 2008/09/20, GRE: scored 490/750/4.0 of 800/800/6.0 on 2008/09/24)
Russian (B1, semester abroad, language courses DAAD, ETH)
|
