Indrakshi Ray
Original record- Institution
- George Mason University
- Year
- 1997
- Country
- United States
- MGP identifier
- 67563
Dissertation: Using Formal Methods in Semantic-Based Decomposition of Transactions
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Sushil JajodiaUniversity of Oregon · 1977
- Paul Eric AmmannUniversity of Virginia · 1988
Students 19
| Name | Institution | Year | Students |
|---|---|---|---|
| Ramadan Abdunabi | Colorado State University | 2013 | 0 |
| Mustafa Al-Lail | Colorado State University | 2018 | 0 |
| Saja Alqurashi | Colorado State University | 2024 | 0 |
| Kirill Belyaev | Colorado State University | 2017 | 0 |
| Sudip Chakraborty | Colorado State University | 2008 | 0 |
| Negar Ghahfahrokhi | Colorado State University | 2016 | 0 |
| Matt Gorbett | Colorado State University | 2024 | 0 |
| Kyle Haefner | Colorado State University | 2020 | 0 |
| Hajar Homayouni | Colorado State University | 2021 | 0 |
| Majdi Khalid Alnnfiai | Colorado State University | 2019 | 0 |
| Ibrahim Lazrig | Colorado State University | 2018 | 0 |
| Tarik Moataz | Colorado State University and IMT Atlantique | 2016 | 0 |
| Nayot Poolsappasit | Colorado State University | 2010 | 0 |
| Hossein Shirazi | Colorado State University | 2021 | 0 |
| Eunjee Song | Colorado State University | 2007 | 0 |
| Wuliang Peter Sun | Colorado State University | 2015 | 0 |
| Manachai Toahchoodee | Colorado State University | 2010 | 0 |
| Xing Jason Xie | Colorado State University | 2013 | 0 |
| Tai Xin | Colorado State University | 2006 | 0 |