User:Vkuncak
From Wikipedia, the free encyclopedia
Viktor Kuncak
A graduate student in MIT Laboratory for Computer Science. I am working on computer program analysis and program verification.
Homepage: http://www.mit.edu/~vkuncak
interaction
- This page was last modified 02:10, 27 December 2002 by Wikipedia user Vkuncak.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a US-registered 501(c)(3) tax-deductible nonprofit charity. - About Wikipedia
- Disclaimers