The list of LFCS Associate, Honorary, and Visiting Staff
Associate Staff
| Name | research interests |
| Alan Bundy | Understanding the processes of mathematical reasoning and discovery, including the processes of: forming and evolving formal representations; planning proofs; learning proof methods; and the use of analogy. In particular, the automated detection and repair of faulty representations. |
| Ramin Jafarzadegan | |
| Ram Ramamoorthy | Robot Learning, Decision Making under Uncertainty, Autonomous Systems, Dexterous Manipulation and Control, Human-Robot Interaction, Safe and Trustworthy Artificial Intelligence |
| Amir Shaikhha | Domain-Specific Languages, Compilers, Databases, Programming Languages |
| Mohan Sridharan | Knowledge representation and reasoning, cognitive systems, and interactive learning in the context of human-robot and human-agent collaboration. |
Honorary Staff
| Name | research interests |
| Kami Vaniea | Human factors of security and privacy technologies. My research focuses on how to empower users to easily make good security decisions by both improving how the security and privacy technologies interact with users. |
Visiting Staff