Changes between Version 7 and Version 8 of People


Ignore:
Timestamp:
Jun 18, 2008, 1:16:56 PM (11 years ago)
Author:
Dr. Ivan S. Zapreev
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • People

    v7 v8  
    88Before 2008, the tool development was concentrated in the [http://fmt.cs.utwente.nl/ Formal Methods & Tools (FMT) group] at the University of Twente, The Netherlands.
    99
    10 == [wiki:People/CurrentTeamMembers Current Team Members] ==
     10== Current Team Members ==
     11
     12[[Image(People:CurrentTeamMembers:jpkatoen.jpg, align=left, nolink, 8%)]]
     13
     14'''Participant:'''  2004--present
     15
     16'''Name:''' Prof. Dr. Ir. Joost-Pieter Katoen
     17
     18'''Position:''' Full professor
     19
     20'''Affiliation:''' MOVES group at RWTH Aachen
     21
     22----
     23
     24[[Image(People:CurrentTeamMembers:iszapreev.jpg, align=left, nolink, 8%)]]
     25
     26'''Participant:'''  2004--present
     27
     28'''Name:''' Dr. Ivan S. Zapreev
     29
     30'''Position:''' Postdoc
     31
     32'''Affiliation:''' MAS2.2 group at Centrum voor Wiskunde en Informatica
     33
     34----
     35
     36[[Image(People:CurrentTeamMembers:cjansen.jpg, align=left, nolink, 8%)]]
     37
     38'''Participant:'''  2007--present
     39
     40'''Name:''' Christina Jansen
     41
     42'''Position:''' Student assistant
     43
     44'''Affiliation:''' MOVES group at RWTH Aachen
     45
     46----
     47
     48[[Image(People:CurrentTeamMembers:dnjansen.jpg, align=left, nolink, 7%)]]
     49
     50'''Participant:'''  2007--present
     51
     52'''Name:''' Dr. David N. Jansen
     53
     54'''Position:''' Assistant professor
     55
     56'''Affiliation:''' ITA group at Radboud University Nijmegen
     57
     58----
     59
     60[[Image(People:CurrentTeamMembers:vynguyen.jpg, align=left, nolink, 8%)]]
     61
     62'''Participant:'''  2008--present
     63
     64'''Name:''' Viet Yen Nguyen (MSc)
     65
     66'''Position:''' PhD student
     67
     68'''Affiliation:''' MOVES group at RWTH Aachen
     69
     70----
    1171
    1272== [wiki:People/FormerTeamMembers Former Team Members] ==