Members of the Programming Logic Research Group

Current Members

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

 

Name Position User
Jean-Philippe Bernardy Assistant Professor bernardy
Ana Bove Docent bove
Cyril Cohen Post-Doc cyrilc
Thierry Coquand Professor coquand
Nils Anders Danielsson Assistant Professor nad
Peter Dybjer Professor peterd
Simon Huber PhD Student simonhu
Fredrik Lindblad PhD Student frelindb
Bassel Mannaa PhD Student bassel
Guilhem Moulin PhD Student guilhem.moulin
Anders Mörtberg PhD Student mortberg
Bengt Nordström Professor bengt
Ulf Norell Research Engineer ulfn
Jan Smith Professor smith

 

Previous Members

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

 
Last modified: March 04, 2013
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