Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
David Fernández-Duque
Profile
Projects
Publications
Activities
Awards & Distinctions
Results
:
ALL
(
3
)
Order By :
Chronological by starting year (new to old)
Title (a-z)
Chronological by starting year (new to old)
As
Administrative supervisor
18 December 2020 → 21 September 2025
Doctoral project Oriola Gjetaj
Doctoral researcher: Oriola Gjetaj
09 November 2020 → 21 September 2025
Doctoral project Konstantinos Papafilippou
Doctoral researcher: Konstantinos Papafilippou
As
Copromotor
01 November 2023 → 31 October 2026
Duality theory for verification formalisms
Fellow: Brett McLean
Funding: Research Foundation - Flanders (FWO)