Hoon Hong
Original record- Institution
- The Ohio State University
- Year
- 1990
- Country
- United States
- MGP identifier
- 20810
Dissertation: Improvements in CAD--based Quantifier Elimination
Mathematics Subject Classification: 68—Computer science
Advisor 1
- George Edwin CollinsCornell University · 1955
Students 14
| Name | Institution | Year | Students |
|---|---|---|---|
| Ala'a Al-Kateeb | North Carolina State University | 2016 | 0 |
| Mary Ambrosino | North Carolina State University | 2017 | 0 |
| Owen Coss | North Carolina State University | 2020 | 0 |
| Madalina Erascu | Research Institute for Symbolic Computation (RISC), Linz | 2012 | 0 |
| Aaron Herman | The University of North Carolina at Chapel Hill | 2015 | 0 |
| Zachary Hough | North Carolina State University | 2018 | 0 |
| Manfred Minimair | North Carolina State University | 2001 | 0 |
| Ezra Nance | Not recorded | — | 0 |
| Chris Paquette | North Carolina State University | 2020 | 0 |
| John Edward Perry | North Carolina State University | 2005 | 1 |
| Stefan Ratschan | Johannes Kepler Universität Linz | 1998 | 0 |
| Brittany Riggs | North Carolina State University | 2020 | 0 |
| James Rohal | North Carolina State University | 2014 | 0 |
| Jing Yang | North Carolina State University and Beihang University | 2013 | 0 |