Sofia Corsava, PhD Thesis on Self-healing Autonomous Clusters with Parallel Distributed Processing (completed 2003)
Artie Bazukoski. Thesis “Temporal Resolution for Branching-Time Logics: Extensions and Complexity” (completed 2006).
Alessandro Basso Thesis "Configuration of Components in Grid Systems through Formal Specification and Verification" ( completed 2010).
Current Research Students
Gaurav Geupta is investigating Hybrid AI architecture.