Nina Pardal

Department of Computer Science

Research Associate in Computer Science Logic

N.Pardal@sheffield.ac.uk

Full contact details

Nina Pardal
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Research group

Verification research group