About Tycho Andersen
I am a grad student at UW-Madison, working with Prof. Tom Reps. My areas of
interest generally lie in the systems/PL world. I look like this.
- CV: pdf
- Publication: A. Thakur, J. Lim, A. Lal,
A. Burton, E. Driscoll, M. Elder, T. Andersen, and T. Reps,
"Directed Proof Generation for Machine Code", Proc.
Computer-Aided Verification, 2010 (CAV'10).
There are conference and tech report versions
Publication: Tycho Andersen and Srikanta
Tirthapura, "Wireless Sensor Deployment for 3D Coverage with
Constraints", Proc. International Symposium on Networked Sensing
Systems, 2009 (INSS09). pdf
For work on this research project I was also awarded an honorable
mention in the Computing Research Associations Outstanding
Undergraduate Researcher award for 2009.
You can find my personal homepage here.
I am also an active member of the open source community. Periodically, I write
howtos, software, or other things. These are all available here.
Last edited: 2010-08-05