Dr.
Jamie Andrews
last updated May 22, 1998
| |
Dr.
Jamie Andrews
last updated May 22, 1998
|
| formalWARE
project
formalWARE
formalWARE
|
Dr. James H. (Jamie) Andrews
is an Assistant Professor in the Computer Science Department at the University
of Western Ontario. He was a Research Associate in the UBC Department
of Computer Science in 1996-97, funded partly by the formalWARE project,
and partly by NSERC via Dr. Paul Gilmore. He holds a B.Sc. (1982) and M.Sc.
(1986) from UBC, and a Ph.D. (1991) from the University of Edinburgh. He
has also worked as a programmer at Bell-Northern Research (1982-84) and
as a postdoctoral fellow and sessional lecturer at Simon Fraser University
(1991-95).
Andrews' research has been mainly concerned with a general question: "How can mathematical logic and formal notation help programmers write correct programs?" His past research has focused on the mathematical basis of logic programming languages such as Prolog. His formalWARE research addressed the practical challenges of integrating formal methods into the system/software engineering development cycle. His research at Western continues to explore these areas. During his Research Associateship, Andrews interacted with a research group at Hughes on the analysis of an international standard for portions of an aeronautical telecommunications network intended to make use of new technologies such as GPS (the Global Positioning System). Along with other formalWARE researchers at UBC, UVic and Hughes, he developed formal models derived from this standard which allows errors, ambiguities and other potential specification problems to be detected more effectively than by conventional methods. In his interaction with MDA, he studied
the use of formal notation to write functional specifications for selected
software components of one subsystem developed by MDA as part of an air
traffic control system for Switzerland. This work, along with that of other
formalWARE researchers at UBC and UVic, may lead to formal support for
testing of software components based on functional specifications.
Selected Publications:"Logic Programming: Operational Semantics and Proof Theory", Cambridge University Press, 1991."Foundational Issues in Implementing Constraint Logic Programming Systems", Science of Computer Programming, v. 25, 1995. "Executing Specifications by Translation to Higher Order Logic Programming", Proceedings of Theorem Proving in Higher Order Logics (TPHOLs) 1997, Springer LNCS v. 1275, August 1997. "Using a Formal Description Technique to
Model Aspects of a Global Air Traffic Telecommunications Network", Proceedings
of FORTE/PSTV 1997, Chapman and Hall, November 1997.
Further Information:Andrews' current web page URL is http://www.csd.uwo.ca/faculty/andrews. He can be contacted by email at andrews@csd.uwo.ca.
. |
