Patrick Michel Email and Phone Number
Patrick Michel work email
- Valid
Patrick Michel personal email
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.
Consistec Engineering & Consulting Gmbh
View- Website:
- consistec.de
- Employees:
- 30
-
Software DeveloperConsistec Engineering & Consulting Gmbh Jan 2016 - Present -
Software DeveloperKedev Services Gmbh Jan 2014 - Dec 2015NeustadtDesign 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
-
Research AssistantUniversity Of Kaiserslautern Oct 2009 - 2013Responsible 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. -
StipendiaryUniversity Of Kaiserslautern Jul 2007 - Sep 2009I 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
Patrick Michel Education Details
-
University Of KaiserslauternComputer Science -
University Of KaiserslauternWith 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?
-
Patrick M.
Freiburg -
1canto.com
-
Patrick Michel
Ich Coache Frauen. Sie Sind Stark & Fit.Fettverbrennung | Muskelaufbau | Mindsetich Sorge Dafür, Dass Du Jeden Morgen Mit Einem Fetten Grinsen Vor Dem Spiegel Stehst.Stuttgart -
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
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.
Start your free trial