Publications
 Liquidity risk in derivatives valuation: an improved credit proxy method
(with Markus Hofer and Drona Kandhai)
To appear in Quantitative Finance [ PDF ]
 Algorithmic correspondence for Intuitionistic modal mucaculus
(with Willem Conradie, Yves Fomatati and Alessandra Palmigiano)
Theoretical Computer Science, Volume 564, pp. 3062, 2015. [ PDF ]
 Sahlqvist preservation for flat topological fixedpoint logic
(with Nick Bezhanishvili)
Journal of Logic and Computation, doi:10.1093/logcom/exv010 [ PDF ]
 Jònssonstyle canonicity for ALBAinequalities
(with Alessandra Palmigiano and Zhiguang Zhao)
Journal of Logic and Computation, doi:10.1093/logcom/exv041 [ PDF ]
 Generalized Sahlqvist theory for impossible worlds
(with Alessandra Palmigiano and Zhiguang Zhao)
Journal of Logic and Computation, March 2016, doi:10.1093/logcom/exw014. [ PDF ]
 Algebraic modal correspondence: Sahlqvist and beyond
(with Willem Conradie and Alessandra Palmigiano)
Journal of Logical and Algebraic Methods in Programming, doi:10.1016/j.jlamp.2016.10.006 [ PDF ]
 Subordinations, closed relations and compact Hausdorff spaces
(with Guram Bezhanishvili, Nick Bezhanishvili and Yde Venema)
Applied Categorical Structures, doi:10.1007/s1048501694342 [ PDF ]
Submitted
 An application of ALBA: relativised canonicity via pseudocorrespondence
(with Willem Conradie, Alessandra Palmigiano and Zhiguang Zhao)
Submitted
 Generalized Vietoris Bisimulations
(with Sebastian Enqvist)
Submitted [arXiv]

Talks
 Subordinations, closed relations and compact Hausdorff spaces
Topologies, Algebras and Categories in Logic (TACL 2015), Ischia, June, 2015.
 Generalized Sahlqvist theory for impossible worlds
Topologies, Algebras and Categories in Logic (TACL 2015), Ischia, June, 2015.
 Bisimulation for Stone Coalgebras
Asian Logic Conference (ALC 2015), Mumbai, January 2015.
 Duality and canonicity for Boolean algebra with a relation
 AlgebraCoalgebra Seminar, ILLC, Amsterdam, June 2014.
Topological methods in logic (ToLo IV), Tbilisi, June 2014.
 Sahlqvist preservation for topological fixed point logic
Logic and Algebra day, Department of Mathematics, Johannesburg, South Africa, January 2014.
 Algebraic logic and duality theory
ILLC Presentation skills course, Amsterdam, May 2014.
 Introduction to algebraic proof theory
AC Seminar, ILLC, Amsterdam, November, 2014.
 Algorithmic correspondence for intuitionistic modal mucalculus, Part 1
Toplogies, Algebras and Categories in Logic (TACL 2013), Nashville, USA, 28 July1 August, 2013.
 Sahlqvist preservation for topological modal fixed point logic
Algebra and Coalgebra meet Proof theory (ALCOP), 1820 April, 2013.
 Topological modal mucalculus
PhDs in Logic V, Munich, Germany,
810 April, 2013.
 Chracterizing successful formulas: the multiagent case
Indian Conference on Logic and its Applications (ICLA), Chennai, India, 1012 January, 2013.
 Duality theory in logic
Cool Logic Seminar, Amsterdam, Netherlands, 14 December, 2012.
 Ordertheoretic correspondence for intuitionistic modal mucalculus
Workshop on Lattices and Relations (LR 2013), Amsterdam, Netherlands, 1215 September, 2012.
 Algorithmic correspondence for intuitionistic modal mucalculus
Topological methods in logic (Tolo III), Tbilisi, Georgia, 2327 July, 2012.
 Algorithmic correspondence for intuitionistic modal logic
Logic Tea, Amsterdam, Netherlands, 17 April, 2012.
 Algebraic rough set theory
Master thesis presentation, IIT Kanpur, India, April 20, 2011.
