[CS]College of William and Mary want Motivated PHD students!

kobezhaowei · 发表于 2012-8-26 20:00:01

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.

jingyi011 · 发表于 2015-1-27 05:52:04

dhjdjejejejrje

fionasakura · 发表于 2015-1-14 09:32:53

blossom1118 · 发表于 2015-1-13 11:37:59

thanks for sharing

8su · 发表于 2015-1-8 07:00:25

thanks a lot!

qinkaiyi · 发表于 2014-11-21 22:31:56

ddddddddddddd

dianamacau · 发表于 2014-11-6 16:27:31

看看先哦~~~ BYW， thx ~

meitianandmt · 发表于 2014-10-24 13:38:03

蜂窝网呜呜呜呜呜呜呜呜呜呜呜

donsiu · 发表于 2014-7-19 23:23:39

Thank you

dccsh · 发表于 2014-7-2 00:45:33

酱油路过

[我爱CD] [CS]College of William and Mary want Motivated PHD students!

所属分类: GRE考试

正在浏览此版块的会员 ()