Thomas Baar

Business Address Swiss Federal Institute of Technology in Lausanne EPFL / IC / UP-LGL    Building INJ, Office INJ 337   Station 14 CH-1015 Lausanne Switzerland Mail Address             EPFL / IC / UP-LGL              Station 14 CH-1015 Lausanne Switzerland Biz Phone: ++41 21 693 25 80 Biz Fax: ++41 21 693 50 79 E-mail: Thomas.Baarepfl.ch URL: http://lgl.epfl.ch/members/baar/

Senior researcher and lecturer in Computer Science, Swiss Federal Institute of Technology in Lausanne (EPFL), 2003 -- 2007.

News The Software Engineering Lab was closed on Sept. 30, 2007. I moved to Tech@Spree in Berlin, Germany. You can reach me now via email by using my new address: thomas.baar 'at' acm.org Mission What is the purpose of software modeling? To entertain the management with funny pictures? To double the size of project teams? Or to have just another discipline lecturers can give courses on? For some software developers it might be tempting to answer these rhetoric questions in the affirmative. Software modeling, however, has much more to offer. It gives developers the opportunity to describe a new (or an existing) system under a certain viewpoint, i.e. on a well-defined level of abstraction. The abstraction emphasizes only very few of the system's properties and structures whereas all others details are intentionally ignored. A model is thus better understandable and analyzable. Once a model of a system has been completed, numerous questions such as 'Does the implemented system really behave the way the model says?' or 'How can one be sure that the developed model is implementable, otherwise stated, how can one easily detect inconsistencies within the model?' arise. So far, there is rather limited tool support for the software developer to answer these questions. Ever worse, as long as there is no good tool support for showing the conformance relationship between the model and the implementation of a system and as long as we do not have tool support for the analysis of real-word models, software developers won't be able to take full advantage of modeling techniques. My group is currently developing the RoclET tool, an analysis tool for UML/OCL specifications. The ultimate goal is to give the user early feedback on semantical inconsistencies within OCL specifications. Furthermore, the tool supports model evolution, e.g. if the underlying class diagram is changed then the annotated OCL constraints are adapted on the new class diagram automatically. Short Vita I graduated in Computer Science from Humboldt-University Berlin in 1997. Until 1999 I worked as a PhD student at the Institute of Pure Mathematics at Humboldt-University and was involved in the ILF project aiming at developing a platform to integrate several theorem provers based on different logical calculi. From 1999 until 2003 I worked in the KeY project whose aim is the integration of deduction-based verification techniques into industrial software development. In July 2002 I defended my PhD thesis entitled Über die Semantikbeschreibung OCL-artiger Sprachen (On the semantic description for OCL-like languages). Since May 2003 I am a Post-Doc researcher at EPFL. In 2004 I was nominated as a lecturer by our faculty. Since October 2004, I head together with Jarle Hulaas the Software Engineering Laboratory. Teaching at EPFL Here is the list of courses I gave in Lausanne so far. The main topic of the courses is Software Engineering with an emphasize on formal methods. Winter 2006/07: Software Engineering course for 3rd year students (compulsory course). This course was given in English. Summer 2006: No course given Winter 2005/06: Software Engineering course for 3rd year students (compulsory course). This course was given in English. Summer 2005: No course given Winter 2004/05: Software Engineering course for 3rd year students (compulsory course). This course was given in English. Summer 2004: Doctoral course Fondue: An Object-Oriented Software Development Method for PhD students. This course was given jointly with Prof. A. Strohmeier in English. Supervision of PhD students I'm very proud to have the opportunity to work with my two PhD students Slavisa Markovic and Frédéric Fondement. Research interests Object-oriented software development using UML FONDUE development method Formal analysis of UML diagrams including OCL constraints The KeY system  (team members can download here the most recent version) Metamodeling approach to define syntax/semantics of languages Source code verification in respect of UML/OCL specification (especially for implementation language Java) Deduction applied to source code verification Refactoring of design documents and source code Dynamic Logic calculi for Java Publication Before I joined EPFL: Please have a look to my old homepage at University of Karlsruhe. Written at EPFL:  Please click here Events (involved as organizer, PC member, PC-chair, etc.) 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, Georgia, November 5-9, 2007 Workshop Quality in Modeling at MoDELS'07, Nashville, Tennessee (TN), USA, 2007 Doctoral Symposium of MoDELS'07, Nashville, Tennessee (TN), USA, 2007 Educators Symposium of MoDELS'07, Nashville, Tennessee (TN), USA, 2007 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, Tennessee (TN), USA, September 30 -- October 5, 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'07), Coeur d'Alene, Idaho, USA, 22-26 September 2007 ICSSEA 2006, 19th International Conference Software & Systems Engineering and their Applications, Paris, December 5-7, 2006 Educators Symposium of MoDELS'06, Genova, October 2, 2006 Workshop Quality in Modeling at MoDELS'06, Genova, October 1, 2006 Workshop OCL for (Meta-)Models in Multiple Application Domains at MoDELS'06, Genova, October 2, 2006 Workshop MODEVA 2006: Perspectives on Integrating MDA and V&V at MoDELS'06, Genova, October 2, 2006 9th International Conference on Model Driven Engineering Languages and Systems, formerly the UML series of conferences (MoDELS 06), Genova, Italy, October 1 -- 6, 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'06), Brighton, UK, 4-8 September, 2006 8th International Conference on Model Driven Engineering Languages and Systems, formerly the UML series of conferences (MoDELS 05), Montego Bay, Jamaica, October 2 -- 7, 2005 Workshop Tool Support for OCL and Related Formalisms - Needs and Trends at MoDELS'05, Montego Bay, October 4, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, September 21 -- 24, 2005 UML04, Lisbon, October 11--15, 2004 (Program Co-Chair) Workshop OCL and Model Driven Engineering at UML04, Lisbon, October 12, 2004 OCL-Workshop at UML03, San Francisco, October 21, 2003

	EPFL | IC | LGL Last modified Sept, 2007, Thomas Baar