Albert Atserias
Original record- Institution
- University of California, Santa Cruz
- Year
- 2002
- Country
- United States
- MGP identifier
- 96573
Dissertation: Fixed-Point Logics, Descriptive Complexity, and Random Satisfiability
Mathematics Subject Classification: 68—Computer science
Advisors 3
- José Luis BalcázarUniversitat Politècnica de Catalunya · 1984
- Maria Luisa BonetUniversity of California, Berkeley · 1991
- Phokion G. KolaitisUniversity of California, Los Angeles · 1978
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Moritz Müller | Albert-Ludwigs-Universität Freiburg im Breisgau | 2009 | 0 |
| Sergi Oliva | Universitat Politècnica de Catalunya | 2013 | 0 |