Email Gateway (Aug 22 2022 at 19:58): Email Gateway (Aug 22 2022 at 19:58):From: Peter Lammich <lammich@in.tum.de>
Funding for a PhD project on verification of efficient algorithms (in
Isabelle/HOL) is available at the University of Manchester.
Please disseminate to potentially interested students.
Short Description: This project aims at extending the current LLVM code
generator for Isabelle/HOL, and developing new tools and techniques for
the verification of efficient algorithms, down to their implementation
in LLVM.
A long description and more information is available at the following
link:
https://www.cs.manchester.ac.uk/study/postgraduate-research/research-pr
ojects/description/?projectid=21480
General information on doing a PhD at Manchester is available here
https://www.cs.manchester.ac.uk/study/postgraduate-research/
Please do not hesitate to contact me with additional questions!
Last updated: Nov 21 2024 at 12:39 UTC