Dr. Ian J. Davis
CONTACT
| Home: | 1-519-884-1629 |
| Fax: | 1-519-886-2496 |
| Email: | ijdavis@uwaterloo.ca |
PROFILE
Emigrated to Canada 1976 from London (England), married with two
adult children. Retired May 2018.
BIOGRAPHY
B.Sc Hons (1971-1974) in Computer Science with Mathematics from
Royal Holloway College,
London University (U.K) (Supervisor Mary Bradburn [deceased])
M.Sc. (1980-1982) in Computer Science from
University of Toronto (One year part time)
(Supervisor:
Ric Holt [deceased])
Ph.D (1984-1988) in Computer Science from
University of Waterloo (One year part time) (Supervisor:
David Taylor)
RETURN TO SCHOOL
| Location | Term | Course | Instructor | Description |
|---|
| UofW | 2018 Fall | QIC 710 | Jon Yard | Introduction to Quantum Information Processing |
| UofW | 2019 Winter | Q1C 890 | Richard Cleve | Entanglement and Non-local Effects |
| UofW | 2019 Fall | NE 232 | Shirley Tang | Quantum Mechanics |
| UofW | 2020 Winter | QIC 895 | Achim Kempf | Programming Quantum Computers |
| UofW | 2020 Fall | AMATH 673 | Achim Kempf | Quantum Theory 2 |
| UofW | 2021 Winter | QIC 845 | Joseph Emerson | Open Quantum Mechanics (Audit) |
| UofW | 2022 Winter | AMATH 231 | Achim Kempf | Vector Calculus and Fourier Transforms |
| UofW | 2022 Fall | NE 241 | Amir Borji | ElectoMagnetism |
| UofW | 2023 Spring | QIC 823 | David Gosset | Quantum Algorithms |
| UofW | 2023 Fall | QIC 890 | Na Young Kim | Quantum Machine Learning |
| P.I. | 2024 Winter | PSI 639 | Lucien Hardy | Quantum Foundations |
| P.I. | 2024 Winter | PSI 635 | Eduardo Martin-Martinez | Quantum Information |
| P.I. | 2024 Winter | PSI GPT | Alexander Wilce | Generalized Probability Theories |
| P.I. | 2024 Winter | PSI 777 | Mohamed Hibat Allah | Machine Learning |
| P.I. | 2024 Fall | PSI 605 | Bindiya Arora | Quantum Theory |
STARTUPS
President and owner
Dealers Choice Software
Developer and owner
The MSQ database engine
LANDLORD
43 High Street, Waterloo, Ontario
42 Columbia Street, Waterloo, Ontario
44 Columbia Street, Waterloo, Ontario
PAST EMPLOYERS
Research Associate
Waterloo Formal Methods Research Group
University of Waterloo
200 University Avenue West
Waterloo, Ontario N2L 3G1
CANADA
Research Associate
Software Architecture Research Group
University of Waterloo
Lead Developer
ImageMAT Annotation Tool
MARGOT
Research Associate and Lab Manager
Database Research Group
Research Project Manager
Center for New OED and Text Research
STANDARDS WORK
Received INCITS H2 SQL/XML 2007 Team Award
USA Voting Member on WG3 SQL committee. 2004
USA Voting Member on H2 SQL/XML. 2003
Contributed to advancing the SQL/MM standard 1994-1997
PUBLICATIONS
- Bryan Muscedere, Robert Hackman, Davood Anbarnam, Joanne Atlee, Ian Davis and Michael Godfrey
Detecting feature-interaction symptoms in automotive software using lightweight analysis
Research track of the 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), to be held in Hangzhou, China, February 24-27, 2019.
- Ian Davis
Unsupervised Anomalous Data Space Specification
Submitted to arxiv.org as an unpublished paper.
Category: Computer Science/Machine Learning
http://arxiv.org/abs/1810.08309
- Ian Davis, Mike Wexler, Cheng Zhang, Ric Holt
Bash2py: A Bash to Python Translator
Accepted to the industrial track of
International Conference on Software Analysis, Evolution, and Reengineering
SANER 2015. March 1-7 2015.
- Haroon Malik, Ian J. Davis, Michael W. Godfrey, Douglas Neuse, Serge Mankovskii
Detecting Discontinuities in Large-Scale Systems
7th IEEE/ACM International Conference on Utility and Cloud Computing
UCC 2014 December 8th-11th, London, UK
- Haroon Malik, Ian J Davis, Michael W. Godfrey, Douglas Neuse, Serge Mankovskii
Connecting the dots: anomaly and discontinuity detection in large-scale systems
Journal of Ambient Intelligence and Humanized Computing volume 7, pages 509522 (2016)
- Ian Davis, Ric Holt, Ron Mraz
Fact Extraction from Bash in Support of Script Migration
Accepted to the Industrial track of
European Conference on Software
Maintenance and Reengineering (CSMR) and
The Working Conference on Reverse Engineering (WCRE)
February 3-6 2014, Antwerp, Belgium
Presentation
- Ian Davis, Hadi Hemmati, Ric Holt, Michael Godfrey, Douglas Neuse, Serge Mankovskii
An Empirical Investigation of
An Adaptive Utilization Prediction Algorithm
23rd Annual International Conference on Computer Science and Software Engineering
CASCON 2013
Markham, Ontario.
November 18-20th, 2013
- Ian Davis, Hadi Hemmati, Ric Holt, Michael Godfrey, Douglas Neuse, Serge Mankovskii
Storm Prediction in a Cloud
5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)
May 26th, 2013 San Francisco, USA
- Ian Davis, Michael Godfrey, Ric Holt, Serge Mankovskii, Nick Minchenko
Analyzing Assembler To Eliminate Dead Functions: An Industrial Experience
16th European Conference on Software Maintenance and Reengineering (CSMR)
March 27-30, 2012 Szeged, Hungary
- Olga Baysal, Ian Davis, Michael Godfrey
A Tale of Two Browsers
8th Working Conference on Mining Software Repositories (MSR)
May 21-22, 2011, Waikiki, Honolulu, HI, USA
- Ian Davis, Michael Godfrey
From Whence It Came:
Detecting Source Code Clones by Analyzing Assembler
17th Working Conf. on Reverse Engineering (WCRE)
13-17 October 2010, Boston, USA
- Ian Davis, Michael Godfrey
Clone detection by exploiting assembler (Position Paper)
International Workshop on Software Cloning IWSC 2010
Co-located with ISCE 2010 Cape Town, South Africa
Supporting Powerpoint Presentation
May 8, 2010
- Sarah Nadi, Ric Holt, Ian Davis, Serge Mankovskii
DRACA: Decision Support for Root Cause Analysis and Change Impact Analysis
for CMDB's.
Best Paper, Cascon 2009. November 2-5, 2009
-
Wild and Crazy Idea Session Not Accepted
September 2009
- N. Syntskyy, R.C. Holt, I. Davis
Browsing software architectures with LSEdit
Proceedings IWPC 2005. 13th International Workshop on Program Comprehension.
15-15 May 2005. Pages 176-178.
-
I.J. Davis
Integrating XPath with SQL
Presented to XML 2002 Conference - Baltimore
Submitted to: International Journal of Computer, Science and Engineering
February 25th, 2003
- Ian Davis, Tim Snider, David Toman and Grant Weddell
Query Processing for Embedded Control applications
Proc. Databases in Telecommunications, 2001
-
M. Brisebois and I.J. Davis
HQP: la gestion et l'integration des donnees relationnelles et textuelles
L'expertise informatique 3, 1, 1997 pp. 8-13.
-
L.J.Brown, M.P.Consens, I.J.Davis, C.R.Palmer, and F.W.Tompa,
A Structured Text ADT for Object-Relational Databases
Theory and Practice of Object Systems,
accepted February 1998, 29 pp.
- G.E.Blake, M.P.Consens, I.J.Davis, P.Kilpeläinen, P.-A.Larson, E. Kuikka, T.Snider, and F.W.Tompa
``Text / Relational Database Management Systems: Overview and Proposed SQL Extensions,''
Department of Computer Science, University of Waterloo,
Technical Report CS-95-25,
June 1995, 28 pp.
- I. J. Davis
Adding Structured Text to SQL/MM Part 2: Full Text
Department of Computer Science, University of Waterloo,
SQL/MM Change Proposal LHR-24, CAC WG3 N334R2,
February 12, 1996, 42 pp.
- I. J. Davis
A Fast Radix Sort
The Computer Journal Volume 35, No 6, pp 636-642
1992
- I. J. Davis and D. J. Taylor
Local Correction of Mod(k) Lists
Journal of Systems and Software
(May 1990)
- I. Davis
Local Correction of Helix(k) Lists
IEEE Transactions on Computers
(May 1989)
- I. J. Davis
Error Correction in Robust Storage Structures
Ph.D. Thesis
1988.
- I. J. Davis
A locally correctable AVL Tree
Fault Tolerant Computing Symposium 17
1987
- I. J. Davis
The MSQ Database System
Honeywell Bulletin
August 1987
- I. J. Davis
The MSQ Database System
HLUSA Conference Phoenix
1986
- Towards Reliable File Systems
M.Sc. Thesis
1982
TEACHING EXPERIENCE
University of Waterloo
CS246 Software Abstraction and Specification: C++, Java, Software Engineering.
Taught Sep-Dec 2001, May-July 2008
CS338 Computer Applications in Business: Database. Oracle, DB2, Normalisation, ER-diagrams, Transactions.
Taught May-Aug 1999, Jan-Apr 2000, Sep-Dec 2000, Jan-Apr 2002
CS446/646 Software System Design and Implementation. Software engineering, C, C++, Database, Project Management.
Taught Sep-Dec 1999, Jan-Apr 2016, May-Aug 2017
CS448 Introduction to Database. ODBC, OLEDB, and cross platform web applications using SQL.
Taught Jan-Apr 2004
Wilfrid Laurier University
CP116 Advanced Fortran Applications. File structures, algorithms, and sorting.
Taught Jan May 1990
CP332 Computer Simulation. GPDS, Probability and Queuing theory.
Taught Sep Dec 1982
CP363 Database I. Theory, SQL, SQL*Forms, MSQ, and Prolog.
Taught Jan May 1991
CP463 Computer Simulation. GPSS/H, Simscript, Markov Models and Queuing theory.
Taught Jan May 1990
RESEARCH INTERESTS
Quantum Mechanics, Quantum Computing, XQuery, SQL. Database theory, design, and implementation. File structures, and algorithms. Software programming and engineering. Graph visualisation. Cloning. Predictive Modelling.