Florian Grigoleit

Personal Information

Research Fellow Model-Based Systems & Qualitative Reasoning (MQM) research group. Florian Grigoleit, M.Sc. TU München Computer Science Boltzmannstr. 3 D-85748 Garching Germany Office: 00.13.033b Tel: +49 (89) 289-17778 Email: Office hours: by appointment via email

Research Interests

• Knowledge-based Configuration
• Model-Based Functional Safety Analysis
• Automated Reasoning

Curriculum Vitae

Career

Since 2013: Research Fellow (PhD) at MQM.

2013.: Project Engineer at eGym GmbH^?.

2012: Research Assistent (Master's Thesis) at Fraunhofer Institute for Embedded Systems and Communication Technologies ESK.

2010-2011: Research Assistent (Master's Thesis) at Washington State University High Performance Computing Systems Laboratory.

2009: Internship at Daimler Trucks.

2009-2010: Internship (Bachelor's Thesis) at ESG GmbH^?.

2008-2013: Student Trainee at ESG GmbH^?.

2007: Internship at MTU Aero Engines.

Education

2010-2013: Master of Science in Automotive Software Engineering at TUM.

2010-2011: Master of Science in Computer Engineering at Washington State University.

2006-2010: Bachelor of Engineering in Production and Automation at University of Applied Sciences Munich.

Scholarships:

2010/11: Fulbright Program

2015: Software Campus

Projects at MQM

GECKO - Generic, constraint-based Configuration

MOFES - Modellierung und Fehleranalyse Eingebetteter Systeme