Lehrstuhl für Informatik 12 Christian Haubelt Department Informatik  >  Informatik 12  >  Personal  >  Christian Haubelt PD Dr.-Ing. habil. Christian Haubelt Address: Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Universität Erlangen-Nürnberg Am Weichselgarten 3 91058 Erlangen Germany Room: 209 Phone: +49 9131 85-25154 Fax: +49 9131 85-25149 Email: haubelt[at]cs.fau.de 2001 diploma degree in Electrical Engineering, University of Paderborn, Paderborn, Germany 05/2001-12/2002 researcher at the Computer Engineering Laboratory (Institute DATE), University of Paderborn, Paderborn, Germany since 01/2003 researcher at the Department of Computer Science 12 (Hardware-Software-Co-Design), University of Erlangen-Nuremberg, Erlangen, Germany since 2004 head of the System-Level Design Automation Group at the Department of Computer Science 12 (Hardware-Software-Co-Design), University of Erlangen-Nuremberg, Erlangen, Germany 2005 Dr.-Ing. degree in Computer Science, University of Erlangen-Nuremberg, Erlangen, Germany 2010 Habilitation (postdoctoral lecture qualification) in Computer Engineering, University of Erlangen-Nuremberg, Erlangen, Germany 10/2010-03/2011 Substitute Professor of Computer Engineering at the University of Potsdam SystemCoDesigner Current Projects: PowerEval - Leistungsevaluierung und -optimierung zukünftiger mobiler Funkplattformen 2010 - 2013 Bayerisches Staatsministerium für Wirtschaft, Infrastruktur, Verkehr und Technologie DIANA - Advanced Diagnosis Capabilities in Automotive Systems 2010 - 2013 Bundesministerium für Bildung und Forschung High-Level Modeling of Network Controllers and Systems in the Automation Domain 2010 - 2012 Bayerisches Staatsministerium für Wirtschaft, Infrastruktur, Verkehr und Technologie SystemC-based Design of Driver Assistance Systems 2009 - 2012 Daimler AG, Ulm SEIS: Safety and Security in IP-based embedded systems 2009 - 2012 Bundesministerium für Bildung und Forschung Actor-Oriented Synthesis and Optimization of Digital Hardware/Software-Systems at the Electronic System Level 2010 - 2011 Deutsche Forschungsgemeinschaft SystemC-based Modeling and Verification of Network Controllers 2005 - 2010 IBM Deutschland Entwicklung GmbH, Böblingen Completed Projects: Manufacturing-Oriented Software Design Methodology for Components Embedded in Mobile Systems 2006 - 2010 Deutsche Forschungsgemeinschaft Design Methodology for mixed time-triggered and event-based ECU networks 2006 - 2009 Audi AG, Ingolstadt SpecVer - Specification for Verification 2006 - 2009 Bayerische Forschungsstiftung MxMobile - Multi-Standard Mobile Platform 2006 - 2009 Bundesministerium für Bildung und Forschung ReCoNets: Design Methodologies for Embedded Systems Consisting of Small Networks with Hardware Reconfigurable Nodes and Connections 2003 - 2009 Deutsche Forschungsgemeinschaft System-Level Performance- and Power Estimation 2008 - 2008 Infineon Technologies AG, München Lectures Computer Engineering 1 Computer Science 2 Digital Systems Verification Discrete Event Systems Hardware-Software-Co-Design Seminars Systems- and Networks-on-a-Chip Formal Methods for Embedded Hardware-Software Systems System Design Using SystemC Books Christian Haubelt und Jürgen Teich. Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. 1. Auflage, © Springer-Verlag, Berlin, Heidelberg, Germany, 2010. Jürgen Teich und Christian Haubelt. Digitale Hardware/Software-Systeme: Synthese und Optimierung. 2. Auflage, © Springer-Verlag, Berlin, Heidelberg, Germany, 2007. Christian Haubelt und Jürgen Teich (Hrsg.). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. © Shaker Verlag, Aachen, Germany, 2007. Christian Haubelt. Automatic Model-Based Design Space Exploration for Embedded Systems - A System Level Approach. Dissertation, University of Erlangen-Nuremberg, ISBN 3-89574-572-3, © Verlag Dr. Köster, Berlin, 2005. all publications all talks all exhibitions

Impressum Stand: 24 January 2011.   Ch.H.