
Nik Sultana

Email:

nik.sultana ("at" symbol) cl.cam.ac.uk

Tel:

+44 (0)1223 763773

Fax:

+44 (0)1223 334678

Smail:

Computer Laboratory 15 JJ Thomson Avenue Cambridge CB3 0FD UK

Research Interests
 Mechanical theoremproving
 Type theory, lambda calculus
 Program/proof transformations
 Functional programming

I'm interested in improving the usefulness of computers
for building mathematical proofs. At present I'm working to interface
Isabelle
with higherorder automated proof tools. I'm also interested in programming
theory and practice.
Recent talks
 7th June, Work in progress: A prototype refactoring tool based on a mechanicallyverified core (details), at the ARG
 1st March, Roughandready proof reconstruction (details), at the ARG
 23rd November, First prototype of an Isabelle/HOLtoLeoII interface (details), at the ARG
Supervisions
 Denotational semantics
 Specification and verification
 Logic and Proof
 Concepts in Programming Languages




Some past talks
 1416th April, Introduction to Isabelle/HOL minicourse (abstract),
at the Interruption Club, University of Malta
 9th March 2010, Interfacing two similar HOLs (details), at the ARG
 30th November 2009, Logic and Automation,
at the RCSU/TCSS Symposium held at Imperial College, London
 5th August, The Peripheral Scope of Science (abstract),
at the Science in Society Conference 2009
 26th June, Logic leaps and boundaries (abstract),
at the Interdisciplinary Graduate Conference 2009
 2nd June, Solving HOL problems using FOL tools (details),
at the ARG
 9th April, Proofs are programs(?),
at the Interruption Club, University of Malta
 8th March 2009, Combining proof tools,
at the Trinity College Science Symposium
Posters
Things I've helped with
Misc.
• GH Hardy's review of Principia Mathematica is worth a read  
• A section of a Searle computing wall at the Computer Lab:


