Nancy Day
Professor
Research Interests
Professor Day's research is in developing techniques and methodologies to
ensure correct system behaviour for software and hardware systems. Her
focus is on the use of formal methods, which often uncover subtle bugs
that are very difficult to discover using conventional techniques. For
example, in the analysis of a separation minima used by air traffic
Andrew Morton
Associate director of software engineering
Teaching interests
Digital Hardware and Systems Programming
Administrative and service responsibilities
Associate Director of Software Engineering
Anna Lubiw
Professor
Research Interests
Professor Lubiw's research is in the area of algorithms, specifically computational geometry and graph algorithms.
