EPSRC logo
Researcher Details
Name: Dr DK Wojtczak
Organisation: University of Liverpool
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/X03688X/1 TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development(C)
EP/X017796/1 Below the Branches of Universal Trees(C)
Previous EPSRC Support
EP/P020909/1 Solving Parity Games in Theory and Practice(C)
EP/M027287/1 Energy Efficient Control(C)
EP/G050112/2 Trust metrics for SPKI/SDSI(P)
EP/H046623/1 Synthesis and Verification in Markov Game Structures(C)
EP/G050112/1 Trust metrics for SPKI/SDSI(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator