.I currently work at .
My publications from my University career are available for perusing.
I am currently working at home on two projects. "ParkIt", an application to help monitor visitor parking in our complex, and longer term SNIP, a code snippet library based on ideas in my thesis.
My previous lives have been as software engineer for a small startup in the knowledge management space (using javascript),
professional-networking site LinkedIn,
technical lead for a health-care startup, and developer for an
e-commerce startup.
Before that, I was an advocate for formal methods in software
development.
I worked with people at the Object-Z and RESOLVE communities, making
research techniques more practical.
I still am an advocate for formal methods, but without language and
tool support, its a losing battle.
To find out more about my professional life, visit my
profile at LinkedIn.
If you haven't joined LinkedIn, consider joining up to view a fast-growing
professional network
that can help you find interesting people and do business.