SQRL News
October 2007
We are delighted to announce that the IEEE Computer Society will present the 60th Anniversary Award to David Parnas and Maurice Wilkes for "Seminal Contributions to the discipline of Computing". IEEE Computer Society president Michael Williams will host a small cermony on the grounds of Cambridge University in Cambridge, England on 4th October 2007. Full details are available at: http://awards.computer.org/ana/award/viewHomepage.action
February 2007
Tony O'Callaghan joined SQRL in February 2007 on a temporary contract from the IDC. Tony is currently undertaking a Masters in Computer Science.
Wenhui Zhu (Rachel) joined SQRL from Pecking University in Beijing, Wenhui is a PhD student in Electronic Engineering & Computer Science.
September 2006
Dr. Dennis Peters joined SQRL in September 2006 for a sabbatical period (8 months) as a senior researcher. Dr. Peters is on sabbatical from Memorial University of Newfoundland, Canada.
August 2006
Dr. Mark Lawford joined SQRL in August 2006 for a sabbatical period (11 months) as senior researcher. Dr Lawford is on sabbatical from McMaster University, Canada.
Mr. Baltasar Trancon y Widemann joined SQRL from Germany. He submitted for award of PhD at the Technische Universitat Berlin in July 2006.
June 19th and 20th 2006
Prof. Pierre-Jacques Courtois visits: 'Towards a deductive approach for the safety justification of computer-based systems' and 'Computable Dependability Bounds for Large Markovian Models'.
March 6th 2006
Dr. Yuming Zhou visits: 'Defining and Validating Object-Oriented Design Metrics'.
February 27th and March 1st 2006
Prof. Jian Zhang visits: 'Satisfiability Checking -- Beyond the Propositional Logic' and 'Program Analysis and Test Data Generation'.
January 6th 2006
Prof. Spencer Smith visits: 'Is Computer Science to Software Engineering as Physics is to Civil Engineering?'
November 14th and 15th 2005
Prof. Jean-Raymond Abrial visits: 'The System Development Database' and 'Using formally defined design patterns to improve system developments'.
October 2005
Dr. Adam Balaban joins SQRL from Poland. He earned his Ph.D. from the University of Warsaw in 2002.
September 2005
Dr. Xin Feng joins SQRL from Hong Kong, P.R.C. She earned her Ph.D. from the University of Hong Kong in 2001.
July 26th 2005
Prof. Alan Wassyng visits: 'A Proposed Initiative on Software Certification'.
July 25th 2005
Dr. Mark Lawford visits: 'Timing Tolerances in Safety-Critical Software'.
June 2005
Dr. Robert Baber retires - 30th June 2005.
February 2nd 2005
Mr. Brendan Hyland and Dr. Paul Ashworth visit: 'An explorative talk on the design of a paperless aircraft maintenance system'.
February 2005
Dr. Tom Arbuckle joins SQRL from Germany. He earned his Ph.D. from Glasgow University 1992.
October 5th 2004
Prof. Jacques Carette visits: 'Testing a Computer Algebra System'.
September 16th 2004
Prof. Jesse H. Poore visits: 'Computer System Reliability Using Markov Chain Usage Models'
September 2004
Dr. Shimata Tshinanga joins SQRL from Atlanta, Georgia. He earned his Ph.D. from the Catholic University of Louvain in 1989.
July 1st 2004
Dr. Dennis K. Peters visits: 'Interface Module Specifications for Real-Time Systems'.
June 11th 2004
Dr. Donal Heffernan presents the work of the RTDC Research Group.
May 31st 2004
D.J. Chen visits: 'An overview of ongoing work at Mechatronics Lab, KTH, in the areas of systems modeling and modularization for embedded computer control systems (ECS)'.
March 30th and 31st 2004
Dr. Janusz A. Brzozowki visits: 'Trace Assertion Specifications and Automata' and 'Theory of Deterministic Trace assertion Specifications'.
March 26th 2004
David m. Weiss visits: 'Open Market Software Development'.
February 6th 2004
Prof. David L. Parnas speaks at the Globally-Distributed Software Development Conference: 'Research Reaction'.
February 2004
Dr. Sergiy Vilkomir joins SQRL from the University of Wollongony, Australia. He earned his Ph.D. from the Kharkov Polytechnic University, Ukraine in 1990.
December 6th 2003
Prof. Michael Ernst visits: 'Using simulated execution in verifying distributed algorithms'.
December 2003
Dr. Markus Clermont joins SQRL from the University of Klagenfurt, where he earned his Ph.D. in 2003.
November 17th 2003
Prof. David L. Parnas speaks at the 8th Annual Localisation Conference and Industry Showcase incorporating Localisation Europe: 'Improving the Quality of Multilingual Digital Content'.
November 2003
Dr. Ying Jin joins SQRL from Jilin University, PR China, where she also earned her Ph.D. in 2002.
July 2003
Dr. Robert Baber joins SQRL from McMaster University, Canada. Dr. Baber earned his Dr.-Ing (doctor of engineering) from the Technische Hochschule Darmstadt (now Technische Universität Darmstadt) in Darmstadt, Germany in 1994.
June 12th 2003
SQRL Seminar: Three Views of Software Engineering Education.
February and March 2003
Prof. David L. Parnas presents the SQRL Lecture Series.
November 2002
Professor David Parnas, one of the world leaders in software engineering, joins SQRL from McMaster University, Canada. Prof. Parnas earned his Ph.D. at the Carnegie Institute of Technology 1965.
