Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD project on Verification of Efficient Algor...


view this post on Zulip 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: Mar 29 2024 at 08:18 UTC