PhD Thesis

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.

My Viva took place on 29^th of June, 2007. The examining committee made a decision to award me with the Degree

of a Doctor (PhD) of Mathematics.

INRIA Postdoc

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.