Research Groups

A Type-System for describing System-on-a-Chip Architectures – Jan De Muijnck-Hughes

Title: A Type-System for describing System-on-a-Chip Architectures Abstract: The protocols that describe the interactions between IP Cores on System-on-a-Chip (SoC) architectures are well-documented. These protocols described not only the structural properties of the physical interfaces but also the behaviour of the emanating signals. However, there is a disconnect between the design of SoC architectures, their … A Type-System for describing System-on-a-Chip Architectures – Jan De Muijnck-Hughes

Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization – John Reppy

Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization Abstract: The analysis of structure in three-dimensional images is increasingly valuable for biomedical research and computational science. At the same time, the computational burden of processing images is increasing as devices produce images of higher resolution (e.g., typical CT scans have gone from 128^3 to … Diderot: A Parallel Domain-Specific Language for Image Analysis and Visualization – John Reppy

PhD viva success: Gonzalo Mendez

Congratulations to Gonzalo Mendez, who successfully defended his thesis today. He is pictured with supervisor Dr Miguel Nacenta, Internal examiner, Dr Tristan Henderson and external examiner Associate Professor Samuel Huron, from Télécom ParisTech. Image courtesy of Annemarie Paton.

St Andrews – University of Primorska co-tutelle in Computer Science

The University of St Andrews and Primorska are soon to agree to award a joint degree with the title of Doctor of Philosophy (on condition that the joint PhD study programme in Computer Science will gain accreditation of the Slovenian Quality Assurance Agency for Higher Education). This represents the culmination of many months of effort … St Andrews – University of Primorska co-tutelle in Computer Science

Mensch-und-Computer 2019 Keynote by Professor Aaron Quigley

Professor Aaron Quigley will be a keynote speaker at the Mensch-und-Computer conference 2019 in Hamburg Germany in September of 2019. This series of symposia takes place each year in different German-speaking countries. This is one of the largest HCI conferences in Europe each year with over 700 delegates from industry and academia. Usability Professionals and … Mensch-und-Computer 2019 Keynote by Professor Aaron Quigley

PhD viva success: Matus Tejiscak

Congratulations to Matus Tejiscak, who successfully defended his thesis yesterday. He is pictured with supervisor Dr Edwin Brady, Internal examiner Dr Chris Jefferson and external examiner Dr Andreas Abel, from the University of Gothenburg.

Compositional Coinduction with Sized Types – Dr. Andreas Abel

Abstract: Formal languages and automata are taught to every computer science student.  However, the student will most likely not see the beautiful coalgebraic foundations, which use coindutive reasoning. In this talk, I recapitulate how infinite tries can represent formal languages (sets of strings).  I explain Agda’s coinduction mechanism based on copatterns and sized types demonstrate … Compositional Coinduction with Sized Types – Dr. Andreas Abel