David Alan Basin
Ph.D. Cornell University 1989
Dissertation:
Building Problem Solving Environments in Constructive Type Theory
Advisor: Robert Lee Constable
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Viganò, Luca | Universität des Saarlandes | 1997 | 5 |
| Mantel, Heiko | Universität des Saarlandes | 2003 | 2 |
| Brucker, Achim | ETH Zürich | 2007 | 1 |
| Köpf, Boris | ETH Zürich | 2007 | |
| Mödersheim, Sebastian | ETH Zürich | 2007 | 3 |
| Wahler, Michael | ETH Zürich | 2008 | |
| Schaller, Patrick | ETH Zürich | 2010 | |
| Frank, Mario | ETH Zürich | 2011 | |
| Rudich, Arsenii | ETH Zürich | 2011 | |
| Meier, Simon | ETH Zürich | 2013 | |
| Conchinha, Bruno | ETH Zürich | 2014 | |
| Feltz, Michèle | ETH Zürich | 2014 | |
| Matt, Christian | ETH Zürich | 2017 | |
| Guarnieri, Marco | ETH Zürich | 2018 | |
| Sefidgar, Seyed Reza | ETH Zürich | 2021 |
According to our current on-line database, David Basin has 15 students and 22 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 50712 for the advisor ID.