School of Computer Science & Software Engineering

Mark Reynolds' Home Page

Dr Mark Reynolds is a Professor in the School of Computer Science and Software Engineering at The University of Western Australia. He holds a PhD from the School of Computing in the Faculty of Engineering at the Imperial College of Science, Technology and Medicine at the University of London. He has a particular interest in the UWA Software Engineering programme and the Software Engineering research area, especially Formal Methods and Logic as applied to specification and verification of complex, reactive, distributed, real-time and/or safety-critical systems. Dr Reynolds often serves on the programme committees of International Conferences concerned with Techniques for specification and verification, he is a subject editor for the International Journal of Applied Logic and he is a member of the international Institute of Electrical and Electronic Engineer's Computer Society.

Contact details

My Timetable

Research

Honours, MSc and 4th year project supervision

2009 Semester One: unit coordinator of Human-Computer Interaction CITS3201

Official School Page for me

The Bachelor of Engineering (Software) at UWA accredited by the IEAust and the ACS CRICOS Provider Code: 00126G	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
RESEARCH	contact Mark Reynolds	Western Australian Rogaining Association Poltics 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.
(Radar Image Courtesy of the Bureau of Meterology)	HOPL consists of a 7868-strong database of computer languages, complete with 16093 bibliographic records, as well as links, reviews, samples and commentary where possible.	Industry Contacts
Advances in Modal Logic 2006 Advances 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

The Bachelor of Engineering (Software) at UWA
accredited by the IEAust and the ACS

CRICOS Provider Code: 00126G

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.

IT Skills Shortage
(and Great Employment opportunity)

Computerworld article: IT skills shortage starts in school

Computerworld article: "Survey: IT job market is hot, graduates wanted"

Labor plan to encourage more graduates and teachers in Maths and Science

RESEARCH

photo of mark

contact Mark Reynolds

Western Australian Rogaining Association

Poltics

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.

(Radar Image Courtesy of the Bureau of Meterology)

HOPL

consists of a 7868-strong database of computer languages, complete with 16093 bibliographic records, as well as links, reviews, samples and commentary where possible.

Industry Contacts

Advances in Modal Logic 2006

Advances 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