University of Oxford Department of Computer Science

Dominik Wojtczak

Personal photo - Dominik Wojtczak

Dominik Wojtczak

EPSRC Post-Doctoral Research Fellow

Former Member

Themes:

Automated Verification

Completed Projects:

Trust Metrics for SPKI/SDSI

Activities

Quantitative Analysis and Verification

Back to Top