James Main

James C. A. Main is a PhD student supervised by Mickael Randour from the Department of Mathematics (Effective Mathematics Unit) and Complexys Institute of the University of Mons (UMONS). His PhD is funded by the F.R.S.-FNRS.

His research interests lie in formal methods and the game-theoretic approach to the synthesis of controllers for reactive systems. His work relates to the relations between different models of controllers and the analysis of timed systems.