Wojciech Wojtek) ( Jamroga is a Research Scientist at the University of Luxembourg and an Associate Professor at the Polish Academy of Sciences. His research is focused on modeling, specification, and verification of interaction between autonomous agents, such as humans robots, software bots, etc. This requires an interdisciplinary approach, and involves elements of mathematical logic, game theory, information security, algorithmics, computational complexity, and models of social interaction.
In the past few years, Wojtek has been mainly working on algorithms for practical model checking of strategies in concurrent games with imperfect information. The long-term goal is to enable verification of security properties in e-voting procedures. This includes logical formalizations of properties like coercion-resistance and voter-verifiability, creating formal models of interaction between voters, coercers, authorities, etc, and development of scalable algorithms for model checking. Importantly, formal analysis of a system that involves humans is highly nontrivial; one can try to achieve it by means of game-theoretic techniques for reasoning about the interplay between technological and human factors in elections.
Wojtek obtained his PhD degree from the University of Twente (Netherlands), in 2004 and completed his habilitation at the Clausthal University of Technology (Germany), in 2009. In 2019, he rejoined the Applied Security and Information Assurance research group, APSIA, headed by Prof. Peter Y.A. Ryan.
Personal webpage: https://home.ipipan.waw.pl/w.jamroga/