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