
|
|
|
Foundations: Theory of Computing, Algorithms, Applied Logic
|
|
Faculty:
|
J. Michael Dunn,
Daniel Leivant,
Paul Purdom,
Gregory Rawlins,
Amr Sabry,
David Wise
|
|
Associates:
|
Esfandiar Haghverdi,
Lawrence Moss
|
|
Links:
|
Foundations Group,
FoC Seminar,
IU Logic Group
|
|