The Computer Science Colloquium Series became a course in January 2019, offering students an hour credit to learn more about research topics in the Computer and Cyber Sciences from leading researchers in these fields. In light of the COVID-19 pandemic, all presentations will be held online for the Fall 2020 semester. For more information about this course or if you are a guest outside of Augusta University wishing to tune in to a presentation, please contact Dr. Harley Eades.
September 25, 2020: University of Kent School of Computing Lecturer, Dr. Dominic Orchard
- "Making Types More Descriptive via Grading"
Abstract: Many programming languages include a “type system” as a form of lightweight program verification which can eliminate bugs and aid programmer understanding. Traditionally such type systems characterise and categorise the data involved in a program, but many new type systems are being developed which capture program behaviour. Such “behavioural type systems” can futher guide the programmer, aiding them in avoiding bugs, and even more excitingly providing a specification from which a program can be algorithmically generated, at least in part. In this talk, I will explain and demonstrate a particular class of such behavioural types systems based on the recent idea of “graded types”. I’ll demo this technique in a practical setting, showing how we can constrain program behaviour via complex specifications, and sometimes even have parts of a program generated for us.
This talk will be pitched at undergraduate/postgraduate level and will include various programming examples in more than one language (spoiler: I will start with some assembly code!)
Dr. Orchard's presentation will be streamed via YouTube streaming as well as Zoom.
Dr. Orchard's Biography: Dominic is a Lecturer at the School of Computing, University of Kent. He works mostly at the intersection between logic, semantics, and types, but also likes to be build programming systems. Dominic has an undergraduate degree in Computer Science from the University of Warwick and a PhD in Computer Science from the University of Cambridge. He worked as a Research Associate at Imperial College London and Cambridge before joining the University of Kent.
October 2, 2020: Mathematician and AI Research Scientist, Dr. Valeria de Paiva - Presentation title TBA
October 9, 2020: NO PRESENTATION, Augusta University Fall Pause