Daily garbage.https://en.wikipedia.org/w/index.php?ti ... =896952381
Kupferman worked in the Israel Defense Force from 1986 to 1988.
Orna Kupferman served in the Israeli defense force from 1986 to 1988
Hmm. Why has Wade changed "served in" to "worked in"? Has she perhaps not realised that for Isrealis, it is mandatory for every citizen to serve in their military, up to and including combat roles. Someone taking the time to tell this women's story, would probably have picked that up, and done better to provide useful context. At this point it is worth noting this "biography" doesn't even tell us how old the subject is.
She earned her PhD at the Technion Israel Institute of Technology in 1995.
A small issue, but if she bothered to closely read the sources and was writing for readers of Wikipedia, she would have noticed this is more correctly stated as "from The Technion (The Israel Institute of Technology)."
She was supervised by Zohar Manna.
She either can't find or isn't interested in what her PhD was about, but she does think it is relevant to namecheck her supervisor? On Wikipedia, notability is not inherited, so if there is some reason this information is relevant to the biography of this subject, it should be included. It is, of course, not normally included, because every PhD student has a PhD supervisor. It is a trivial detail without context. Is Wade including such trivia just to pad the word count?
In 1996 Kupferman joined the technical staff at Bell Labs. She moved to University of California, Berkeley in 1997, working with Donald Pederson.
was a Member of Technical Staff at Bell Labs in 1996, and was a postdoc researcher with the CAD group of U.C. Berkeley from 1997 to 1998.
It is really weird how Wade manages to distort sources, even when simply copying single sentences. She has introduced this idea this was a case of her taking a job and then moved to another one, when the source makes it clear these could have been time limited placements to fulfil specific objectives. Such sloppy writing does the subject no favours.
The words "working with Donald Pederson." do not appear in the given source at all. Assuming it is even correct, as with the PhD supervisor, readers are given no clue why this is relevant to the subject. The source gives some clue (he may be the head of this CAD group), but Wade has chosen not to include that detail. That is btw, the first opportunity Wade had to tell readers what her early research actually involved, but for some reason Wade ignored it.
In 1998 Kupferman was appointed a Senior Lecturer at the Hebrew University of Jerusalem.
As seems the usual for a Wade effort, such dry facts are dumped into the page, devoid of any context. No reason is given as to why she was appointed, why there was a shift from research to teaching, why she chose to move to Israel. It is at this point you realise Wade hasn't even uncovered other basic biographical details, like, is she actually an Israeli citizen. Was she actually born in Israel? It is worth noting here that Wade seems to know, or think she knows, because she has included this biography in the category "Israeli women scientists". Wikipedia policy of course, says do not do this unless you have provided a source in the article which backs it up. And what happened to this idea that isolating women in occupational categories is wrong? Wade conforming to the Wikipedia patriarchy? Well I never. Easily explained when you realise Wade is all about abusing Wikipedia to promote women.
She acted as Head of Computer Science from 2008 to 2011.
She served as the Head of the Computer Science Department in 2005-2007
In 2012 Kupferman was awarded an European Research Councilgrant to study high quality reactive systems.
Again, a small point, but perhaps speaks to Wade's motives - the grant is awarded to Hebrew University, with the subject named as Principle Investigator. The source used is primary, so Wade clearly isn't bothering to assess the importance, she's just scraping Google and dumping anything she finds. What she has oddly not noted given her strategy, is the size of the grant (nearly 1.5 millions Euros) or that the project ended in 2017. It was apparently successful, generating lots of papers, but we can only infer that from the primary source, given there is no secondary coverage.
She is developing formal verification and synthesis computer systems for both hardware and software.
Since the source for this was the same grant page, we can say the present tense of this statement is disputable. The sentence itself seems to be garbage, I doubt Wade is properly qualified to accurately convey this technical language.
She uses an automata theory approaches to check branching time models.
In particular, she is renowned for her work on the automata-theoretic approach to branching-time model checking and to synthesis.
Again, I highly doubt that nothing is being lost in the path between what looks to be already a potentially garbled source, via Wade, into Wikipedia. Wade also used a paper as a source, but again, I highly doubt she even has a clue what the abstract means....
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Proof rules for the verification of safety properties have been developed in the proof-based approach to verification, making verification of safety properties simpler than verification of general properties. In this paper we consider model checking of safety properties. A computation that violates a general linear property reaches a bad cycle, which witnesses the violation of the property. Accordingly, current methods and tools for model checking of linear properties are based on a search for bad cycles. A symbolic implementation of such a search involves the calculation of a nested fixed-point expression over the system's state space, and is often infeasible. Every computation that violates a safety property has a finite prefix along which the property is violated. We use this fact in order to base model checking of safety properties on a search for finite bad prefixes. Such a search can be performed using a simple forward or backward symbolic reachability check. A naive methodology that is based on such a search involves a construction of an automaton (or a tableau) that is doubly exponential in the property. We present an analysis of safety properties that enables us to prevent the doubly-exponential blow up and to use the same automaton used for model checking of general properties, replacing the search for bad cycles by a search for bad prefixes.
.....much less knows how to summarise it. This is why Wikipedia prefers secondary sources, and indeed expert editors writing about the field they are familiar with, not just writing about all science as if it is all the same thing. Note that the words branch model appear nowhere in that abstract (so it has to be assumed Wade is either delving into the guts of the paper, or is otherwise claiming expertise).
Kupferman has served as the Advisor on Gender Issues for the President of the Hebrew University of Jerusalem.
No source given. It is true as per already seen sources, but Wade's lazy/sloppy mode of editing has seen it get detached from this sentence somehow. Indeed, the source provided the exact dates, which will be useful context for later information.....
She was the Advisor on Gender Issues for the President of the Hebrew University in 2011-2013.
She has spoken about the challenges achieving gender balance in academia at the Weizmann Institute of Science.
Source is a YouTube video of the talk. Verification? Possibly not (AFAIK videos are not acceptable sources for such things). Putting verification aside, where is the evidence this talk was important? Again, we are left with the impression Wade doesn't really understand why Wikipedia expects to see secondary sourcing for certain things. She doesn't seem to understand that she doesn't get to decide by herself what to include in this Wikipedia biography (just as she doesn't get to decide for herself who deserves a Wikipedia page). Unless, as seems to be Wade's motive, the point of Wikipedia is to be some kind of LinkedIn for feminists in science.
She called for the Hebrew University of Jerusalem to end gender segregated education.
This is ridiculous. This time, amazingly, she has a third party source.....https://www.haaretz.com/.premium-hebrew ... -1.5284490
And yet what has Wade done? Massively over-simplified its content. The newspaper seems to confirm this is a pretty big deal, and the subject's role within it has been significant. It is obvious Wade lacks the will, time or indeed basic competence to recognise the difference between that sort of sourcing, and her merely finding videos on YouTube. This does a total disservice to the subject and Wade's claimed cause, because here is an example of her not doing what she claims she is aiming to do on Wikipedia. A total joke. Her Twitter followers would be ashamed, if they had the first clue how to spot the gulf between what Wade promotes herself as (new book out soon!), and what she actually does.
Kupferman was elected to the Academia Europaea in 2016.
Unusually, but perhaps because it is such a basic fact, the source matches Wade's text. But when you look at the source, it is amazing to see that Wade has, through her bizarre methodology of writing, seemingly missed the fact that the subject's research interests can apparently be split into three distinct topics, namely Formal verification, Logic in computer science and Automata on infinite objects. Again, just more evidence she probably has no clue what she is writing about, as she copypastas these Career sections.
She was also awarded the Hebrew University of Jerusalem Michael Milken Prize for long-standing Excellence in Teaching.
She was awarded the Michael Milken Prize for long-standing Excellence in Teaching.
Yet again, Wade has made assumptions not supported by the source (or not bothered to include the source which verifies this prize is awarded by this university).
Following a previously established pattern, the very next line in the same source......
She volunteers, giving encouraging talks, at high schools and drug-addiction centers.
I thought, let her self-promotion in Nature, Wade was all about including exactly this sort of rich biographical detail in Wikipedia, not just copypasting (poorly) various faculty pages?
Kupferman has served on the editorial board of Formal Methods in System Design and Logical Methods in Computer Science. She is Editor-in-Chief of ACM Transactions on Computational Logic.
Prof. Kupferman is member of the Editorial Board of the journals Formal Methods in System Design, and Logical Methods in Computer Science. She is Editor-in-Chief of the ACM Transactions on Computational Logic.
Why the implication the roles in the first sentence have ended? That is not supported by the source, despite it being used to support the idea the role in the second sentence is still true.
Overall, the usual problem. A shitty biography with clear sourcing issues, basic factual errors, serious misrepresentations and major ommissions. Clearly the product of someone working too fast, and with the wrong motives and goals. It has found its way onto Wikipedia only because Wade has a second book to sell, and she clearly needs to MAKE QUOTA at any cost.
Someone who really cared about this person getting their due recognition on Wikipedia, and was a competent Wikipedia editor, mindful of its goals and practices, could have done a far better job. Wade has saved that theoretical editor no time, because it would be quicker for that sort of editor to chuck her useless shite in the bin and start again from a scratch.