Revantha Ramanayake

Room:
HD 04 21
Tel:
+43 (0)1 58801-18546
Mail:
revantha@logic.at
Function:
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

  • Committee Co-chair. VCLA International Student Awards 2018 Best Masters and Bachelors thesis award. Now open for nominations!

  • 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]

Projects

  • 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.


Teaching

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


Publications

Journal papers

Conference papers

  • From Display to Labelled Proofs for Tense Logics (with Agata Ciabattoni and Tim Lyon)
    Proc. Logical Foundations of Computer Science - International Symposium LFCS 2018. Pages 120—139, 2018.

  • Bunched Hypersequent Calculi for Distributive Substructural Logics (with Agata Ciabattoni).
    In: Eiter T., Sands D (eds) Proc. LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EPiC Series in Computing. Vol 46 Pgs 417-434. 2017.

  • Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.
    In: Olivetti N., Tiwari A. (eds) Automated Reasoning. IJCAR 2016. Lecture Notes in Computer Science. Vol 9706 Pgs 416-432. 2016.

  • Structural extensions of display calculi: a general recipe (with Agata Ciabattoni)
    Proc. WOLLIC 2013: 20th Workshop on Logic, Language, Information and Computation. Pgs 81-95. 2013.

  • Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents (with Rajeev Goré)
    Proc. AiML 2012: International Conference on Advances in Modal Logic. Pgs 279-299. 2012.

Other


Profile

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).