Three fully funded PhD studentships
—
filed under:
Computer Science
The department has three fully funded Ph.D. studentships on offer.
The department has recently advertised two fully funded studentships.
- "Engineering Systems Requirements for Locally Sustainable Communities" will be supervised by Dr. Ruzanna Chitchyan from Computer Science and Dr. Martin Phillips from Geography.
- "Boosting Automated Reasoning by Mining Proof Strategies" will be supervised by Dr. Neil Walkinshaw and Prof. Rajeev Raman.
In addition to those, there is also the Microsoft-funded studentship:
- "Usage of Static Analysis for Model-Checking Liveness Properties of Heap Manipulating Programs", which will be supervised by Dr. Nir Piterman.
![[The University of Leicester]](unilogo.gif)



