Florian Kammüller
Organization:
INRIA
Research Unit:
Sophia Antipolis
Project:
Everest
Position:
Postdoctoral Researcher
Phone:
(+334/04) 92 38 71 97
Fax:
(+334/04) 92 38 50 60
E-mail:
<Florian.Kammuller@sophia.inria.fr>
Research Interests
Formal Methods in Software Engineering
:
Applications of Mechanical Verification in Language Development
Combining UML and formal specification
Refinement Techniques
Security
:
Applications of Formal Techniques to security-critical applications
Security Protocols and Verification
Teaching
Security in Software Engineering
Application and Mechanization of Formal Methods in Software Engineering
Software Engineering
For more information see
my page at TU-Berlin
Publications