PHD candidate, Correct Parallel Algorithms
This project aims at creating a framework for the rapid development of correct Parallel Algorithms through the use of Computer-Aided Verification. Our research agenda includes:
- Derive novel parallel algorithms for problems in Graph Theory and Automated Verification;
- Study the correctness of Advanced Parallel Algorithms and Concurrent Data Structures;
- Invent (semi-)automated verification methods, based on Model Checking, Concolic Testing and Theorem Proving, to support Parallel Algorithm development;
- Implement tool support for parallel algorithm development and verification.
This job comes from a partnership with Science Magazine and