Uday Reddy

I am a developer/maintainer of ViewMail (aka VM) package of Emacs.

In my day job, I am a Professor of Computer Science at the University of Birmingham. I specialize in theory of programming, including programming language principles, programming logics, and tools for program development and verification.

My home page is at http://www.cs.bham.ac.uk/~udr.

User information

Launchpad Id:
reddyuday
Email:
Log in for email information.
Member since:
2008-04-18
Icon of Launchpad Beta Testers
SSH keys:
udr@gromit
udr@acws-0068
udr@maruti
Languages:
English, Hindi, Telugu
Time zone:
Europe/London (UTC+0100)
Karma:
399 Karma help

All assigned blueprints Assigned blueprints

Headers-only messages in a VM folder have only their headers stored in the folder. The bodies of the messages are stored somewhere externally and fetched on demand.

All memberships Latest memberships

Joined on 2012-02-01
Joined on 2009-11-20