Revantha Ramanayake

HD 04 21
+43 (0)1 58801-18546
Post-doctoral Researcher

Profile    Recent activities    Publications     Projects     Teaching    CV

Research Interests

  • Using proof calculi to study the properties of substructural, modal and intermediate logics (including decidability, complexity, standard completeness). I am particularly interested in the use of combinatorial arguments for decidability.

  • Proof-theoretic frameworks for variants and extensions of Gentzen sequent calculi. Developing formal embeddings between these frameworks and understanding their relative expressive powers

  • Formal logics for the provability predicate of arithmetic (provability logics)

  • Proof-systems for automated reasoning about satisfiability modulo theories (SMT)

Recent activities

  • PC Member. 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogotá (Colombia) 24-27 July 2018

  • PC Member. 23th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2018), Fortaleza (Brazil) 26-28 Sep 2018

  • Tutorial (with Björn Lellmann): General methods in proof theory for modal and substructural logics. Co-located with TABLEAUX 2017, FroCoS 2017 and ITP 2017. Brasilia, Brazil. 23rd September 2017. Slides for lectures 1 and 3.

  • Keynote lecture: Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou (China) 5-9 Dec 2016

  • Invited Speaker: 2nd International workshop on Automated Reasoning in Quantified Non-Classical Logics ARQNL 2016 (associated with IJCAR 2016), Coimbra (Portugal) 1 July 2016

  • PC Member. Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC 2016), Guangzhou (China) 5-9 Dec 2016

  • Member of the Award Committee. VCLA International Student Awards 2014, 2015.

  • PC Member. 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 20), Suva (Fiji) 24-28 Nov 2015

  • Invited Tutorial (with Björn Lellmann): "Proof-theoretical Reasoning" at the TRS Reasoning School, NAT@Logic 2015: Natal (Brazil) 31 Aug - 4 Sep 2015

  • Invited Tutorial. PhDs in Logic VII. Vienna (Austria) 14-16 May 2015 

  • Invited Plenary Speaker. 6th International Conference on Teaching Logic and Prospects of its Development, Kiev (Ukraine) 15-16 May 2014

  • PC Member. International conference on Advances in Modal Logic (AiML 2014), Groningen (Netherlands) 5-8 Aug 2014

  • PC Member. Structures and Deduction 2014, Vienna (SD14) part of the Vienna Summer of Logic 2014

  • Invited tutorial. 9th International Tbilisi Summer School in Logic and Language, Tbilisi (Georgia) 30 Sep - 4 Oct 2013 (slides)

  • OC Member. ALCOP VII, Vienna 7-9 Apr 2016

  • OC Member. Logic, Algebra and Truth Degrees 2014, Vienna (LATD 2014)

  • OC Member. Compositional Meaning in Logic 2014, Vienna [GeTFun 2.0]


  • Principal investigator. Stiftung Aktion Österreich-Ungarn. Proj. no: 92öu14. Formalisierung der Beweistheorien. 2016-2017.

  • Co-cordinator TU Wien. Transnational Funding FWF-ANR, TICAMORE: Translating and Discovering Calculi for Modal and Related logics, 2017-2020

  • EC-RISE, Marie Curie Action, Research and Innovation Staff Exchange (RISE) Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics, 2016-2019

  • Non classical proofs: Theory, Applications and Tools, FWF START prize, 2011-2017.

  • EC-IRSES, Marie Curie Action: International Research Staff Exchange Scheme (IRSES), FP7-PEOPLE-2012-IRSES, GetFUN Generalizing Truth-Functionality, 2013-2017.


  • Higher-Order Logic (185.A60). Summer semester 2016, 2017. Access to the course webpage via TISS.


Journal papers

Conference papers



I am currently a post-doctoral researcher at the Technische Universität Wien (TU Wien, Austria) funded by the FWF START project headed by Prof. Agata Ciabattoni (2012-17) and the FWF-ANR Transnational TICAMORE project (since 2017). Before this I was a post-doctoral researcher at the LIX (École Polytechnique, France) in the PSI project headed by Dr. Stéphane Graham-Lengrand and Dr Assia Mahboubi, working on a proof-theory for reasoning about satisfiability modulo theories (SMT). I completed my PhD at The Australian National University, Canberra in 2011 under the supervision of Prof. Rajeev Goré (thesis).