Damian Kurpiewski
About
Experience
Skills
Projects
Games
Articles
Polski
Damian
Kurpiewski
d.kurpiewski@ipipan.waw.pl
I am a teacher, programmer, scientist...
Experience
Assistant
Institute of Computer Science, Polish Academy of Sciences
January 2016 - Present
Computer Science Teacher
General Tadeusz Kościuszko High School #4 in Toruń
September 2015 - Present
Skills
Programming Languages & Tools
Projects
Teaching
Computer Science - Hard Topics in Easiest Way
https://cs-htiew.gitbook.io
Computer Science - Learn, Use, Teach
https://github.com/blackbat13/cs-lut
Algorithms in C++
https://github.com/blackbat13/Algorithms
Algorithms in Python 3
https://github.com/blackbat13/Algorithms-Python
Science
STV Model Checker
https://github.com/blackbat13/stv
ATL Model Checker - C++
https://github.com/blackbat13/ATLFormulaCheckerC
MonoSatATL Graphical Interface
https://github.com/blackbat13/MonosatATL-gui
Programming
Visul
https://github.com/blackbat13/Visul
Virus Simulation
https://github.com/blackbat13/VirusSimulation
Gry
<a href="https://blackbat13.itch.io/painter">Painter by blackbat13</a>
Articles
2021
Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.
. AAMAS 2021: 1770-1772
slides
2020
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
Multi-valued Verification of Strategic Ability
. Fundam. Informaticae 175(1-4): 207-251 (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Towards Model Checking of Voting Protocols in Uppaal
. E-Vote-ID 2020: 129-146
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Natural Strategic Abilities in Voting Protocols
. STAST 2020: 45-62
Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michał Knapik, Wojciech Penczek, Wojciech Jamroga:
MsATL: A Tool for SAT-Based ATL Satisfiability Checking
. AAMAS 2020: 2111-2113
2019
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski, Łukasz Mikulski:
Approximate verification of strategic abilities under imperfect information
. Artificial Intelligence, Volume 277 (2019)
Damian Kurpiewski, Diego Marmsoler:
Strategic logics for collaborative embedded systems
. SICS Software-Intensive Cyber-Physical Systems, Volume 34: 201-212 (2019)
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
. IJCAI 2019: 88-94
Damian Kurpiewski, Krzysztof Skowronek:
Trudne Tematy w Najprostszy Sposób: Wprowadzenie do Zmiennych
. IWE 2019: 289-297
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
On Domination and Control in Strategic Ability
. AAMAS 2019: 197-205
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
STV: Model Checking for Strategies under Imperfect Information
. AAMAS 2019: 2372-2374
2018
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
Model Checking the SELENE E-Voting Protocol in Multi-agent Logics
. E-Vote-ID 2018: 100-116
Damian Kurpiewski, Krzysztof Skowronek, Mirosława Firszt:
Trudne Tematy w Najprostszy Sposób
. IWE 2018: 244-247
Damian Kurpiewski, Krzysztof Skowronek, Mirosława Firszt:
Trudne Tematy w Najprostszy Sposób: Rekurencja
. IWE 2018: 248-252
2017
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
Fixpoint Approximation of Strategic Abilities under Imperfect Information
. AAMAS 2017: 1241-1249
Damian Kurpiewski:
Programowanie: jak uczyć, z pomocą czego i dlaczego
. IWE 2017: 95-104
2016
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
An Approach to Model Checking ATLir
. CoRR abs/1612.02684 (2016)
2015
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
Approximating Strategic Abilities under Imperfect Information: a Naive Approach
. CoRR abs/1510.06587 (2015)
Mirosława Firszt, Marlena Kamińska, Martyna Kaszlewicz, Damian Kurpiewski, Kamil Palusiński, Krzysztof Skowronek:
Propozycja Wykorzystania Systemów Blockly w Nauczaniu Informatyki. IWE 2015