 TMR LINEARSites of the network |
TMR LINEARSites of the network |
| Marseille |
|---|
Scientist in charge: Jean-Yves Girard.
This site federates the group Logique de la Programmation of the Institut de Mathématiques de Luminy, the project Calligramme of INRIA-Nancy and people from the Xerox research center in Grenoble.
for reporting any mistake or omission.
| Bologna |
|---|
Scientist in charge: Andrea Asperti.
The site federates the computer science departments of the universities of Bologna, Torino and Udine.
| Confirmed researchers | ||
|---|---|---|
| Fabio Alessi | Udine | alessi@dimi.uniud.it |
| Andrea Asperti | PR Bologna (site leader) | asperti@cs.unibo.it |
| Stefano Berardi | Torino | stefano@di.unito.it |
| Pietro di Gianantonio | Udine | pietro@dimi.uniud.it |
| Furio Honsell | PR Udine | honsell@dimi.uniud.it |
| Cosimo Laneve | Bologna | laneve@cs.unibo.it |
| Simone Martini | PR Udine | martini@dimi.uniud.it |
| Marino Miculan | Udine | miculan@dimi.uniud.it |
| Simona Ronchi della Rocca | PR Torino | ronchi@di.unito.it |
| Luca Roversi | Torino | rover@di.unito.it |
| Post-doctoral researchers | ||
| Olivier Bastonero | Torino (TMR Linear Oct. 98 - Sept. 99) | bastone@di.unito.it |
| PhD students | ||
| Paolo Baldan | . | . |
| Irene Schena | Udine | schena@cs.unibo.it |
for reporting any mistake or omission.
| Cambridge |
|---|
Scientist in charge: Martin Hyland.
The site federates people from the computer science departments of the Universities of Cambridge and Oxford.
| Confirmed researchers | ||
|---|---|---|
| Nick Benton | Cambridge | nick@microsoft.com |
| Gavin Bierman | Warwick | gmb@dcs.warwick.ac.uk |
| Philippa Gardner | Cambridge | Philippa.Gardner@cl.cam.ac.uk |
| Martin Hyland | PR Cambridge (site leader) | M.Hyland@dpmms.cam.ac.uk |
| Ralph Loader | Oxford | . |
| Guy McCusker | Sussex | guym@cogs.susx.ac.uk |
| Luke Ong | PR Oxford | Luke.Ong@comlab.ox.ac.uk |
| Andrew Pitts | PR Cambridge | ap@cl.cam.ac.uk |
| Andrea Schalk | Cambridge | A.Schalk@dpmms.cam.ac.uk |
| Lincoln Wallen | PR Oxford | Lincoln.Wallen@comlab.ox.ac.uk |
| Glynn Winskel | PR Cambridge | gwinskel@daimi.au.dk |
| PhD students | ||
| Dominic Hughes | Oxford | Dominic.Hughes@comlab.ox.ac.uk |
| Charles Stewart | Oxford | Charles.Stewart@comlab.ox.ac.uk |
for reporting any mistake or omission.
| Edinburgh |
|---|
Scientist in charge: Samson Abramsky.
The site federates the LFCS of the University of Edinburgh and the DAIMI at Aahrus (Denmark).
| Confirmed researchers | ||
|---|---|---|
| Samson Abramsky | PR Edinburgh (site leader) | samson@dcs.ed.ac.uk |
| Torben Braunen | Aahrus | . |
| Marcelo Fiore | Sussex | marcelo@cogs.susx.ac.uk |
| Jim Laird | Edinburgh | jdl@dcs.ed.ac.uk |
| Gordon Plotkin | PR Edinburgh | gdp@dcs.ed.ac.uk |
| John Power | Edinburgh | ajp@dcs.ed.ac.uk |
| Ian Stark | Edinburgh | Ian.Stark@ed.ac.uk |
| Post-doctoral researchers | ||
| Patrick Baillot | Edinburgh (TMR Linear Oct. 99 - Sept. 2000) | pb@dcs.ed.ac.uk |
| Marina Lenisa | Edinburgh (TMR Linear Nov. 98 - Oct. 99) | lenisa@dcs.ed.ac.uk |
| PhD students | ||
| Julius Chroboczek | Edinburgh | jec@dcs.ed.ac.uk |
| Thomas Hildebrandt | Aahrus | hilde@brics.dk |
for reporting any mistake or omission.
| Lisboa |
|---|
Scientist in charge: José Luis Fiadeiro.
The site federates people from the computer science departments of the Universidade de Lisboa FCUL and of the Universidade Nova de Lisboa FCTUNL.
| Confirmed researchers | ||
|---|---|---|
| Nuno Barreiro | FCUL | nbar@di.fc.ul.pt |
| José Luiz Fiadeiro | PR FCUL (site leader) | llf@di.fc.ul.pt |
| L. Monteiro | PR FCTUNL | . |
| Vasco Vasconcelos | PR FCUL | vv@di.fc.ul.pt |
for reporting any mistake or omission.
| Paris |
|---|
Scientist in charge: Vincent Danos.
The site federates people from the Group Preuves, Programmes et Systèmes at Université Paris 7, the LIPN at Université Paris 13 (Computer Science Department) and the Computer Science Department at Ecole Normale Supérieure.
for reporting any mistake or omission.
| Roma |
|---|
Scientist in charge: V. Michele Abrusci.
The site federates people from the department of philosophy of Università Roma 3
| Confirmed researchers | ||
|---|---|---|
| V. Michele Abrusci | PR Roma 3 (site leader) | abrusci@uniroma3.it |
| Stefano Guerrini | Roma 1 | stefano@dcs.qmw.ac.uk |
| Gian-Franco Mascari | IAC-CNR | mascari@iac.rm.cnr.it |
| Andrea Masini | PR Trento | masini@science.unitn.it |
| Giovanni Pani | Bari | pani@di.uniba.it |
| Marco Pedicini | IAC-CNR | marco@iac.rm.cnr.it |
| Aldo Ursini | PR Siena | ursini@unisi.it |
| Post-doctoral researchers | ||
| Mario Piazza | Roma | m.piazza@mclink.it |
| Laura Redavid | Roma | redavid@eostel.it |
| Paul Ruet | Roma 3 (TMR Linear Feb. - Sept. 99) | ruet@uniroma3.it |
| Lorenzo Tortora de Falco | Roma 3 | tortora@logique.jussieu.fr |
| PhD students | ||
| Guilio Balestreri | Roma 3 | gippo@inf.uniroma3.it |
| Elena Maringelli | Roma 1 | maringelli@mail.media.it |