To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

How to transfigure the Wikipedia

Would you like Wikipedia to always look as professional and up-to-date? We have created a browser extension. It will enhance any encyclopedic page you visit with the magic of the WIKI 2 technology.

Try it — you can delete it anytime.

Install in 5 seconds
4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
Great Wikipedia has got greater.
.
Leo
Newton
Brights
Milds

Marieke Huisman

From Wikipedia, the free encyclopedia

Marieke Huisman
Marieke Huisman in 2019
Born (1973-05-03) 3 May 1973 (age 50)
Utrecht, Netherlands
CitizenshipDutch
Alma materUtrecht University
Known forSoftware Reliability, VerCors toolset
Scientific career
Doctoral advisorHenk Barendregt

Marieke Huisman (born 3 May 1973, Utrecht, Netherlands[1]) is a Dutch Computer Scientist and a professor of Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group.[2]

YouTube Encyclopedic

  • 1/3
    Views:
    1 752
    560
    2 381
  • Informatic software - Marieke Huisman computer scientist - Science: It's a girl thing!
  • Taking Girls and IT Back to the Future
  • Computer scientist Paris Smaragdis on "machine listening"

Transcription

Career

Huisman graduated from Utrecht University in 1996.[3] She obtained her PhD at Radboud University Nijmegen in 2001; her dissertation, entitled Reasoning about Java programs in higher order logic using PVS and Isabelle, was supervised by Henk Barendregt.[1]

From 2001 to 2008 she worked at the INRIA Sophia Antipolis Research Centre in France, before joining the University of Twente in the Netherlands.[2] Huisman received an ERC Starting Grant in 2010[4] and an NWO Vici Grant in 2017.[5] She was awarded the Netherlands Prize for ICT Research in 2013 [6][7] and the Professor De Winter prize in 2014.[8]

Since July 2017, Huisman is a full professor at the University of Twente.[9][10][11] She held her inaugural lecture, Software Reliability for Everyone,[12] on 26 January 2021.[13]

Huisman is chair of VERSEN (VEReniging Software Engineering Nederland), the Dutch National Association for Software Engineering,[14] chairperson of The Ambassadors Network, which advises the executive board of the University of Twente on diversity policies,[15] and board member of Stichting Digitaal Burgerschap Nederland, the Netherlands Digital Citizenship Foundation [16]

Awards and honours

Year Organisation Award / Honour
2013 Dutch ICT research platform IPN and Netherlands Organisation for Scientific Research Netherlands Prize for ICT Research
2014 University of Twente Professor de Winter Prize

References

  1. ^ a b Huisman, Marieke (1 February 2001). Reasoning about Java programs in higher order logic using PVS and Isabelle (PhD thesis). Radboud University Nijmegen. ISBN 90-9014440-4.
  2. ^ Marieke Huisman (July 1996). The calculation of a polytypic parser (Master thesis). Utrecht University. CiteSeerX 10.1.1.57.6537.
  3. ^ "Verification of Concurrent Data Structures". Retrieved 26 January 2021.
  4. ^ "Vici-beurs voor Huisman en Brinkman". U today. 17 February 2017. Retrieved 26 January 2021.
  5. ^ "Netherlands Prize for ICT Research". Retrieved 26 January 2021.
  6. ^ "ICT-Prijs van € 50.000,- voor Marieke Huisman (UT)". Koninklijke Hollandsche Maatschappij der Wetenschappen. 2013. Retrieved 26 January 2021.
  7. ^ "Professor De Winterprijs" (in Dutch). University of Twente. Retrieved 26 January 2021.
  8. ^ Nieke Roos (27 March 2018). "Interview: Betere software met meer vrouwen" (in Dutch). Bits&Chips. Retrieved 26 January 2021.
  9. ^ "Westerdijk-Impuls: Extra inzet voor vrouwelijke hoogleraren" (in Dutch). University of Twente. 8 March 2018. Retrieved 26 January 2021.
  10. ^ David Redeker (2017). "Software verbindt vakgebieden" (PDF). I/O Magazine (in Dutch). IPN (ICT Research Platform Nederland). 14 (4): 18–19. Retrieved 26 January 2021.
  11. ^ Michaela Nesvarova (25 January 2018). "Software is everywhere". U today. Retrieved 26 January 2021.
  12. ^ "Inaugural lecture prof. dr. Marieke Huisman". University of Twente. Retrieved 26 January 2021.
  13. ^ "VERSEN Executive Board". VERSEN. Retrieved 26 January 2021.
  14. ^ Kuipers, Rense (15 July 2020). "Ambassadors' Network looks beyond gender". U today. Retrieved 26 January 2021.
  15. ^ "Marieke Huisman treedt toe tot bestuur" (in Dutch). Stichting Digitaal Burgerschap Nederland. Retrieved 26 January 2021.

External links

This page was last edited on 23 February 2024, at 17:48
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.
Contact WIKI 2
Introduction
Terms of Service
Privacy Policy