Home Page of D. Gift Samuel

Talk in AVoCS 2008 Glasgow ( PDF)

Talk in BCTCS 2007 at St. Anne's College(Oxford University), Oxford ( PDF)

My two 90-minutes talks on Catgory Theory in Hauptseminar ( PDF )

My slides on How To Prove it

My slides on ICS
My slides on PCC & Logic for Java Bytecode

Master's Thesis presentation slides on Authentification Protocol ( pdf format)& Secure Information Flow ( pdf format)&
ATD(Abstract Timing Diagrams) slides-> (for now click this)

Some slides and photos are available in my current project diary .
Email id: csgs AT swansea DOT ac DOT uk


D. Gift Samuel
1, Kemble Street,
Brynmill, Swansea,