Students

Current students

PhD Students

• Daniel Balasubramanian
• Himanshu Neema
• Saxena Tripti
• Janos Mathe

MSc Students

• Anand Kashyap
• Akash Patki
• Davis Thomas

Past students

PhD students (with thesis titles):

• Michael Moore: Model-integrated program synthesis for real-time image processing

• Greg Nordstrom: Metamodeling : rapid design and evolution of domain-specific modeling environments 

• Jason Scott: Efficient verification of multi-processor real-time systems using symbolic methods

• Jonathan Sprinkle: Metamodel driven model migration

• Aditya Agarwal: A formal graph transformation based language for model-to-model transformation

• Tivadar Szemethy: Domain-specific models, model analysis, model transformation

• Anantha Narayanan: Verification of Model Transformations

• Steven Nordstrom: Autonomic Model-based High-Performance Embedded Systems

• Abhishek Dubey: Model-Based Autonomic Framework for Reliable Scientific Computing in Large Commodity Clusters

• Turker Keskinpala: Model-based Performance Testing of Distributed Large-scale Systems

MSc students:

Jason Scott, Gaurav Vaid, Stephan Rosner, Chaturapadh Nakavachara, Ali Noor Zainureen, Jonathan Sprinkle, Tony Nelson, Jianfeng Wang, Cordelia Brown, Sordech Krootjohn, Brandon Eames, Chuck Thomasson, Dinesh Deva, Surya Pathak, Aditya Agarwal, Jolan Farkas, Karthik Nagarajan, Kevin Luckerson, Ramadass Prabhakar, Kumar Chohkra, Emrah Barkana, Sachin Mujundar, Sebestyen Dora, Anantha Narayanan, Nora Somogyi, Steven Nordstrom, Juan Rodriguez-Moscoso, Manish Kushawa, Sujata Mujumdar, Soumita Datta, Chrristina Lee, Jason Overdorf, Feng Shi, Zou Miaolang, Haripriya Venkatesan, Vijayaraghavan Kalyanapasupathy, Ben Ness, Ryan Thibodeaux, Nicholas Lowell,