Associate members of AIAI NameResearch interestsDavid AspinallComputer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environmentsJulian BradfieldModal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languagesJames CheneyProgramming languages, logic, verification, scientific data management, provenanceMichael FourmanFormal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planningChris LucasInductive learning and generalization, cognitive development, Bayesian models of causal inferenceSohan SethStatistical Model Criticism, Archetypal Analysis, Kernel Methods, Information Retrieval, Image Processing, Computational BiologyHenry ThompsonMarkup languages (XML, SGML) and architectures (Standoff markup, Schema languages, pipelines); Web Architecture; Philosophy of the WebBonnie WebberQuestion answering, bioinformatics, discourse, Natural Language semantics, knowledge representation and inferencePaul AndersonConfiguration and management of large computing infrastructures, Semantics and usability of configuration languages, Autonomics and intelligent approaches to configuration deployment, Systems administrations. This article was published on 2024-11-22