Overview

Extensive experience in all phases of software engineering. Special expertise in high-assurance software for secure and fault-tolerant systems. Experience includes research and development of tools, protocols, and theory for gaining assurance of software security and reliability.


Employment Experience


Professional Activities

Program Committee member and invited speaker, 1992 Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, University of Nijmegen.


Selected Publications

(download some papers here)


Education

Recent courses completed:

Note

Franklin L. Webber was formerly named Douglas G. Weber. Documents written before 1997 use his older name.




Franklin Webber's Home Page
Eutaxy.Net home
Last modified 2016-03-12.
Valid XHTML 1.0!