Patrick Michel

Patrick Michel Email and Phone Number

Europaallee 5, Saarbruecken,Saarland 66113,Germany
Patrick Michel's Location
Saarbrücken, Saarland, Germany, Germany
Patrick Michel's Contact Details

Patrick Michel work email

Patrick Michel personal email

n/a
About Patrick Michel

I am an expert in programming languages, data structures and logic. My programming experience ranges from classical (Basic, Pascal, C/C++) and modern (Java, C#) languages over dynamic languages (PHP) to functional (ML, Haskell) languages and logic (FOL, HOL). I am experienced in the design and implementation of languages (scanner, parser, AST, static analysis) and domain-specific languages.I have always been interested in the representation of information, the modeling and definition of data structures and elegant formulations of algorithms on data structures. My PhD thesis is about the specification of integrity constraints on structured data and their maintenance in programming. The techniques used in my thesis range from a theoretical formalization in a theorem prover to the implementation of practical languages in a prototypical tool chain.

Patrick Michel's Current Company Details
consistec Engineering & Consulting GmbH

Consistec Engineering & Consulting Gmbh

View
Software Developer
Europaallee 5, Saarbruecken,Saarland 66113,Germany
Website:
consistec.de
Employees:
30
Patrick Michel Work Experience Details
  • Consistec Engineering & Consulting Gmbh
    Software Developer
    Consistec Engineering & Consulting Gmbh Jan 2016 - Present
  • Kedev Services Gmbh
    Software Developer
    Kedev Services Gmbh Jan 2014 - Dec 2015
    Neustadt
    Design and implementation of various information systems in productive use and in development.Experience in various state-of-the-art 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, Jackson… Show more Design and implementation of various information systems in productive use and in development.Experience in various state-of-the-art 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, Jackson JSON, RestEasy, Flyway, Slf4j, logback, log4j2, etc.).Development in Java 7, Java 8 and Groovy.Project management support via version control (GIT), repository hosting and code review (Gerrit, Gitblit), ticket systems (Jira), documentation (Confluence), IDE (IntelliJ Idea 14), etc. Show less
  • University Of Kaiserslautern
    Research Assistant
    University Of Kaiserslautern Oct 2009 - 2013
    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+), student research assistants (5+), 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. Main designer of the STAT system.
  • University Of Kaiserslautern
    Stipendiary
    University Of Kaiserslautern Jul 2007 - Sep 2009
    I was accepted into the PhD program in 2003, after four semesters of studies, and have been a stipendiary for the remainder of my studies (until 2007).Since then I have been a PhD student, i.e., a researcher and teaching assistant.

Patrick Michel Skills

Programming Lannguages Domain Specific Languages Functional Programming Haskell Java C++ Php Data Modeling Data Structures Software Design Software Architectural Design Logic Theorem Proving Formal Languages Formal Verification Programming Language Theory Compilers Compiler Construction

Patrick Michel Education Details

  • University Of Kaiserslautern
    University Of Kaiserslautern
    Computer Science
  • University Of Kaiserslautern
    University Of Kaiserslautern
    With Honors (1.0)

Frequently Asked Questions about Patrick Michel

What company does Patrick Michel work for?

Patrick Michel works for Consistec Engineering & Consulting Gmbh

What is Patrick Michel's role at the current company?

Patrick Michel's current role is Software Developer.

What is Patrick Michel's email address?

Patrick Michel's email address is pa****@****stec.de

What schools did Patrick Michel attend?

Patrick Michel attended University Of Kaiserslautern, University Of Kaiserslautern.

What are some of Patrick Michel's interests?

Patrick Michel has interest in Programming, Children, Jogging, Education, Science And Technology, Board Games, Billiard, Digital Photography, Movies, Knitting.

What skills is Patrick Michel known for?

Patrick Michel has skills like Programming Lannguages, Domain Specific Languages, Functional Programming, Haskell, Java, C++, Php, Data Modeling, Data Structures, Software Design, Software Architectural Design, Logic.

Not the Patrick Michel you were looking for?

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.