|
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 theorem-proving
- 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 higher-order 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 mechanically-verified core (details), at the ARG
- 1st March, Rough-and-ready proof reconstruction (details), at the ARG
- 23rd November, First prototype of an Isabelle/HOL-to-LeoII interface (details), at the ARG
Supervisions
- Denotational semantics
- Specification and verification
- Logic and Proof
- Concepts in Programming Languages
|
|
|
|
Some past talks
- 14-16th 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:
|
 |
|
