Associate members

Associate members of AIAI

NameResearch interests
David AspinallComputer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments
Julian BradfieldModal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages
James CheneyProgramming languages, logic, verification, scientific data management, provenance
Michael FourmanFormal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning
Chris LucasInductive learning and generalization, cognitive development, Bayesian models of causal inference
Sohan SethStatistical Model Criticism, Archetypal Analysis, Kernel Methods, Information Retrieval, Image Processing, Computational Biology
Henry ThompsonMarkup languages (XML, SGML) and architectures (Standoff markup, Schema languages, pipelines); Web Architecture; Philosophy of the Web
Bonnie WebberQuestion answering, bioinformatics, discourse, Natural Language semantics, knowledge representation and inference
Paul AndersonConfiguration and management of large computing infrastructures, Semantics and usability of configuration languages, Autonomics and intelligent approaches to configuration deployment, Systems administrations.