ProgLog /
Programming Logic Members
CURRENT MEMBERS
E-mail address: <user>@chalmers.se
| Name | Position | User |
|---|---|---|
| Jean-Philippe Bernardy | Postdoc | |
| Ana Bove | Docent | bove |
| Cyril Cohen | Postdoc | cyrilc |
| Thierry Coquand | Professor | coquand |
| Peter Dybjer | Professor | peterd |
| Nils Anders Danielson | Assistant professor | nad |
| Simon Huber | PhD Student | simonhu |
| Patrik Jansson | Associate professor | patrikj |
| 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 | Post-Doc | ulfn |
| Aarne Ranta | Professor | aarne |
PREVIOUS MEMBERS
| Andreas Abel | Janna Khegai |
| Thorsten Altenkirch | Peter Ljunglöf |
| Gilles Barthe | Lena Magnusson |
| Marcin Benke | Micaela Mayero |
| Gustavo Betarte | Alexandre Miquel |
| Ilya Beylin | Johan Nordlander |
| Bror Bjerner | Henrik Persson |
| Jan Cederquist | Kent Petersson |
| Randy Pollack | David Delahaye |
| Christophe Raffalli | Jan Ekman |
| Jan Smith | Markus Forsberg |
| Allen Stoughton | Daniel Fridlender |
| Björn von Sydow | Verónica Gaspes |
| Nora Szasz | Carlos Gonzalía |
| Dan Synek | Qiao Haiyan |
| Makoto Takeyama | Thomas Hallgren |
| Tanel Tammet | Lars Hallnäs |
| Alvaro Tasistro | Michael Hedberg |
| David Wahlstedt | Pierre Hyvernat |
| Vincent Siles | Catarina Coquand |
| Ken-etsu Fujita | Song Fangmin |
| Andres Sicard-Ramirez |