ODT - THESIS TOPIC: Dániel Horpácsi: Formal descriptions of programming ...


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Thesis topic proposal

Formal descriptions of programming language frameworks

THESIS TOPIC PROPOSAL

Institute: Eötvös Loránd University, Budapest
computer sciences
Doctoral School of Informatics

Thesis supervisor: Dániel Horpácsi
Location of studies (in Hungarian): ELTE, Faculty of Informatics
Abbreviation of location of studies: ELTE

Description of the research topic:

Formal definitions of programming languages include the static and dynamic semantics in a way that allows for building language-specific development, optimization or verification tools. This research project will study which formal languages (such as matching logic or type theory) can be applied to build such tools, with a special focus on machine-checked static verification and solutions that connect high-level descriptions and low-level proofs.

Required language skills: angol
Further requirements:
Familiarity with the following subjects: formal logic, formal semantics, functional programming, formal verification.

Number of students who can be accepted: 1

Deadline for application: 2024-05-31

2024. IV. 17.
ODT ülés
Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).