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
Languages:
English, Hindi, Telugu
SSH keys:
udr@gromit
udr@acws-0068
udr@CCA-132309
udr@maruti
LAPTOP-3LS23M2+udr@laptop-3LS23M2
Time zone:
Europe/London (UTC+0000)
Karma:
0 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
Joined