Arend Rensink Associate professor Formal Methods and Tools  Department of Computer Science University of Twente P.O. Box 217, NL-7500 AE Enschede

Research

• Current interests
• Publications
• Current projects
  • ATOMYSTE: Atom Splitting in Embedded Systems Testing (STW-PROGRESS)
  • GROOVE: GRaphs for Object-Oriented VErification (NWO)
  • AOSD:  Aspect-Oriented Software Development (EU NoE)
  • GRASLAND: GRaphs for Software LANguage Definitions
    
• Tools
  • GROOVE: Graphs for Object-Oriented Verification

Teaching

• Programmeren 1 & programmeren 2 (using java; in dutch)
• Advanced Programming Concepts
• Advanced Design of Software Architectures

Other activities

• Steering Committee member of ECMDA (European Conference on Model-Driven Arcitecture)
• Conference chair of FMOODS 2002 (Formal Methods for Object-Oriented Distributed Systems)
• Organiser of
  
  • GT-VC 2005 (Graph Transformation for Verification and Concurrency, satellite workshop of Concur 2005)
  • YOO (Why Object-Orientation, satellite workshop of Concur 2000)
• PC chair of MDAFA 2003  (MDA: Foundations and Applications)
• PC member of
  • FASE 2006 (Formal Aspects of Software Engineering)
  • COSMICAH 2005 (COncurrent Systems with dynaMIC Allocated Heaps, satellite workshop of ICALP 2005)
  • FMOODS(Formal Methods for Object-Oriented Distributed Systems, 1999, 2000, 2003 and 2005)
  • MDAFA 2004 (MDA: Foundations and Applications)
  • FUSE 2004 (Foundations of Unanticipated Software Evolution, satellite workshop of ETAPS 2004)
  • USE 2003 (Unanticipated Software Evolution, satellite workshop of ETAPS 2003)
  • AOSD 2003 (Aspect-Oriented Software Development)
  • EXPRESS 2002 (satellite workshop to Concur 2002)
  • CONCUR (Concurrency Theory, 1998 and 1999)

Personal

• My kids (2000; school pictures 2002; school pictures 2005)
• Internationale bankgegevens

Last change: 22  Feb 2005