Start of topic | Skip to actions

Nikhil Swamy Short Bio

Nikhil Swamy is a Ph.D. candidate enrolled at the University of Maryland, College Park since 2002. He is a member of the Programming Languages Group at UMD and is advised by Prof. Michael Hicks. He earned his B.A. from Hampshire College in 2000 and his M.S. from UMD in 2005. His research interests include type systems, language-based security, program analysis and interactive theorem proving.

Website:

http://www.cs.umd.edu/~nswamy/
End of topic
Skip to actions | Back to top
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < r1 | More topic actions
Webs: Main | TWiki | Africa | EmbeddedSystems | Gpce | Houston | International | K12 | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211
Web Actions: home Teaching Web newtopic Create New Topic index Index searchtopic Search changes Changes notify Notifications statistics Statistics wrench Preferences
Creative Commons LicenseThis work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.