 |
Kim Bruce, Professor Emeritus Home Page Research interests: Programming language design and semantics: type theory, object oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism. |
 |
Andrea Danyluk, Professor Emeritus Home page Research interests: Machine Learning applications, systematic data error and its effects on inductive learning, cost-sensitive learning, evaluation and comparison of learning algorithms, theory revision |
 |
William Lenhart, Professor Emeritus Home page Research interests: Graph theory, graph drawing, computational geometry, graph and combinatorial algorithms |
 |
Thomas Murtagh, Professor Emeritus Home page Research interests: Programming language implementations, communications networks |
 |
Brent Heeringa, Research Scientist Home page Research Interests: Approximation algorithms NP-hard problems, hardness of approximation, data structures, machine learning and functional programming languages |