James C. A. Main (Preferred)
James C. A. Main
Pronouns: he/him
PhD student, Mathematics Department, Université de Mons
- Joined June 2024
Names
Emails
****@umons.ac.be (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Mathematics Department, Université de Mons (umons.ac.be)
2021 – Present
Advisors, Relations & Conflicts
Coauthor
Jeremy Sproston
Present
Coauthor
Thomas Brihaye
Present
Expertise
formal methods, verification
Present
Markov decision processes, stochastic games, probabilistic model checking, strategy (policy) synthesis
Present
games on graphs, matrix games, extensive form games
Present