Michał Knapik's Home Page

I'm a postdoctoral researcher within Polish-Luxembourg VoteVerif project co-lead by Wojtek Jamroga. I'm also an assistant professor at ICS PAS. Earlier, I have prepared and defended at ICS PAS a PhD thesis in Computer Science under supervision of Wojtek Penczek.

I'm interested in safety- and security-related aspects of Artificial Intelligence and Multi-Agent Systems. Most of my research is along the lines of specification and verification. I like both the theoretical and applied side of my work, and prefer to think of myself as an engineer with some math skills. I am always open to exciting opportunities from the industry and research community. It might sound cliché, but I do try to stay hungry, stay foolish, and love learning (albeit slowly) new things.

Contact: Michal.Knapik[LARCH]ipipan.waw.pl (put @ instead of the tree part!)

Selected Publications and Research

Most of the papers are downloadable PDFs. If you need a copy of something that is not available, please email me.

Theory of Distributed and Computing Systems Seminar

The seminar has been started by Wojtek Jamroga in 2015, I believe. The titles of the upcoming talks are always tentative and the talks are sometimes postponed or even canceled, so please send me an email if you wish to be informed in advance.

Upcoming talks

Date Title and Speaker
26.11.2020 Łukasz Mikulski (UMK), Synthesis and Analysis of Concurrent Processes in Step Sequence Semantics
17.12.2020 Włodzimierz Drabent (ICS PAS), TBA
Sometime around March '21? Konrad Iwanicki (MiM UW), TBA

Past (since March 2019)

Date Title and Speaker
22.10.2020 Wojtek Jamroga (ICS PAS and University of Luxembourg), Pretty Good Strategies for Benaloh Challenge
05.11.2020 Damian Kurpiewski (ICS PAS), Natural Strategic Abilities in Voting Protocols
1.10.2020 Yan Kim (University of Luxembourg), Towards Model Checking of Voting Protocols in Uppaal
16.07.2020 Michał Knapik (ICS PAS), Towards Reductions for Live-Reset Trees
02.07.2020 Artur Niewiadomski (UPH Siedlce), Evolutionary, symbolic, and hybrid algorithms for planning and web-service composition
4.06.2020 Damian Kurpiewski (ICS PAS), Pretty Good Strategies and How to Find Them
21.05.2020 Teofil Sidoruk (ICS PAS), A Short Overview of Partial Order Reduction
12.03.2020 Wiktor B. Daszczuk (Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych) 2 wagabundów: niewyczerpująca weryfikacja modelowa w służbie znajdowania częściowych zakleszczeń w olbrzymich systemach rozproszonych
27.02.2020 Tomasz Kuchta (Samsung R&D) Popular Testing Techniques and Tools Used in the Industry
25.11.2019 Łukasz Mikulski (UMK), Reversing Steps in Petri Nets
7.11.2019 Kamila Barylska (UMK), Reversible Computation vs. Reversibility in Petri Nets
17.10.2019 Wojtek Jamroga (IPI PAN and University of Luxembourg), Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!)
22.08.2019 Laure Petrucci (Université Paris 13), Squeezing State Spaces of (Attack-Defence) Trees
27.06.2019 Michał Knapik (ICS PAS) On Domination and Control in Strategic Ability
30.06.2019 Beata Konikowska (ICS PAS) Temporal logic for exploration systems
09.05.2019 Laure Petrucci (Université Paris 13) Minimal-Time Synthesis for Parametric Timed Automata
25.04.2019 Eryk Laskowski (ICS PAS) Równoważenie obciążenia w środowisku JPPF (ang. Java Parallel Processing Framework) z wykorzystaniem optymalizacji ekstremalnej
28.03.2019 Benjamin Bordais (ENS Rennes) Ride sharing platform vs Taxi platform: the impact on the revenue
21.03.2019 Jörg Keller (FernUniversität Hagen) Static Scheduling for Parallel Computing - Challenges, Approaches, Applications
14.03.2019 Andrzej Mizera (Univ. of Luxembourg): Divide & Control: A Decomposition-based Approach towards the Control of Boolean Networks


Under Construction.