[home]
People

Home Pages

Research World

Martín Abadi
Samson Abramsky
Thorsten Altenkirch
John Baez
Andreas Blass
Rick Blute
Luca Cardelli
Richard Cleve
Robin Cockett
Bob Coecke
Pierre-Louis Curien
Vincent Danos
Sophia Drossopoulou
Thomas Ehrhard
Amy Felty
Marcelo Fiore
Carsten Führmann
Simon Gay
Jean-Yves Girard
Esfan Haghverdi
Masahito Hasegawa
Thomas Hildebrandt
Peter Hines
Martin Hofmann
Furio Honsell
Michael Huth
Martin Hyland
Bart Jacobs
Alan Jeffrey
Jean-Baptiste Joinet
Achim Jung
Klaus Keimel
Jürgen Koslowski
Yves Lafont
Jim Laird
Olivier Laurent
Paul Levy
 Ralph Matthes
Paul-André Melliès
Albert Meyer
Dale Miller
John Mitchell
Eugenio Moggi
Uwe Nestmann
Peter O'Hearn
Mitsu Okada
Luke Ong
Valeria de Paiva
Catuscia Palamidessi
Prakash Panangaden
Benjamin Pierce
Andy Pitts
Gordon Plotkin
Vaughan Pratt
David Pym
Laurent Regnier
Eike Ritter
Edmund Robinson
Kris Rose
Katherine St. John
Davide Sangiorgi
Vladimiro Sassone
Andre Scedrov
Andrea Schalk
Carsten Schürmann
Phil Scott
Robert Seely
Ian Stark
Ross Street
Thomas Streicher
Benoît Valiron
Phil Wadler
Scott Weinstein
Glynn Winskel

Some Friends

Jorj Bauer
Sara Faridi
Sarah Greenwald
Martin Kelley
Erica Klarreich
Amy Ksir
Rachel Pries
Sue Talbutt
Kris Tapp

People at Dalhousie Math and Computer Science.


My old office at Penn: Rachel, Kris, me and Amy


Back to Homepage: [home]
Peter Selinger / Department of Mathematics and Statistics / Dalhousie University
selinger@mathstat.dal.ca / PGP key