some image logo

HOME

SEARCH

REGULAR ISSUES

SPECIAL ISSUES

CURRENT ISSUE

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

   Abstracts

   Conferences

   Theorists

   RSS feeds

   Flyer / Leaflet

LOGIN

FAQ

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



Groups: GLPTU




Individuals


A[top] >>>

Abadi, Martín
Abramsky, Samson
Aceto, Luca
Adamek, Jiri
Aehlig, Klaus
Alur, Rajeev
Amadio, Roberto
Antoy, Sergio

B[top] >>>

Baader, Franz
Barendregt, Henk
Blanqui, Frederic
Bonet, María Luisa

C[top] >>>

Carnielli, Walter
Castagna, Giuseppe
Constable, Robert
Courcelle, Bruno

D[top] >>>

Danos, Vincent
de Paiva, Valeria
Dechter, Rina
Dyckhoff, Roy

E[top] >>>

Eppendahl, Adam
Escardó, Martín
Esparza, Javier

F[top] >>>

Francez, Nissim

G[top] >>>

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

H[top] >>>

Hendriks, Dimitri
Hennessy, Matthew
Herzig, Andreas
Huet, Gérard

I[top] >>>

Immerman, Neil

J[top] >>>

Jeffrey, Alan
Jones, Neil
Jones, Robert

K[top] >>>

Kautz, Henry
Kirchner, Hélène
Koslowski (L), Juergen
Kozen, Dexter
Krajícek, Jan
Kwiatkowska, Marta

L[top] >>>

Leivant, Daniel
Lenzerini, Maurizio
Libkin, Leonid
Lifschitz, Vladimir

M[top] >>>

Mairson, Harry
Martini, Simone
Milius, Stefan
Milo, Tova
Montanari, Ugo
Moshier, M. Andrew
Moss, Lawrence
Mossakowski, Till
Muggleton, Stephen

N[top] >>>

Natarajan, Shankar
Nipkow, Tobias

O[top] >>>

Ong, Luke

P[top] >>>

Panangaden, Prakash
Pierce, Benjamin
Pitts, Andrew
Plotkin, Gordon

R[top] >>>

Ronchi Della Rocca, Simona
Rutten, Jan

S[top] >>>

Sambin, Giovanni
Sangiorgi, Davide
Sassone, Vladimiro
Schwentick, Thomas
Selinger, Peter
Setzer, Anton
Severi, Paula
Shore, Richard
Smolka, Scott
Spreen, Dieter
Stirling, Colin
Stuckey, Peter

T[top] >>>

Tarlecki, Andrzej
Tennent, Robert
Thomas, Wolfgang

V[top] >>>

Vaandrager, Frits
Venema, Yde
Voronkov, Andrei

W[top] >>>

Wadler, Philip
Walsh, Toby
Walukiewicz, Igor
Wand, Mitchell
Wolper, Pierre



Groups


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