Members of the Programming Logic Research Group

Current Members

E-mail address: <user>@chalmers.se

 

Name Position User
Ana Bove Assistant Professor bove
Catarina Coquand Lecturer catarina
Thierry Coquand Professor coquand
Peter Dybjer Professor peterd
Patrik Jansson Docent patrikj
Fredrik Lindblad PhD Student frelindb
Bengt Nordström Professor bengt
Ulf Norell Post-Doc ulfn
Aarne Ranta Professor aarne

 

Previous Members

  • Michael Hedberg
  • Andreas Abel
  • Thorsten Altenkirch
  • Gilles Barthe
  • Marcin Benke
  • Gustavo Betarte
  • Ilya Beylin
  • Bror Bjerner
  • Jan Cederquist
  • Nils Anders Danielsson
  • David Delahaye
  • Jan Ekman
  • Markus Forsberg
  • Daniel Fridlender
  • Verónica Gaspes
  • Carlos Gonzalía
  • Qiao Haiyan
  • Thomas Hallgren
  • Lars Hallnäs
  • Pierre Hyvernat
  • Janna Khegai
  • Peter Ljunglöf
  • Lena Magnusson
  • Micaela Mayero
  • Alexandre Miquel
  • Johan Nordlander
  • Henrik Persson
  • Kent Petersson
  • Randy Pollack
  • Christophe Raffalli
  • Jan Smith
  • Allen Stoughton
  • Björn von Sydow
  • Nora Szasz
  • Dan Synek
  • Makoto Takeyama
  • Tanel Tammet
  • Alvaro Tasistro
  • David Wahlstedt

 
Last modified: September 23, 2011
Responsible for this page: Ana Bove

 SEARCH


COMPUTER SCIENCE AND ENGINEERING - Chalmers University of Technology and University of Gothenburg
SE-412 96 Gothenburg, Sweden - Tel: +46 (0)31- 772 1000