Chin-Laung Lei
Original record- Institution
- University of Texas at Austin
- Year
- 1986
- Country
- United States
- MGP identifier
- 184056
Dissertation: Temporal Logics for Reasoning under Fairness assumptions
Mathematics Subject Classification: 68—Computer science
Advisor 1
- E. Allen (Ernest) EmersonHarvard University · 1981
Students 23
| Name | Institution | Year | Students |
|---|---|---|---|
| Yu-Chun Chang | National Taiwan University | 2012 | 0 |
| Kuan-Ta Chen | National Taiwan University | 2006 | 0 |
| Yu-Shian Chen | National Taiwan University | 2013 | 0 |
| Po-Wen Chi | National Taiwan University | 2016 | 0 |
| Chien-Hua Chiu | National Taiwan University | 2012 | 0 |
| Yun-Peng Chiu | National Taiwan University | 2011 | 0 |
| Chun-I Fan | National Taiwan University | 1998 | 0 |
| Chia-Chang Hsu | National Taiwan University | 2012 | 0 |
| Chun-Ying Huang | National Taiwan University | 2007 | 0 |
| Wen-Shenq Juang | National Taiwan University | 1998 | 0 |
| Alexander, I-Chi Lai | National Taiwan University | 2000 | 0 |
| Jiunn-Jye Lee | National Taiwan University | 2012 | 0 |
| Hong-Tu Liao | National Taiwan University | 1992 | 0 |
| Yen-Hua Liao | National Taiwan University | 2011 | 0 |
| Jing-Kai Lou | National Taiwan University | 2014 | 0 |
| Hung-Jr Shiu | National Taiwan University | 2018 | 0 |
| Yuen-Chang Sun | National Taiwan University | 2000 | 0 |
| Pan-Lung Tsai | National Taiwan University | 2006 | 0 |
| Ming-Hung Wang | National Taiwan University | 2017 | 0 |
| Ren-Chiun Wang | National Taiwan University | 2010 | 0 |
| Chen-Chi Wu | National Taiwan University | 2012 | 0 |
| Tzuoo-Hawn Yeh | National Taiwan University | 2001 | 0 |
| Pei-Ling Yu | National Taiwan University | 2004 | 0 |