| Crt. job | Name | Title | Year of Ph.D. | University | Department |
| Berkeley | Alistair Sinclair | Professor | 1988 | Edinburgh | Unknown |
| Cornell | Carla Gomes | Associate Professor | 1993 | Edinburgh | Unknown |
| UT Austin | J Strother Moore. | Professor and Chair | 1973 | Edinburgh | Computational Logic |