CS PhD position at UT-Austin@2018Fall
31277
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:
cs.utexas.edu
utopia.cs.utexas.edu
If you are interested in joining the UToPiA research group, please apply to the UT Austin PhD program:
cs.utexas.edu
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:
cs.utexas.edu
utopia.cs.utexas.edu
If you are interested in joining the UToPiA research group, please apply to the UT Austin PhD program:
cs.utexas.edu
- 4
7条回复