Moved to Simon Fraser University, Canada.

	Dirk Beyer Postdoctoral Researcher, with Tom Henzinger, MTC group Ecole Polytechnique Fédérale de Lausanne (EPFL) School of Computer and Communication Sciences
Contact	E-mail: firstname.lastname@epfl.ch Office: +41 (21) 693-7533 Home: +41 (21) 691-2246 Fax:     +41 (21) 693-7540 Room: EPFL - I&C - MTC - BC 347
Address	Dr. Dirk Beyer Ecole Polytechnique Fédérale de Lausanne Faculté de Informatique et Communications Laboratoire de Modèles et Théorie de Calculs Station 14 CH-1015  Lausanne, Suisse
Research Interests	Interfaces for component-based design Software model checking and static analysis Structural analysis and comprehension of large software systems Formal verification of real-time systems
Résumé	Publications, DBLP Invited lectures and conference presentations Biographical sketch Curriculum vitae
Teaching / Events	Winter semester 2005/2006: Theoretical Computer Science III Winter semester 2004/2005: Computer-Aided Verification Complete teaching list I'm organizing the TRESOR seminar, each Thursday, 4pm, at EPFL, Lausanne I organized the Alpine Verification Meeting 2005, at EPFL, Lausanne
Software	CCVisu: Co-Change Visualization and Visual Software Clustering Blast: Model checking of software CrocoPat: Simple and efficient relational querying and manipulation Chic: Checking interface compatibility Rabbit: Verification of real-time systems
My old home page at University of California, Berkeley.