| |
HOME PAGES OF THEORY PEOPLE AND GROUPS
Please join us here:
Here are the personal home pages of people and groups with an
interest in theoretical computer science. If you would like
to add your name to the list, email your full name and the URL of your page to the
executive editor.
- The Editors
|
Individuals
Abadi, Martín
Abramsky, Samson
Aceto, Luca
Adamek, Jiri
Aehlig, Klaus
Alur, Rajeev
Amadio, Roberto
Antoy, Sergio
Baader, Franz
Barendregt, Henk
Blanqui, Frederic
Bonet, María Luisa
Carnielli, Walter
Castagna, Giuseppe
Constable, Robert
Courcelle, Bruno
Danos, Vincent
de Paiva, Valeria
Dechter, Rina
Dyckhoff, Roy
Eppendahl, Adam
Escardó, Martín
Esparza, Javier
Francez, Nissim
Galmiche, Didier
Gasquet, Olivier
Ghica, Dan
Glabbeek, Rob van
Goguen, Joseph
Gordon, Andrew
Gottlob, Georg
Gries, David
Grumberg, Orna
Gruska, Jozef
Grädel, Erich
Guglielmi, Alessio
Hendriks, Dimitri
Hennessy, Matthew
Herzig, Andreas
Huet, Gérard
Immerman, Neil
Jeffrey, Alan
Jones, Neil
Jones, Robert
Kautz, Henry
Kirchner, Hélène
Koslowski (L), Juergen
Kozen, Dexter
Krajícek, Jan
Kwiatkowska, Marta
Leivant, Daniel
Lenzerini, Maurizio
Libkin, Leonid
Lifschitz, Vladimir
Mairson, Harry
Martini, Simone
Milius, Stefan
Milo, Tova
Montanari, Ugo
Moshier, M. Andrew
Moss, Lawrence
Mossakowski, Till
Muggleton, Stephen
Natarajan, Shankar
Nipkow, Tobias
Ong, Luke
Panangaden, Prakash
Pierce, Benjamin
Pitts, Andrew
Plotkin, Gordon
Ronchi Della Rocca, Simona
Rutten, Jan
Sambin, Giovanni
Sangiorgi, Davide
Sassone, Vladimiro
Schwentick, Thomas
Selinger, Peter
Setzer, Anton
Severi, Paula
Shore, Richard
Smolka, Scott
Spreen, Dieter
Stirling, Colin
Stuckey, Peter
Tarlecki, Andrzej
Tennent, Robert
Thomas, Wolfgang
Vaandrager, Frits
Venema, Yde
Voronkov, Andrei
Wadler, Philip
Walsh, Toby
Walukiewicz, Igor
Wand, Mitchell
Wolper, Pierre
Groups
Group for Theoretical and Applied Logic, Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas – UNICAMP accredited by CNPq-Brazil
LILaC (Logic, Interaction, Language, and Computation), Institut de Recherche en Informatique, Toulouse, France
Proof Theory Group at TU Dresden, Dresden, Germany
TOPPS (Theory and Practice in Programming Languages), Univ. Copenhagen, Denmark
University of Cambridge Computer Laboratory Theory and Semantics Group, University of Cambridge, United Kingdom
|
| |
