Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Gastforscher und Kooperationspartner



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)