School
of Computer Science & Software Engineering
Mark Reynolds' Home Page
Honours,
MSc and 4th year project supervision
2009
Semester One: unit coordinator of Human-Computer Interaction
CITS3201
![]()
Advertisements
The
Bachelor of Engineering (Software) at UWA
|
Great Software Disasters Chernobyl (designers assumed that operators would not simply switch off safety systems) Three Mile Island (failure of a warning system) 1993, Lufthansa Airbus A320-200 at Warsaw Airport The Y2K bug Therac Ariane London Ambulance Service (software procurement failure) Many Others |
ASWEC 2008 (19th Australian Software Engineering Conference ) also see International Software Engineering Conferences see http://www.colket.org/confere.html |
| Mark Reynolds' PhD was supervised by Dov Gabbay whose PhD was supervised by Azriel Levy whose PhD was supervised by Adolph Fraenkel whose PhD was supervised by Kurt Hensel whose PhD was supervised by Leopold Kroeneker whose PhD was supervised by Gustav Dirichlet whose PhD was supervised by Jean-Baptiste Joseph Fourier who first discovered the Greenhouse effect in 1827. Three years later, Mark's ancestor Edmund Stirling arrived in the new colony at Fremantle and planted its first grape vine. One hundred and seventy nine years after that, Dr Reynolds stood for parliament in Australia on a platform which included prompt and necessary action on curbing humanity's significant and growing contribution to a dangerously over-fueled greenhouse effect. With the sensible voting by the good people of Australia and cooperative action around the world, perhaps the productive vines of Western Australia can survive (with our state's other natural wonders and human achievements) for another 179 years and beyond. |
|
Computerworld article: "Survey: IT job market is hot, graduates wanted" Labor
plan to encourage more graduates and teachers in Maths and Science
|
|---|---|---|
![]() |
contact Mark Reynolds
|
Western Australian Rogaining Association Note a new verb has just entered Australian English (Aug 12th
2007). To "Stanley Bruce" someone, means to vote them out of their own
seat when they are the serving prime minister. |
HOPL
|
|
|
Advances in Modal Logic 2006Advances in Modal Logic is the main international forum at which research on all aspects of modal logic is presented. The Advances in Modal Logic Initiative was founded in 1995 and the first AiML Conference was held in 1996 in Berlin, Germany. Since then the AiML Conference has been organised on an bi-annual basis with previous meetings being held in 1998 in Uppsala, Sweden, in 2000 in Leipzig, Germany (jointly with ICTL-2000), in 2002 in Toulouse, France, and in 2004 in Manchester, UK. The next conference will take place in Queensland, Australia, in 2006. |
![]() |
Australasian Association for Logic Conference 2005 |
"A mind all logic is like a knife all blade." ~ Rabindranath Tagore