Dr. Patrick Michel

Angestellt, Software Developer, consistec Engineering & Consulting GmbH

Kaiserslautern, Germany

Skills

programming languages
compiler
parser
language tools
data types
functional programming
Haskell
Java
logic
theorem proving
formal methods
software architecture
software design
domain specific languages
C/C++
PHP
data modeling
data structures
formal languages
formal verification
compiler construction

Timeline

Professional experience for Patrick Michel

  • Current 7 years and 11 months, since Jan 2016

    Software Developer

    consistec Engineering & Consulting GmbH

  • 2 years, Jan 2014 - Dec 2015

    Software Developer

    KeDev Services GmbH

    Design and implementation of various information systems in productive use and in development. Experience with various dependency injection frameworks (Spring, Guice, CDI), web toolkits (Vaadin, Wicket), servlet containers (Tomcat 7/8, JEE6), relational databases (PostgreSQL, H2), JPA and its providers (EclipseLink, Hibernate), key-value stores (Cassandra), test frameworks (JUnit, Spock, Mockito) and countless other libraries and tools (e.g. Guava, Typesafe Config, RestEasy, Flyway, etc.).

  • 2009 - 2013

    Research and Teaching Assistant

    University of Kaiserslautern

    Responsible for assisting the creation and improvement of courses, exercise planning and execution, as well as 10 student teaching assistants. Supervisor of Bachelor and Master students (10+), as well as seminar students. Main developer and maintainer of the Katja tool. Consultant of the Emergence project of the Software-Cluster. Creator of the XCend approach as part of the PhD.

Educational background for Patrick Michel

  • 2007 - 2013

    Computer Science

    University of Kaiserslautern

    programming, data integrity, data binding, higher-order logic, verification, functional programming

  • 2001 - 2007

    Computer Science

    University of Kaiserslautern

    programming, data integrity, XML

Languages

  • English

    Fluent

  • German

    First language

Interests

jogging
photography
movies
board games
go
billiard
knitting
programming

Browse over 21 million XING members