Roman Kuznets's Homepage
Upcoming Events
Short Bio
From November 2024, I am a Scientist in the Department of Theoretical Computer Science of the Institute of Computer Science at the Czech Academy of Sciences.
I am the principal investigator of the 5.5-year FWF-funded project ByzDEL: Reasoning about Knowledge in Byzantine Distributed Systems hosted at the Embedded Computing Systems Group (E191–02) in the Institute of Computer Engineering (E191) at the Faculty of Informatics of TU Wien (formerly translated as the Vienna University of Technology).
I am interested in fault-tolerant distributed systems, modal logic, dynamic epistemic logic, structural proof theory, interpolation, and justification logic.
Below are links to my CV and professional profiles.
CV and Professional Links
Past Events
Prague CELIA Workshop 2023
5–7 October 2023: Talk by Rojo Randrianomentsoa
5–7 October 2023: Talk by Rojo Randrianomentsoa
Complex Conclusion based on joint work with Hans van Ditmarsch and myself
Prague CELIA Workshop 2023
5–7 October 2023: Talk by Roman Kuznets
5–7 October 2023: Talk by Roman Kuznets
Simplicial Introduction based on joint work with Hans van Ditmarsch and Rojo Randrianomentsoa
MOSAIC Workshop 2023
27–29 September 2023: Talk by Roman Kuznets
27–29 September 2023: Talk by Roman Kuznets
Intuitionistic S4 and its decidability based on joint work with Marianna Girlando, Sonia Marin, Marianela Morales, Lutz Straßburger
FroCoS 2023
20–22 September 2023: Talk by Giorgio Cignarale
(Session: Decidable fragments)
20–22 September 2023: Talk by Giorgio Cignarale
(Session: Decidable fragments)
Logic of Communication Interpretation: How to not get lost in translation based on joint work with Giorgio Cignarale, Hugo Rincon Galeana, Ulrich Schmid, and myself
TABLEAUX 2023
18–21 September 2023: Talk by Iris van der Giessen
(Session: Sequent calculi)
18–21 September 2023: Talk by Iris van der Giessen
(Session: Sequent calculi)
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation based on joint work with Raheleh Jalali and myself
TABLEAUX 2023
18–21 September 2023: Invited talk
18–21 September 2023: Invited talk
Always Look on Both Sides of Proof: Syntax and semantics as the yin and yang of structural proof theory
GandALF 2023
18–20 September 2023
Talk by Rojo Randrianomentsoa
(Session 2: Concurrency and process semantics)
18–20 September 2023
Talk by Rojo Randrianomentsoa
(Session 2: Concurrency and process semantics)
On Two- and Three-valued Semantics for Impure Simplicial Complexes based on joint work with Hans van Ditmarsch and myself
SILFS 2023
4–7 September 2023: Talk by Marianna Girlando
4–7 September 2023: Talk by Marianna Girlando
Decidability of Intuitionistic S4: A labelled approach based on joint work with Sonia Marin, Marianela Morales, Lutz Straßburger, and myself
Workshop on Proof Theory and its Applications
10–14 July 2023: Talk by Marianela Morales
10–14 July 2023: Talk by Marianela Morales
To Prove or Not to Prove That IS4 based on joint work with Marianna Girlando, Sonia Marin, Lutz Straßburger, and myself
Dagstuhl Seminar Epistemic and Topological Reasoning in Distributed Systems
2–7 July 2023: Rump Talk by Hugo Rincon Galeana
2–7 July 2023: Rump Talk by Hugo Rincon Galeana
Logic of Hidden Intentions based on joint work with Giorgio Cignarale, Ulrich Schmid, and myself
Dagstuhl Seminar Epistemic and Topological Reasoning in Distributed Systems
2–7 July 2023: Talk by Rojo Randrianomentsoa
2–7 July 2023: Talk by Rojo Randrianomentsoa
On Simplicial Semantics based on joint work with Hans van Ditmarsch and myself
Dagstuhl Seminar Epistemic and Topological Reasoning in Distributed Systems
2–7 July 2023: Talk by Roman Kuznets
2–7 July 2023: Talk by Roman Kuznets
Impure Simplicial Complexes: Local view based on joint work with Hans van Ditmarsch and Rojo Randrianomentsoa
Dagstuhl Seminar Epistemic and Topological Reasoning in Distributed Systems
2–7 July 2023: Talk by Krisztina Fruzsa
2–7 July 2023: Talk by Krisztina Fruzsa
Epistemic analysis of the FR(R) problem based on joint work with Ulrich Schmid and myself
LICS 2023
26–29 June 2023: Talk by Lutz Straßburger
26–29 June 2023: Talk by Lutz Straßburger
Intuitionistic S4 is decidable based on joint work with Marianna Girlando, Sonia Marin, Marianela Morales, and myself
DPFO 2023: Decision Problem in First-Order Logic
24–25 June 2023: Talk by Marianela Morales
24–25 June 2023: Talk by Marianela Morales
A Proof-Theoretic Decision Procedure for Intuitionistic S4 based on joint work with Marianna Girlando, Sonia Marin, Lutz Straßburger, and myself
Logica 2023
18–22 June 2023: Talk by Roman Kuznets
18–22 June 2023: Talk by Roman Kuznets
Decidability of Intuitionistic S4 based on joint work with Marianna Girlando, Sonia Marin, Marianela Morales, and Lutz Straßburger
Logic Colloquium 2023
5–9 June 2023: Talk by Iris van der Giessen
5–9 June 2023: Talk by Iris van der Giessen
Proving uniform interpolation via multicomponent sequent calculi based on joint work with Raheleh Jalali and myself