Daniel Raggi

Dr. Daniel Raggi is a researcher at the Department of Computer Science and Technology, University of Cambridge, affiliated with research themes including Human-Centred Computing, Machine Learning and Artificial Intelligence, and Programming Languages, Semantics and Verification. His work bridges cognitive science and computer science, focusing on representation systems, knowledge encoding, and human-computer interaction.

His research explores the cognitive properties of visualizations, representation selection for problem-solving, and automating transformation of mathematical knowledge. The 15 most recent publications highlight interdisciplinary trends in formal methods, cognitive modeling, and visual reasoning.

Scientific awards and student advising details are not explicitly mentioned in the provided texts. Further details about his work can be inferred through his contributions to representation theory and its applications in AI and mathematical reasoning.