Jakub Michaliszyn A photo

My CV (pdf). In short:
Currently, an Adiunkt and a Deputy Head of the Institute at the Univeristy of Wrocław.
Three years as a postdoc at Imperial College London.
PhD in Computer Science since 2012.

Contact: jakub.michaliszynat gmailgmail.com.


Papers (Scholar)
I. Verification
  1. Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions, Alessio Lomuscio and Jakub Michaliszyn, KR 2016.
  2. Verification of Multi-Agent Systems via Predicate Abstraction against ATLK specifications, Alessio Lomuscio and Jakub Michaliszyn, AAMAS 2016.
  3. Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions, Alessio Lomuscio and Jakub Michaliszyn, AAMAS 2015.
  4. Decidability of model checking multi-agent systems against a class of EHS specifications, Alessio Lomuscio and Jakub Michaliszyn, ECAI 2014.
  5. An abstraction technique for the verification of multi-agent systems against ATL specifications, Alessio Lomuscio and Jakub Michaliszyn, KR 2014.
  6. Model Checking Unbounded Artifact-Centric Systems, Alessio Lomuscio and Jakub Michaliszyn, KR 2014.
  7. An Epistemic Halpern–Shoham Logic, Alessio Lomuscio and Jakub Michaliszyn, IJCAI 2013.
II. Modal and interval temporal logic
  1. On the Decidability of Elementary Modal Logics, Jakub Michaliszyn, Emanuel Kieroński and Jan Otop, ACM TOCL 2015.
  2. The Undecidability of the Logic of Subintervals, Jerzy Marcinkowski and Jakub Michaliszyn, Fundamenta Informaticae 2014.
  3. Elementary Modal Logics over Transitive Structures, Jakub Michaliszyn and Jan Otop, CSL 2013.
  4. Decidability of modal logics with particular emphasis on the interval temporal logics, PhD thesis, 2012.
  5. Satisfiability vs. Finite Satisfiability in Elementary Modal Logics (journal version), Jakub Michaliszyn, Jan Otop and Piotr Witkowski, in review.
  6. Satisfiability vs. Finite Satisfiability in Elementary Modal Logics, Jakub Michaliszyn, Jan Otop and Piotr Witkowski, GANDALF 2012.
  7. Finite Satisfiability of Modal Logic over Horn Definable Classes of Frames, Jakub Michaliszyn and Emanuel Kieroński, AIML 2012.
  8. Decidable Elementary Modal Logics, Jakub Michaliszyn and Jan Otop, LICS 2012.
  9. Modal Logics Definable by Universal Formulas with Three-Variables, Emanuel Kieroński, Jakub Michaliszyn and Jan Otop, FSTTCS 2011.
  10. The Ultimate Undecidability Result for the Halpern-Shoham Logic, Jerzy Marcinkowski and Jakub Michaliszyn, LICS 2011.
  11. B and D are enough to make the Halpern-Shoham logic undecidable, Jerzy Marcinkowski, Jakub Michaliszyn and Emanuel Kieroński, ICALP 2010.
III. First-order logic
  1. Two-variable Universal Logic with Transitive Closure, Emanuel Kieroński and Jakub Michaliszyn, CSL 2012.
  2. Two-variable First-Order Logic with Equivalence Closure (journal version), Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann, and Lidia Tendera, SIAM Journal on Computing 2014.
  3. Two-variable First-order Logic with Equivalence Closure, Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann and Lidia Tendera, LICS 2012.
  4. Decidability of the Guarded Fragment with the Transitive Closure, Jakub Michaliszyn, ICALP 2009.
  5. Konstrukcje PDL w logice ze strażnikami (in Polish), Jakub Michaliszyn, MSc thesis, 2008.
IV. Others
  1. Querying Data Graphs with Arithmetical Regular Expressions, Maciej Graboń, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek, IJCAI 2016.
  2. On Injective Embeddings of Tree Patterns, Jakub Michaliszyn, Anca Muscholl, Sławek Staworko, Piotr Wieczorek, Zhilin Wu, 2012.
  3. The cost of being co-Büchi is nonlinear, Jerzy Marcinkowski and Jakub Michaliszyn, 2009.

PC Memberships
  1. ECAI'16
  2. SR'16
  3. IJCAI'16
  4. IJCAI'15
  5. AAMAS'15
  6. AIML'14
  7. ECAI'14
  8. LogIC Seminar (2013-2015)