|
|
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
Abbes, Samy
Abel, Andreas
Abramsky, Samson
Aceto, Luca
Adamek, Jiri
Aehlig, Klaus
Ahrens, Benedikt
Alur, Rajeev
Amadio, Roberto
Amighi, Afshin
Antoy, Sergio
Aoto, Takahito
Atig, Mohamed Faouzi
Atkey, Robert
Baader, Franz
Bahr, Patrick
Baillot, Patrick
Barendregt, Henk
Beckmann, Arnold
Benton, Nick
Berger, Martin
Berkholz, Christoph
Bertrand, Nathalie
Blanqui, Frederic
Bonet, María Luisa
Brattka, Vasco
Brotherston, James
Budnik, Paul
Burel, Guillaume
Buss, Samuel
Carnielli, Walter
Castagna, Giuseppe
Cenzer, Douglas
Cerone, Andrea
Cervesato, Iliano
Chakraborty, Supratik
Ciobanu, Gabriel
Cohen, Cyril
Colcombet, Thomas
Colcombet, Thomas
Comon-lundh, Hubert
Coniglio, Marcelo
Constable, Robert
Cooper, S. Barry
Courcelle, Bruno
Cristian, Gherghina
Curien, Pierre-Louis
Dal Lago, Ugo
Danos, Vincent
Dawar, Anuj
de Falco, Marc
de Paiva, Valeria
Dechter, Rina
Deniélou, Pierre-Malo
Díaz-Caro, Alejandro
Diener, Hannes
Dyckhoff, Roy
Eppendahl, Adam
Escardó, Martín
Esparza, Javier
Fahrenberg, Uli
Flanagan, Cormac
Francez, Nissim
Furia, Carlo
Galmiche, Didier
Gasquet, Olivier
Gaßner, Christine
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
Iguernelala, Mohamed
Immerman, Neil
Jacobs, Bart
Jain, Sanjay
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
Loulergue, Frederic
Lumsdaine, Peter
Lynch, Christopher
Mahboubi, Assia
Mairson, Harry
Manuel, Bodirsky
Martini, Simone
Martini, Simone
Martins, Manuel
Matt, Summers
Mazza, Damiano
Melham, Tom
Mennicke, Roy
Milius, Stefan
Milo, Tova
Mimram, Samuel
Miné, Antoine
Mokhov, Serguei
Monniaux, David
Montanari, Ugo
Moshier, M. Andrew
Moss, Lawrence
Mossakowski, Till
Mostrous, Dimitris
Muggleton, Stephen
Muscholl, Anca
Natarajan, Shankar
Nipkow, Tobias
Nishida, Naoki
Ong, Luke
Panangaden, Prakash
Paolini, Luca
Perez, Jorge
Philippou, Anna
Pierce, Benjamin
Pirson, Olivier
Piterman, Nir
Pitts, Andrew
Platzer, Andre
Plotkin, Gordon
Potgieter, Paul
Pous, Damien
Pous, Damien
Prisacariu, Cristian
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
Song, Lei
Spitters, Bas
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
Yamagata, Yoriyuki
Yang, Hongseok
Zankl, Harald
Zheng, Xizhong
Zhong, Ning
Zhou, Chunlai
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
|
| |
