Current Teaching

G52IFR Autumn Semester 2012/13 Tutorials

My tutorial scripts (right click to save with .v) :

Tutorial_1.v Tutorial_2.v Tutorial_3.v Tutorial_4.v Tutorial_5.v Tutorial_6.v Tutorial_7.v Tutorial_8.v

Research

My final year (undergraduate) report

    Representing Numbers in Agda   Code(updated)

        supervised by Thorsten Altenkirch

I am currently interested in investigating quotient types (namely defining type using equivalence relations) in Type Theory using Agda.

I am a PhD student supervised jointly by Thorsten Altenkirch and Thomas Anberrée. Currently interested in Set Theory, Type Theory, Category Theory, and dependently type programming in languages like Agda.

My Own Glossary

References

Previous Teaching

G52IFR Autumn Semester 2011/12 Tutorials

Tutorial page

My tutorial scripts (right click to save) :

Tutorial_1 Tutorial_2 Tutorial_3 Tutorial_4 Tutorial_5 Tutorial_6 Tutorial_7

Tutorial_8(revision)

G52IFR Autumn Semester 2010/11 Tutorials

School of Computer Science and Information Technology

The University Of Nottingham