Nina Pardal
Department of Computer Science
Research Associate in Computer Science Logic
N.Pardal@sheffield.ac.uk
Regent Court (DCS)
Full contact details
Nina Pardal
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Research group
-
Verification research group