- UID
- 718283
- 在线时间
- 小时
- 注册时间
- 2012-2-6
- 最后登录
- 1970-1-1
- 主题
- 帖子
- 性别
- 保密
|
http://www.cs.wm.edu/~idillig/
My main research interests are program analysis and verification, formal methods, and automated logical reasoning. The overarching goal of my research is to make software systems more reliable, secure, and easier to build in a robust way. I am looking for motivated PhD students to work with! If you share my research interests, enjoy doing theoretical work with practical and useful applications, and like building software systems, then please do not hesitate to contact me!
http://www.cs.wm.edu/~tdillig/ I am looking for talented students interested in static analysis, verification or automated reasoning.
If you are interested, send me an email.
http://www.cs.wm.edu/~liqun/
perating systems, algorithms, networking, security and privacy in the context of pervasive, mobile, wireless computing systems.
|
|