Senior researcher @ Huafeng Yu's work is mainly on research of model-based systems engineering in automotive applications, including new design approaches, formal methods, software reliability and safety, system integration, system adaptivity, system reconfiguration, and automotive standards. From June 2013 to Present (2 years 5 months) Mountain View, CAResearcher and project lead @ His work is mainly involved in all the aspects of systems engineering for avionics, automotive, transportation, energy, etc. From February 2013 to June 2013 (5 months) Velizy, Ile de FranceExpert Research Engineer @ As an expert research engineer in the ESPRESSO team at INRIA, Huafeng Yu's current work is involved in the co-modeling, model transformation, temporal analysis, formal verification and simulation of MARTE timed systems, AADL, and Simulink in the framework of European CESAR project. From August 2009 to February 2013 (3 years 7 months) Rennes Area, FrancePhD Candidate @ From 2005 to 2008 (3 years) Lille Area, FranceResearch Intern @ From March 2005 to August 2005 (6 months) Grenoble Area, FranceResearch Intern @ From March 2004 to July 2004 (5 months) Grenoble Area, FranceSoftware engineer @ Developments of SIM ToolKit ADE applications for cellular phone SIM cards; In charge of the development of Mobile Banking applications for cellular phones From January 2002 to February 2003 (1 year 2 months) Software engineer @ Team lead, development of IBM AS/400 based information system for Beijing Panasonic Light Ltd; in charge of IBM AS/400 and MS SQL Server based information systems of Beijing Panasonic CRT Ltd. From September 2000 to January 2002 (1 year 5 months)

Ph.D., Computer science @ Université des Sciences et Technologies de Lille (Lille I) From 2005 to 2008 M.Sc., Systems and Software @ Université Joseph Fourier (Grenoble I) From 2003 to 2005 B.Sc., Computer science @ Northwestern Polytechnic University (CN) From 1996 to 2000 Huafeng Yu is skilled in: UML, AADL, Matlab, MARTE, Embedded Systems, Systems Engineering, Formal Verification, Software Engineering, Distributed Systems, C language, Java, Signal, Lustre, Esterel, Eclipse, SVN, EMF, XML, EDA, Reconfigurable Computing, High-Performance..., VCD, Model Based Testing, Model Transformation, Mobile Banking, SIM cards, Object Oriented Design, Encryption, Information Systems, SOA, SQL, IBM DB2, Microsoft SQL Server, IBM AS/400, Relational Databases, Lotus Domino, Microsoft Office, Latex, Assembly Language, Python