Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
/ Robust) Combinatorial Optimization, Game Theory, and Network Theory, as well as Artificial Intelligence. Potentially, scenarios could be simulated using agent-based, discrete-event, or other techniques
-
systems methodologies including, but not limited to, AI/ML, optimization, stochastic modelling, statistics, game theory, financial engineering, and simulation. Empirical, experimental, computational, and
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
Investigating the academic literacy journeys of graduate international students School of English PhD Research Project Self Funded Prof Nigel Harwood Application Deadline: Applications accepted all
-
multidisciplinary research in energy markets, optimization, game theory, and machine learning. Our team of 13 members (link ), from 10 different nationalities, values diversity and includes experts from a range of
-
games (Xbox games). He also completed a post-doc at TU Delft with Frans Oliehoek, applying game theory to human-AI cooperation. About the School In the 2021 Research Excellence Framework 99 percent of our
-
including, but not limited to, AI/ML, optimization, stochastic modelling, statistics, game theory, financial engineering, and simulation. Empirical, experimental, computational, and analytical research
-
his PhD for his thesis on the reception of evolutionary theory in Belgium. Before accepting a position at Maastricht University in 2011, he was a post-doctoral scholar at the University of Leuven and a
-
have solid grounding in one or more systems methodologies including, but not limited to, AI/ML, optimization, stochastic modelling, statistics, game theory, financial engineering, and simulation
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification