- Computational Logic and Declarative Programming Languages,
- Automated and Interactive Proovers,
- Higher-order Theorem Provers and Coq in particular;
- Induction and Coinduction, Recursion and Corecursion in logic and functional programming,
- Logic Programming, especially its Parallel and Corecursive dialects,
- Logic Programming in Type Inference,
- Categorical Logic and Categorical Semantics of Computations,
- Coalgebraic semantics of logic programming,
- Proof Theory and Sequent Calculi,
- Applications of Statistical Machine Learning in Formal methods and Computational Logic.

EPSRC grant

**Coalgebraic Logic Programming for Type Inference: parallelism and corecursion for a new generation of programming languages**, 2013-2016. Joint with John Power, University of Bath.SICSA Industrial "Proof of Concept" grant

**Machine-Learning for Industrial Theorem Proving**, 2013-2014. Joint with Jonathan Heras.-
EPSRC First Grant scheme; project title

**Machine-Learning Coalgebraic Automated Proofs**, 2012-2014. -
EPSRC Postdoctoral Research Fellowship in Theoretical Computer Science; project title and web-page

**Computational Logic in Artificial Neural Networks**, 2008-2011.

I did my first postdoc in INRIA Sophia-Antipolis, France. For 13 months, I had a pleasure to be a member of the Research Team Marelle. Marelle is one of the world's leading research units for development of automated higher-order proof assistant Coq. My Postdoc was entitled Automatic Proofs for Recursive and Co-recursive Formal Descriptions of Algorithms. PI: Yves Bertot. Funded by INRIA CORDI Fellowship Scheme.

- April 2013. SICSA workshop grant for “Automated Reasoning Workshop” ARW’13, 11-12 April 2013, University of Dundee.
- April 2013. British Logic Colloquium workshop grant for ARW’13.
- June 2011. SICSA Workshop grant for organisation of the workshop “Scottish Theorem Proving”, University of Dundee, 12 June 2011.
- July-August 2010, School of Computing, U. of Dundee. SICSA-funded grant ``Distinguished Academic Visitor", for Dr John Power, Bath, UK.
- October 2009, School of Computer Science, University of St Andrews. Co-author of the SICSA-funded grant ``Distinguished Academic Visitor", for Prof. Kai-Uwe Kuehnberger, Osnabrueck, Germany.
- 2005 -- 2007, Department of Mathemaics, University College Cork: Royal Society/Royal Irish Academy grant
``Category theory for natural models of computation'',
**PI**s: Dr John Power, Laboratory for Foundations of Computer Science, University of Edinburgh, UK, and Dr Anthony Seda, Department of Mathematics, University College Cork, Ireland.

I did my PhD at the Department of Mathematics,

University College, Cork (UCC), Ireland.

My PhD thesis is entitled Learning and Deduction in Neural Networks and Logic, 2007.