Damian Kurpiewski

Experience

Skills

Projects

Teaching

• Computer Science - Hard Topics in Easiest Way
  https://github.com/blackbat13/CS-HTiEW
• 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
• Practical Python
  https://github.com/blackbat13/PracticalPython

Science

• STV Model Checker
  https://github.com/blackbat13/ATLFormulaChecker
• STV Graphical Interface
  https://github.com/blackbat13/StraTegicVerifier
• 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

Articles

• 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
• 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
• 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
• 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
• Wojciech Jamroga, Michał Knapik, Damian Kurpiewski:
  An Approach to Model Checking ATLir. CoRR abs/1612.02684 (2016)
• 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