These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.

Guest Researchers and Cooperating Partners



Don Batory  (University of Texas at Austin) 
Michel Bidoit  (Ecole Normale Supérieure de Cachan)
Andrea Corradini  (Università di Pisa)
John N. Crossley  (Monash University Melbourne)
Jose Fiadeiro  (University of Lisbon)
Kokichi Futatsugi  (Japan OInstitute of Science and Technology, JAIST)
Armando Haeberer  (University of Lisbon and Oblog Software SA)
Jose Meseguer  (Stanford Research Institute, SRI, Palo Alto)
Ugo Montanari  (Università di Pisa)
Ataru Nakagawa  (Software Research Associates, Tokyo)
Rocco De Nicola  (Università degli Studi di Firenze)
Iman Poernomo  (Monash University Melbourne)
Toshiki Sakabe  (Nagoya University)
Carolyn Talcott  (Stanford University)
Michel Wermelinger  (New University of Lisbon)
Mingsheng Ying  (Tsinghua University, Beijing)