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)


Recent courses completed:


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 2018-08-16.
Valid XHTML 1.0!