Wojtek Jamroga Home Page

If you want a more up-to-date picture, click here Ladies & Gentlemen, welcome to my homepage. I am a researcher working on the borderline of computer science, artificial intelligence, and mathematiccal logic. Like most scientists nowadays, I live a nomad's life. I did my Master's in Poland, PhD in the Netherlands, and habilitation in Germany. Then spent a few years in Luxembourg, came back to Poland for some time, and back to Luxembourg again. Currently, I am a research associate at the University of Luxembourg and an associate professor at the Polish Academy of Sciences. I am also a Privatdozent at the Clausthal University of Technology. If you want to contact me, I suggest using my good old e-mail address in Clausthal. I like receiving e-mails very much, although answering them promptly is more difficult for me. Anyway, I'm rather slow, so please forgive me eventual delay in my response.

wjamroga --aat-- in.tu-clausthal.de


VoteVerif has finished, STV has begun: Together with Peter Y.A. Ryan, we got another PolLux grant on verification of voter-verifiable voting schemes. This time with a stronger focus on modeling and analysis of human behavior. See the website of the new project here.

Back to Luxembourg! I moved back to the University of Luxembourg as a research associate. I also work part-time for the Polish Academy of Sciences as an associate professor (ass prof, in short ;-) ).

Best paper nomination in agent systems: The paper on partial-order reduction of strategic ability (joint work with Wojciech Penczek, Piotr Dembinski, and Antoni Mazurkiewicz) has been nominated for the Best Paper Award at the 17th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2018.

Best paper award in e-voting: Together with Masoud Tabatabaei, we have received the Best Paper Award at the International Joint Conference on Electronic Voting E-VOTE-ID 2016 for the paper Preventing Coercion in E-Voting: Be Open and Commit.


Photo by IFJ



Maitri - solidarity with the poor of the Third World

Applied Security and Information Assurance Group @ University of Luxembourg Home
Formal Verification Group @ Polish Academy of Sciences
Computational Intelligence Group @ Clausthal University of Technology Last modified 2020-04-09