She's had a hard life designing weapons software for the rogue terror
superstate and then the latest kerfuffle,well really...let an old lady get
some sleep.
Name: Victoria Stavridou
Nationality: British/Greek
Email: [EMAIL PROTECTED]
Home page:http://www.csl.sri.com/~victoria/
Academic Qualifications & Experience: Victoria Stavridou holds a BSc on
Electronic Computer Systems and an MSc in the Assessment of Computer Aided
Logic Design, both from the University of Salford, UK, as well as a PhD on
Equational Specification and Verification of Digital Systems from the
University of Manchester. She joined the Computer Science Laboratory of SRI
International in 1998, as a Senior Computer Scientist, and she leads the
Dependable Systems Architecture Group. Her research interests include
safety critical systems, formal methods and dependability. She has written
extensively in these areas. Prior to joining SRI she was a Lecturer at
Royal Holloway, University of London and a Reader in Computer Science, at
Queen Mary and Westfield College, University of London. She has been
involved in several European and UK-funded research projects in the areas
of hardware verification, formal methods, and safety-critical systems.
http://www.cs.ucl.ac.uk/research/renoir/members/sri.html
http://www.sdl.sri.com/people/victoria/
Photo.
http://www.sri.com/about/clients.html
Clients list,speaks for itself I think.
Hey vicky,I may have found a long lost relative of yours,do you know a
Michael Costa?
