Burkhart Wolff
Professeur Université Paris-Saclay
Mail: wolff@lmf.cnrs.fr
Phone: +33 (0)1 81 87 54 42
Office: 2S59, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
My research interests are focussed on formal software engineering comprising specification and verification.
The latter covers refinement methods, code verification as well as formal testing methods. My implementations, theories and tools are developed for the Isabelle/HOL-platform. I defend the philosophical position of "Formalism" in Mathematics, Theoretical Computer Science and Software Engineering.
My research activities comprise the semantic representation of programming and specification languages by means of logical embeddings, and the development of specialised automated proof procedures. My activities in tool development also cover tool-integration aspects and the design of appropriate user-interfaces. I also work on ontological methods to assure the traceability in integrated sources of system developments.
I have a longstanding interest in the application of modeling and verification techniques in the field of computer security, operating systems and computer architecture.