Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Neil Ghani's Home Page
[go: Go Back, main page]
photo of Neil Ghani

Neil Ghani

Reader in Computer Science
Department of Computer Science & IT
University of Nottingham, Jubilee Campus,
Nottingham, NG8 1BB.

T: +44 (0)115 846 7668
F: +44 (0)115 951 4254
E: nxg@cs.nott.ac.uk
TFP 2008 - Extended version including Appendix
TFP 2008 Code here. Run using ghci Tfp08.hs
POPL 2008 Code here. Run using ghci Popl08.hs
HOSC 2007 Code here. Run using ghci HOSC07.hs
TLCA 2007 Code here. Run using ghci Tlca07.hs
JFP 2006 Code here. Run using ghci jfp06.hs

A Wee Potted history


Born 21.07.67, I grew up in Newcastle-Upon-Tyne, England. I studied mathematics at Pembroke College, Oxford for five years and then did my Ph.D in Computer Science at the LFCS in Scotland's beautiful capital, Edinburgh. I then spent a year continuing the research of my thesis in Paris at the Ecole Normale Superieur in the DMI. Having sampled the delights of Paris, I returned to work as a Research Fellow on the xSLAM project in the University of Birmingham before accepting a position as Lecturer in the Dept. of Maths and Computer Science at the University of Leicester. In September 2005, I took up a new position in the Foundations of Programming group at the University of Nottingham where I am now a Reader. You can find more about my research and the other things that interest me in the following links. You can also get my cv here.

Research

Research Themes

My research interests range from pure mathematics, through theoretical computer science and into more applied areas such as functional programming, computational algebra and artificial intelligence.

Grant Income

  • Eta-Expansions in Dependent Type Theory. The Royal Society of London 2,500

  • Eta-Expansions in Dependent Type Theory. EUROFOCS 10,000

  • Categorical Rewriting: Monads and Modularity. EPSRC 50,000

  • Kan - A Categorical approach to Computer Algebra. EPSRC 130,000

  • Coalgebra and Recursion. The Royal Society of London 6,000

  • BCTCS 2003. The London Mathematical Society 4,000

  • Midlands Graduate School 2004 - 2006 EPSRC 12,000

  • Theory and Applications of Containers. EPSRC 230,000

PhD Students

Want a PhD?

I am always looking for students who wish to study for a PhD by applying categorical methods to problems in computer science. If you are interested in such a course of study, then send me an email and we can discuss this further.

Teaching

G51FUN - Functional Programming 2007/8

G53IDS - Individual Project 2007/8

G53IDS - Individual Project Suggestions for 2008/9 . See also 2007/8 for general info on projects.

G51PRG - PRG 2007/8

Events

Midlands Graduate School

I was the Director (2003-2006) of the Midlands Graduate School which aims to

  • Provide PhD students with a broad education in state-of-the-art techniques and issues in the Foundations of Computing Science, and training in the skills needed to conduct research in the modern world.

  • Give young PhD students the opportunity to meet other students working in similar fields and at a similar stage in their careers.

Foundations of Programming Seminars

I am in charge of the seminar series of the Foundations of Programming group. More details can be hound here

Campus Map

If you are visiting me or the group, you can find a map of our campus here. We are building 4 and my office is B35 on the first floor

Playtime

  • If you like footie, then you could do alot worse than support Newcastle United Football Club. Guaranteed to snatch defeat from the jaws of victory. The 20th October 1996 was an exception.

  • For something to read have a look at Rebel Inc, publishers of the now rather trendy novel Trainspotting , "A wickedly witty, yet irredeemably sad book, its author takes us on a Hell tour of those psychic ghettos which are the stamping grounds for junkies, boozers, no-hopers and losers."

  • You'll never-ah get better-ah than The Fall-ah for music. Lead singer Mark Smith's such a sweet lad as well. Nice to see someone with a positive attitude to life. Walking-along, signing-a-song. That sort of thing.

  • Other bands worth a moment of your time are

  • If you like games, then try Go . As they say, minutes to learn, a life-time to master. I'm a British 1-Dan which means I'm not really very good at all. Check the British Go Association for details of clubs, players, tournaments in Britain.


  • Young Dr Luth in an ecstasy of bliss. Oh the joy!



  • Resistance is futile! Future plans for Microsoft expansion demonstrated here here and here



  • Why do Americans elect idiots as their president?

    Of course the 43rd President of the USA , is an exception.



  • Say no more. Freedom, democracy and liberation reduced to rape, torture and murder. As a paliative to the dumbed-down, self-censorship of the mainstream media, here is a link where independent thought still is practised.


Author: Neil Ghani (nxg@cs.nott.ac.uk)
Any opinions expressed on this page are those of the author.