some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

   Abstracts

   Conferences

   Theorists

   RSS feeds

   Leaflet

LOGIN

FAQ

SUPPORT

CONTACT

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: ABCDEFGHIJKLMNOPRSTUVWYZ



Groups: CGLPTU




Individuals


A[top] >>>

Abadi, Martín
Abbes, Samy
Abel, Andreas
Abramsky, Samson
Aceto, Luca
Aceto, Luca
Adamek, Jiri
Aehlig, Klaus
Ahrens, Benedikt
Alur, Rajeev
Amadio, Roberto
Amighi, Afshin
Antoy, Sergio
Aoto, Takahito
Atig, Mohamed Faouzi
Atkey, Robert
Atkey, Robert

B[top] >>>

Baader, Franz
Bacci, Giorgio
Bahr, Patrick
Baillot, Patrick
Barendregt, Henk
Beckmann, Arnold
Benton, Nick
Berger, Martin
Berkholz, Christoph
Bertrand, Nathalie
Birkedal, Lars
Bizjak, Aleš
Blanqui, Frédéric
Blanqui, Frederic
Bonet, María Luisa
Borgström, Johannes
Brattka, Vasco
Brotherston, James
Budnik, Paul
Burel, Guillaume
Buss, Samuel

C[top] >>>

Carnielli, Walter
Castagna, Giuseppe
Cenzer, Douglas
Cerone, Andrea
Cervesato, Iliano
Chakraborty, Supratik
Ciobanu, Gabriel
Clairambault, Pierre
Cohen, Cyril
Colcombet, Thomas
Colcombet, Thomas
Comon-lundh, Hubert
Coniglio, Marcelo
Constable, Robert
Cooper, S. Barry
Courcelle, Bruno
Cristian, Gherghina
Curien, Pierre-Louis

D[top] >>>

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

E[top] >>>

Eades III, Harley
Eppendahl, Adam
Escardó, Martín
Esparza, Javier

F[top] >>>

Fahrenberg, Uli
Flanagan, Cormac
Francez, Nissim
Furia, Carlo

G[top] >>>

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
Graham-Lengrand, Stéphane
Gries, David
Grumberg, Orna
Gruska, Jozef
Grädel, Erich
Guck, Dennis
Guglielmi, Alessio
Guglielmi, Alessio

H[top] >>>

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
Hyvernat, Pierre

I[top] >>>

Iguernelala, Mohamed
Immerman, Neil

J[top] >>>

Jacobs, Bart
Jain, Sanjay
Jakl, Tomas
Jansen, David
Japaridze, Giorgi
Jeffrey, Alan
Johann, Patricia
Jones, Neil
Jones, Robert
Jouannaud, Jean-Pierre

K[top] >>>

Kahle, Reinhard
Kartzow, Alexander
Kautz, Henry
Kawamura, Akitoshi
Kerjean, Marie
Kesner, Delia
Kirchner, Hélène
Koslowski (L), Juergen
Kowalewski, Stefan
Kozen, Dexter
Krajícek, Jan
Kraus, Nicolai
Kreuzer, Alexander
Krivine, Jean-Louis
Kuhtz, Lars
Kwiatkowska, Marta
Kwiatkowski, Marek

L[top] >>>

Lee, Gyesik
Lee, Wonchan
Leivant, Daniel
Lenzerini, Maurizio
Lescanne, Pierre
Libkin, Leonid
Lifschitz, Vladimir
Loulergue, Frederic
Lumsdaine, Peter
Lynch, Christopher

M[top] >>>

Mahboubi, Assia
Mairson, Harry
Manuel, Bodirsky
Martini, Simone
Martini, Simone
Martins, Manuel
Matt, Summers
Mazza, Damiano
Melham, Tom
Mennicke, Roy
Meolic, Robert
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
Müller, Julian-Steffen

N[top] >>>

Natarajan, Shankar
Nipkow, Tobias
Nishida, Naoki
Nordstrom, Jakob

O[top] >>>

Ong, Luke

P[top] >>>

Panangaden, Prakash
Paolini, Luca
Pauly, Arno
Perdrix, Simon
Perez, Jorge
Philippou, Anna
Pierce, Benjamin
Pirson, Olivier
Piterman, Nir
Pitts, Andrew
Platzer, Andre
Plotkin, Gordon
Plotkin, Gordon
Potgieter, Paul
Pous, Damien
Pous, Damien
Prisacariu, Cristian

R[top] >>>

RAMADOSS, ASHOK KUMAR
Reitblatt, Mark
Ronchi Della Rocca, Simona
Rosu, Grigore
Roveri, Marco
Roveri, Marco
Rutten, Jan

S[top] >>>

Sabel, David
Saffidine, Abdallah
Sahu, Shiv
Salehi, Saeed
Sambin, Giovanni
Sangiorgi, Davide
Sankaranarayanan, Sriram
Sassone, Vladimiro
Schweikardt, Nicole
Schwentick, Thomas
Segoufin, Luc
Selinger, Peter
Setzer, Anton
Severi, Paula
Shore, Richard
Simamora, Sihar
Simonsen, Jakob
Skrzypczak, Michał
Smolka, Scott
Song, Lei
Spitters, Bas
Spiwack, Arnaud
Spreen, Dieter
Spreen, Dieter
Staton, Sam
Stirling, Colin
Strygin, Maxim
Stuckey, Peter

T[top] >>>

Tarasyuk, Igor
Tarlecki, Andrzej
Taylor, Paul
Teige, Tino
Tennent, Robert
Thielecke, Hayo
Thomas, Wolfgang
Tiu, Alwen
Treinen, Ralf

U[top] >>>

Urzyczyn, Pawel
Uustalu, Tarmo

V[top] >>>

Vaandrager, Frits
Van Horn, David
Vardi, Moshe
Vardoulakis, Dimitrios
Veith, Helmut
Venema, Yde
Victor, Björn
Voronkov, Andrei

W[top] >>>

Waaldijk, Frank
Waaler, Arild
Wadler, Philip
Walsh, Toby
Walukiewicz, Igor
Wand, Mitchell
Waszkiewicz, Pawel
Weihrauch, Klaus
Weil, Pascal
Westerbaan, Bram
Wimmer, Ralf
Wolper, Pierre

Y[top] >>>

Yamagata, Yoriyuki
Yang, Hongseok

Z[top] >>>

Zanasi, Fabio
Zankl, Harald
Zheng, Xizhong
Zhong, Ning
Zhou, Chunlai



Groups


C[top] >>>

Centre for Formal Design and Verification of Software, IIT Bombay, India

G[top] >>>

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

L[top] >>>

LILaC (Logic, Interaction, Language, and Computation), Institut de Recherche en Informatique, Toulouse, France

P[top] >>>

Proof Theory Group at TU Dresden, Dresden, Germany

T[top] >>>

TOPPS (Theory and Practice in Programming Languages), Univ. Copenhagen, Denmark

U[top] >>>

University of Cambridge Computer Laboratory Theory and Semantics Group, University of Cambridge, United Kingdom