Home
People
Publications
Theses
Courses
Projects
Events
Info for New Students
Reading Group
Software
Funding
FM Links
Undergraduate :: Kelvin Ku
Contact Information:
Projects Involved with:
More Information:
I am working with various compiler frameworks (e.g. Soot and CIL) in order to implement parts of a model-checker. I am finishing the fourth year of a CS degree and intend to enter grad school soon afterwards.
