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.

Documents

• 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 available.

• Publication: Tycho Andersen and Srikanta Tirthapura, "Wireless Sensor Deployment for 3D Coverage with Constraints", Proc. International Symposium on Networked Sensing Systems, 2009 (INSS’09). pdf

  For work on this research project I was also awarded an honorable mention in the Computing Research Association’s Outstanding Undergraduate Researcher award for 2009.

Other stuff

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