Name:	Dr U Ultes-Nitsche
Organisation:	University of Southampton
Department:	Electronics and Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/N23684/01 IMPROVING THE PRACTICALITY OF AUTOMATED VERIFICATION (IPAV) (P) GR/M91013/01 ABCD: AUTOMATED VALIDATION OF BUSINESS CRITICAL SYSTEMS WITH COMPONENT BASED DESIGNS (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator