Just in case you have wee ones at home who like to color, here are the famous women. A pity this coloring book is out of print. Technically, this is classified as “adult coloring”. Gel ink pens are recommended, whatever those are. The women (below the fold) are:
Eleanor of Aquitaine
Joan of Arc
Madame de Pompadour
Susan B. Anthony
… and…Victoria Coleman…
But you didn’t come here for the vintage women paper dolls, did you. You’re here for the Victoria Colman paper doll. Yup, she’s hidden at the end of the other pics, because of the paid editing misogynists who like to grab onto pictures of women in order to make comments about their appearance. Believe me, when you see these guys, they are no hotties.
Okay here is the Victoria Coleman paper doll I promised Rosashills, and I have a few more items about her after the pics.
The robot leggings are black transformers by Balenciaga c 2007, the original price was $100,000, and a custom pair was made for Beyonce. They are included because I couldn’t find an open source (or for that matter a copyrighted) image of Coleman down to the toes, and this can give her feet if someone wants to make a stand up cardboard doll.
So it’s starting to look more and more like she is notable, although the standards for an academic are fairly murky, and only men tend to get a free pass by the patroller boyz.
So there is a Victoria Coleman bio at Potomac Institute for Policy Studies.
There is a list of patents for Victoria STAVRIDOU-COLEMAN here. I don’t know what any of them are, but the whole list just screams ENCRYPTION. Bring on the black helicopters. There is a deletion discussion for her English Wiki article here.
But you would need an article with a book review to establish notability, and you know they only write those for men.
Her other claim to notability might be authorship of the international standard for computer manufacturing that is in her bio.
Her stuff on World Cat is listed under at least three different names. Looks like first she had to hide her gender then she had a married name. This does not happen to men, that you cannot find their life work and publications.
Here is interesting stuff about testing “Gordon’s computer”, which was an early version of the PDP-8. This was the subject of her book, using models for software testing to test models for microprocessors, before manufacturing the microprocessor on a chip. It has a case study of Gordan’s computer, with pages of mathematical proofs. Ah, and finally a downloadable paper on that.
“Formal Methods and VLSI Engineering Practice” – Oxford Academic, https://academic.oup.com/comjnl/article-pdf/37/2/96/1327491/370096.pdf by V Stavridou – 1994 – Cited by 5
UPDATE: Aaaand, a deletion discussion in French, kind of sad to see it but not really a surprise to see deletionists on fr.wiki. https://fr.wikipedia.org/wiki/Discussion:Victoria_Coleman/Suppression
ANOTHER UPDATE: Here is some additional info on the 1995 standard, “UK Ministry of Defence DefStan 00-56”
- The Practical Application Of Formal Methods To High Integrity Systems by Peter Bradley, Linda Shackleton, Victoria Stavridou, from “Directions in Safety-Critical Systems: Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993 [abstract and preview]
- [PDF] Safety-Critical Systems, Formal Methods and Standards – CiteSeerX
citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.18.7190&rep=rep1…pdf, by J Bowen – Cited by 419 Safety-Critical Systems, Formal Methods and Standards Jonathan Bowen Oxford University Computing Laboratory Programming Research Group 11 Keble Road, Oxford O X1 3QD, UK Tel: +44-865-273 838 (272574 direct) Fax:+44-865-273 839 Email: <Jonathan. Bowen@comlab.ox.ac.uk>& Victoria Stavridou Departmentof Computer Science Royal Holloway and Bedford New College University of London Egham Hill, Egham, Surrey TW20 0EX, UK T el: +44-784-434 455 (443429 direct) Fax: +44-784-443 420 Email: <victoria @cs .rh bnc .a c.u k>
S. Liu, V. Stavridou, B. Dutertre, The practice of formal methods in safety-critical systems, Journal of Systems and Software, 28 (1995) 77-87. [PDF]
DEF STAN 00-56(PART 1)Issue 2 – FTP Directory Listing ftp://ftp.iks-jena.de/pub/mitarb/lutz/standards/dstan/00/056/01000200.pdf
DEF STAN 00-56(PART 2)/Issue 2 – FTP Directory Listing ftp://ftp.iks-jena.de/pub/mitarb/lutz/standards/dstan/00/056/02000200.pdf