| |
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
Atig, Mohamed Faouzi
Baader, Franz
Baillot, Patrick
Barendregt, Henk
Benton, Nick
Blanqui, Frederic
Bonet, María Luisa
Brotherston, James
Burel, Guillaume
Carnielli, Walter
Castagna, Giuseppe
Chakraborty, Supratik
Ciobanu, Gabriel
Comon-lundh, Hubert
Coniglio, Marcelo
Constable, Robert
Cooper, S. Barry
Courcelle, Bruno
Curien, Pierre-Louis
Danos, Vincent
Dawar, Anuj
de Paiva, Valeria
Dechter, Rina
Dyckhoff, Roy
Eppendahl, Adam
Escardó, Martín
Esparza, Javier
Fahrenberg, Uli
Francez, Nissim
Furia, Carlo
Galmiche, Didier
Gasquet, Olivier
Ghica, Dan
Giese, Martin
Glabbeek, Rob van
Goguen, Joseph
Gordon, Andrew
Gottlob, Georg
Goubault-Larrecq, Jean
Gries, David
Grumberg, Orna
Gruska, Jozef
Grädel, Erich
Guglielmi, Alessio
Hancock, Peter
Hans, Hammmer
Hendriks, Dimitri
Henk, Barendregt
Hennessy, Matthew
hennessy, matthew
Herzig, Andreas
Hewitt, Carl
Hicks, Michael
Huet, Gérard
Immerman, Neil
Japaridze, Giorgi
Jeffrey, Alan
Johann, Patricia
Jones, Neil
Jones, Robert
Kahle, Reinhard
Kautz, Henry
Kirchner, Hélène
Koslowski (L), Juergen
Kowalewski, Stefan
Kozen, Dexter
Krajícek, Jan
Kuhtz, Lars
Kwiatkowska, Marta
Kwiatkowski, Marek
Lee, Gyesik
Leivant, Daniel
Lengrand, Stéphane
Lenzerini, Maurizio
Lescanne, Pierre
Libkin, Leonid
Lifschitz, Vladimir
Lumsdaine, Peter
Lynch, Christopher
Mairson, Harry
Martini, Simone
Martini, Simone
Matt, Summers
Mazza, Damiano
Milius, Stefan
Milo, Tova
Mokhov, Serguei
Monniaux, David
Montanari, Ugo
Moshier, M. Andrew
Moss, Lawrence
Mossakowski, Till
Muggleton, Stephen
Natarajan, Shankar
Nipkow, Tobias
Ong, Luke
Panangaden, Prakash
Paolini, Luca
Philippou, Anna
Pierce, Benjamin
Piterman, Nir
Pitts, Andrew
Plotkin, Gordon
Reitblatt, Mark
Ronchi Della Rocca, Simona
Rosu, Grigore
Roveri, Marco
Rutten, Jan
Sahu, Shiv
Salehi, Saeed
Sambin, Giovanni
Sangiorgi, Davide
Sassone, Vladimiro
Schwentick, Thomas
Segoufin, Luc
Selinger, Peter
Setzer, Anton
Severi, Paula
Shore, Richard
Simamora, Sihar
Simonsen, Jakob
Smolka, Scott
Spreen, Dieter
Spreen, Dieter
Staton, Sam
Stirling, Colin
Stuckey, Peter
Tarlecki, Andrzej
Tennent, Robert
Thielecke, Hayo
Thomas, Wolfgang
Tiu, Alwen
Treinen, Ralf
Urzyczyn, Pawel
Vaandrager, Frits
Van Horn, David
Veith, Helmut
Venema, Yde
Victor, Björn
Voronkov, Andrei
Waaler, Arild
Wadler, Philip
Walsh, Toby
Walukiewicz, Igor
Wand, Mitchell
Weihrauch, Klaus
Wolper, Pierre
Zheng, Xizhong
Zhong, Ning
Groups
Centre for Formal Design and Verification of Software, IIT Bombay, India
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
|
| |
