School Graduation Reception
We invite our graduating students and their relatives to join us next Thursday, between 12 and 3.30 in the Jack Cole coffee area, for a glass of fizz to celebrate graduation. We look forward to seeing you soon.
Month: November 2017
Salesforce Graduate Opportunities
Alumni Paul Dobra will host a short session about Salesforce graduate opportunities on Friday the 8th December, at 11am in Jack Cole 1.33. Target audience MSc, MSci and Honours students.
Model Checking and Cache Coherence Protocols – Dr. Ruth Hoffmann
Join us for Graduation: Thursday 7th December
The School will celebrate more student successes and accomplishments next week, when our recent MSc and PhD students graduate. We look forward to toasting their success at our graduation reception in the School of Computer Science, next Thursday afternoon, between 12 and 3.30. Over the years graduation has involved cakes, fizz, laughter, changeable weather and … Join us for Graduation: Thursday 7th December
“Sensing and topology: some ideas by other people, and an early experiment” by Simon Dobson
Abstract The core problem in many sensing applications is that we’re trying to infer high-resolution information from low-resolution observations — and keep our trust in this information as the sensors degrade. How can we do this in a principled way? There’s an emerging body of work on using topology to manage both sensing and analytics, … “Sensing and topology: some ideas by other people, and an early experiment” by Simon Dobson
Edgar Chavez (CICESE): The Metric Approach to Reverse Searching (School Seminar)
Abstract: Searching for complex objects (e.g. images, faces, audio or video), is an everyday problem in computer science, motivated by many applications. Efficient algorithms are demanded for reverse searching, also known as query by content, in large repositories. Current industrial solutions are ad hoc, domain-dependant, hardware intensive and have limited scaling. However, those disparate domains … Edgar Chavez (CICESE): The Metric Approach to Reverse Searching (School Seminar)
Bidirectional-Curious? – Dr. Conor McBride
Type systems are often presented in a declarative style, but with an emphasis on ensuring that there is some sort of type synthesis algorithm. Since Pierce and Turner’s “Local Type Inference” system, however, there has been a small but growing alternative: bidirectional typing, where types are synthesized for variables and elimination forms, but must always … Bidirectional-Curious? – Dr. Conor McBride
Computational Approaches for Accurate, Automated and Safe Cancer Care – HIG Seminar
Modern external beam radiation therapy techniques allow the design of highly conformal radiation treatment plans that permit high doses of ionsing radition to be delivered to the tumour in order to eradicate cancer cells while sparing surrounding normal tissue. However, since it is difficult to avoid irradiation of normal tissue altogether and ionising radiation also … Computational Approaches for Accurate, Automated and Safe Cancer Care – HIG Seminar
PhD viva success: David Castro
Congratulations to David Castro, who successfully defended his thesis today. David’s thesis was supervised by Professor Kevin Hammond. He is pictured with Internal examiner, Dr Edwin Brady and external examiner Professor Graham Hutton, from the University of Nottingham.
SRG Seminar: “Interactional Justice vs. The Paradox of Self-Amendment and the Iron Law of Oligarchy” by Jeremy Pitt
Self-organisation and self-governance offer an effective approach to resolving collective action problems in multi-agent systems, such as fair and sustainable resource allocation. Nevertheless, self-governing systems which allow unrestricted and unsupervised self-modification expose themselves to several risks, including the Suber’s paradox of self-amendment (rules specify their own amendment) and Michel’s iron law of oligarchy (that the … SRG Seminar: “Interactional Justice vs. The Paradox of Self-Amendment and the Iron Law of Oligarchy” by Jeremy Pitt