Abhik Roychoudhury
Original record- Institution
- State University of New York at Stony Brook
- Year
- 2000
- Country
- United States
- MGP identifier
- 81511
Dissertation: Program Transformations for Verifying Parameterized Systems
Advisors 2
- Iyer Venkateshwaran RamakrishnanUniversity of Texas at Austin · 1983
- C. R. RamakrishnanState University of New York at Stony Brook · 1995
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Marcel Boehme | National University of Singapore | 2014 | 0 |
| Sudipta Chattopadhyay | National University of Singapore | 2013 | 0 |
| Ankit Goel | National University of Singapore | 2009 | 0 |
| Lei Ju | National University of Singapore | 2010 | 0 |
| Xianfeng Li | National University of Singapore | 2005 | 0 |
| Sergey Mechtaev | National University of Singapore | 2018 | 0 |
| Van-Thuan Pham | National University of Singapore | 2017 | 0 |
| Vivy Suhendra | National University of Singapore | 2009 | 0 |
| Shin Hwei Tan | National University of Singapore | 2018 | 0 |
| Tao Wang | National University of Singapore | 2008 | 0 |