Research students supervision

Completed PhD

Sofia Corsava, PhD Thesis on Self-healing Autonomous Clusters with Parallel Distributed Processing (completed 2003)

Vasilyi Shangin developed algorithmic natural deduction system for the First-Order Logic at the Department of Logic in the Faculty of Philosophy, Moscow State University (completed 2004).

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. 


Main Research Page

Research Interests

PhD Opportunities


School's Seminars