|
|
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
Abel, Andreas
Abramsky, Samson
Aceto, Luca
Adamek, Jiri
Aehlig, Klaus
Ahrens, Benedikt
Alur, Rajeev
Amadio, Roberto
Antoy, Sergio
Aoto, Takahito
Atig, Mohamed Faouzi
Atkey, Robert
Baader, Franz
Baillot, Patrick
Barendregt, Henk
Benton, Nick
Blanqui, Frederic
Bonet, María Luisa
Brattka, Vasco
Brotherston, James
Budnik, Paul
Burel, Guillaume
Carnielli, Walter
Castagna, Giuseppe
Cenzer, Douglas
Cervesato, Iliano
Chakraborty, Supratik
Ciobanu, Gabriel
Cohen, Cyril
Colcombet, Thomas
Comon-lundh, Hubert
Coniglio, Marcelo
Constable, Robert
Cooper, S. Barry
Courcelle, Bruno
Curien, Pierre-Louis
Dal Lago, Ugo
Danos, Vincent
Dawar, Anuj
de Falco, Marc
de Paiva, Valeria
Dechter, Rina
Díaz-Caro, Alejandro
Dyckhoff, Roy
Eppendahl, Adam
Escardó, Martín
Esparza, Javier
Fahrenberg, Uli
Flanagan, Cormac
Francez, Nissim
Furia, Carlo
Galmiche, Didier
Gasquet, Olivier
GHEERBRANT, Amélie
Ghica, Dan
Ghilezan, Silvia
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
Hendriks, Dimitri
Henk, Barendregt
Hennessy, Matthew
hennessy, matthew
Herbreteau, Frédéric
Herzig, Andreas
Hewitt, Carl
Hicks, Michael
Huet, Gérard
Immerman, Neil
Jacobs, Bart
Jansen, David
Japaridze, Giorgi
Jeffrey, Alan
Johann, Patricia
Jones, Neil
Jones, Robert
Jouannaud, Jean-Pierre
Kahle, Reinhard
Kartzow, Alexander
Kautz, Henry
Kesner, Delia
Kirchner, Hélène
Koslowski (L), Juergen
Kowalewski, Stefan
Kozen, Dexter
Krajícek, Jan
Krivine, Jean-Louis
Kuhtz, Lars
Kwiatkowska, Marta
Kwiatkowski, Marek
Lee, Gyesik
Lee, Wonchan
Leivant, Daniel
Lengrand, Stéphane
Lenzerini, Maurizio
Lescanne, Pierre
Libkin, Leonid
Lifschitz, Vladimir
Lumsdaine, Peter
Lynch, Christopher
Mahboubi, Assia
Mairson, Harry
Manuel, Bodirsky
Martini, Simone
Martini, Simone
Martins, Manuel
Matt, Summers
Mazza, Damiano
Melham, Tom
Milius, Stefan
Milo, Tova
Mimram, Samuel
Miné, Antoine
Mokhov, Serguei
Monniaux, David
Montanari, Ugo
Moshier, M. Andrew
Moss, Lawrence
Mossakowski, Till
Muggleton, Stephen
Muscholl, Anca
Natarajan, Shankar
Nipkow, Tobias
Nishida, Naoki
Ong, Luke
Panangaden, Prakash
Paolini, Luca
Philippou, Anna
Pierce, Benjamin
Piterman, Nir
Pitts, Andrew
Platzer, Andre
Plotkin, Gordon
Potgieter, Paul
Pous, Damien
Pous, Damien
Reitblatt, Mark
Ronchi Della Rocca, Simona
Rosu, Grigore
Roveri, Marco
Roveri, Marco
Rutten, Jan
Sabel, David
Saffidine, Abdallah
Sahu, Shiv
Salehi, Saeed
Sambin, Giovanni
Sangiorgi, Davide
Sassone, Vladimiro
Schweikardt, Nicole
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
Teige, Tino
Tennent, Robert
Thielecke, Hayo
Thomas, Wolfgang
Tiu, Alwen
Treinen, Ralf
Urzyczyn, Pawel
Uustalu, Tarmo
Vaandrager, Frits
Van Horn, David
Vardoulakis, Dimitrios
Veith, Helmut
Venema, Yde
Victor, Björn
Voronkov, Andrei
Waaler, Arild
Wadler, Philip
Walsh, Toby
Walukiewicz, Igor
Wand, Mitchell
Waszkiewicz, Pawel
Weihrauch, Klaus
Weil, Pascal
Wolper, Pierre
Zankl, Harald
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
|
| |
