 |
| |
|
[ research area ] |
|
|
@ Foundations
of Software Systems
Semantics of programming languages; Domain Theory, Synthetic Domain Theory, Type Theory (and Realizability Semantics); Program Verification
|
| |
|
[ projects ] |
|
@ Relative Completeness for Logics of Functional Programs
(EPSRC EP/I01456X/1), started Jan 2011
@ From Reasoning Principles for Function Pointers
To Logics for Self-Configuring Programs
(EPSRC EP/G003173/1) Nov 2008 - October 2011
(+ 6 months)
@ Programming Logics for Denotations
of Recursive Objects
(EPSRC GR/R65190/01) 2002-2005, PhD student Jan Schwinghammer
@ Axiomatic Semantics for Object-Oriented Languages with Local Store (Nuffield NAL/00244/A)
@ member of APPSEM (APPlied SEMantics) (subsite B'ham)
|
| |
|
[ projects at LMU ] |
|
@ HCM project MeDiCiS (Methodologies for the Development of Computer System Specifications)
@ DAAD-project Vigoni, with the University of Genoa (Italy) about Synthetic Domain Theory
@ DAAD-project Vigoni, with the University of Rome (Italy) about Denotational Semantics of Object-Oriented Languages |
| |
|
[ events ] |
|
@ Domains IX Int. Conference, 22-24 September 2008, Sussex University
@ Spring School
Categorical Methods in Logic and Comp.Sci., Munich '99
@
Types Working Group Meeting 1998, Kloster Irsee
@
Workshop Domains III-97, Munich
@
Type-Club with Thorsten Altenkirch in Munich
|
| |
|
[ links ] |
|
[ Royal Society | British Council | ARC |
EPSRC | Uni Grant Office ]
|
|
Bernhard's Research
