Wojciech Jamroga
|
|
||||
| Department | APSIA | ||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Bureau sur le campus | MNO, E02 0235-040 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 5599 | ||||
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/
Last updated on: lundi 12 octobre 2020
2021
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol; ; ; ;
in Information and Computation (2021), 276
A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of RequirementsE-print/Working paper (2021)
A Survey of Requirements for COVID-19 Mitigation Strategies; ; ; ;
in Bulletin of The Polish Academy of Sciences: Technical Science (2021), 69(4), 137724
Strategic Abilities of Asynchronous Agents: Semantic Side Effects; ;
in Proceedings of AAMAS 2021 (2021)
Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them; ;
in Proceedings of KR 2021 (2021)
A Declaration of Software Independence; ; ; ;
in Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday (2021)
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions; ; ;
in Proceedings of AAMAS (2021)
2020
Towards Model Checking of Voting Protocols in Uppaal; ; ;
in Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020 (2020)
Multi-valued Verification of Strategic Ability; ; ;
in Fundamenta Informaticae (2020), 175(1-4), 207-251
Natural Strategic Abilities in Voting Protocols; ;
in Proceedings of the 10th International Workshop on Socio-Technical Aspects in Security STAST 2020 (2020)
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips; ; ; ;
E-print/Working paper (2020)
Towards Partial Order Reductions for Strategic Ability; ; ; ;
in Journal of Artificial Intelligence Research (2020), 68
MsATL: a Tool for SAT-Based ATL Satisfiability Checking; ; ; ; ;
in Proceedings of 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020 (2020)
2019
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies; ; ; ;
in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (2019)
Reasoning about Strategic Abilities: Agents with Truly Perfect Recall; ;
in ACM Transactions on Computational Logic (2019), 20(2), 101--1046
Approximate Verification of Strategic Abilities under Imperfect Information; ; ;
in Artificial Intelligence and Law (2019), 277
Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!);
in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (2019)
Natural Strategic Ability under Imperfect Information; ;
in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)
Timed ATL: Forget Memory, Just Count; ; ; ;
in Journal of Artificial Intelligence Research (2019), 66
STV: Model Checking for Strategies under Imperfect Information; ;
in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)
On Domination and Control in Strategic Ability; ;
in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)
On Domination and Control in Strategic Ability (Extended Abstract); ;
in Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC) (2019)
Strategic Responsibility Under Imperfect Information; ; ; ;
in Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (2019)
2016
Preventing Coercion in E-Voting: Be Open and Commit;
in Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID) (2016)
Information Security as Strategic (In)effectivity;
in 12th International Workshop on Security and Trust Management (STM), 2016. (2016)
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt; ;
in The International Workshop on AI for Privacy and Security (PrAISe), 2016. (2016)
2014
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games;
in Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (2014)
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games;
in proceedings of Autonomous Agents and Multi-agent Systems (2014)
2013
Strategic games and truly playable effectivity functions; ;
in Autonomous Agents & Multi-Agent Systems (2013), 26(2), 288-314
Incentives and Rationality in Security of Interaction Protocols; ;
in PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings (2013)
Accumulative Knowledge Under Bounded Resources.;
in Computational Logic in Multi-Agent Systems (2013, September 16)
2012
State and Path Effectivity Models for Logics of Multi-Player Games;
in Proceedings of AAMAS 2012 (2012)
Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems LAMAS'2012;
Book published by IFAAMAS (2012)
LAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems;
Book published by IFAAMAS (2012)
Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract);
in Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS2012 (2012)
2011
Doubtful Deviations and Farsighted Play;
in Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (2011)
Distance-based Judgment Aggregation of Three-valued Judgments with Weights;
in Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (2011)
2010
Model Checking Logics of Strategic Ability: Complexity; ;
in Dastani, M.; Hindriks, K.; Meyer, J.-J. (Eds.) Specification and Verification of Multi-Agent Systems (2010)
Verifying Agents with Memory Is Harder than It Seemed;
in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2010)
Coalition Description Logic for Individuals;
in Electronic Notes in Theoretical Computer Science (2010), 262
2009
Easy Yet Hard: Model Checking Strategies of Agentsin Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX (2009)
