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 work as a full professor at the Polish Academy of Sciences.
I am also a Privatdozent at the Clausthal University of Technology,
and keep close ties with the University of Luxembourg.
If you want to contact me, I suggest using e-mail. 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 the possible delay in my response.
w@jamroga.ipipan@waw@pl (please swap the "ats" and the dots)
Cream of research: I have been included in the latest Elsevier's list of top 2% world scientists. Cream of the crop, one might say, though 2% sounds pretty thin for cream. More like kefir. Or shandy, for that matter. :-)
Best Demo Award at AAMAS 2024: Mateusz Kaminski, Damian Kurpiewski, and I got the Best Demo Award at the top multi-agent systems conference. The demo paper presents a new extension of our model checker STV with knowledge and uncertainty operators.
Total prof: I have been granted the title of a professor by the President of Poland, and got upgraded to a full professorship at the Polish Academy of Sciences!
Carrying the light of formal methods again: I'm giving tutorials at the 31st International Joint Conference on Artificial Intelligence IJCAI-ECAI 2022, the 24th International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2022, the 1st European Summer School on Artificial Intelligence ESSAI 2023, and the 27th European Conference on Artificial Intelligence ECAI 2024. Come to listen if you're close by, check out the slides and materials otherwise (IJCAI tutorial, PRIMA tutorial).
STV has finished, SpaceVote has begun: Together with Peter Y.A. Ryan, we got yet another PolLux grant on verification of voter-verifiable voting schemes. This time with a stronger focus on probabilistic model checking, plus a cosmic twist. The website of the project is here.
