CS PhD position at UT-Austin@2018Fall

The UT program analysis (UToPiA) research group, directed by Dr. Isil Dillig, is seeking ambitious, self-motivated PhD students to join the group starting Fall 2018.

Research Areas:
- Program analysis and verification. Analyze software behavior to automatically uncover subtle bugs and security vulnerabilities.
- Program synthesis. Develop intelligent agents that can automatically write programs based on formal or informal specifications (e.g., input-output examples)
- Automated logical reasoning. Develop solvers to automate reasoning in different logics.

Bio
Dr. Isil Dillig is an Associate Professor of Computer Science at the University of Texas at Austin. She received all of her degrees (BS, MS, PhD) from Stanford University. She is a Sloan Fellow and a recipient of several other prestigious awards, such as an NSF CAREER award and multiple best paper awards.

For more information, please visit the following URLs:
http://www.cs.utexas.edu/~isil/
http://utopia.cs.utexas.edu/

If you are interested in joining the UToPiA research group, please apply to the UT Austin PhD program:
https://www.cs.utexas.edu/faq/graduate

语言要求是多少呢

How about the requirement of TOEFL/GRE test?

本科毕业可直拨申请加入吗

泡泡111 发表于 2017-9-4 13:32
语言要求是多少呢

https://www.cs.utexas.edu/faq/graduate

pentium 发表于 2017-9-4 22:32
. 1point 3 acresHow about the requirement of TOEFL/GRE test?

https://www.cs.utexas.edu/faq/graduate

mick233 发表于 2017-9-4 23:06
本科毕业可直拨申请加入吗

本科毕业可以申请的

For any questions regarding our research group, please contact Dr. Dillig at
isil@cs.utexas.edu