Congratulations to Julian Petford, who successfully defended his thesis today. He is pictured with internal examiner Professor Aaron Quigley and external examiner Dr Jason Alexander, from Lancaster University. Julian’s PhD research in Full Coverage Displays for Non-Immersive Applications was supervised by Dr Miguel Nacenta.
Image courtesy of Wendy Boyter
Congratulations to Simone Conte, who successfully defended his thesis yesterday. He is pictured with supervisors Professor Al Dearle and Dr Graham Kirby, Internal examiner Professor Simon Dobson and external examiner Professor Paul Watson, from Newcastle University.
Images courtesy of Ryo Yanagida
A Service of Thanksgiving was held at St Salvator’s Chapel on Saturday in memory of Roy Dyckhoff who died in hospital in September. The service included a eulogy composed and delivered by Head of School Professor Simon Dobson.
Since his death I’ve been fascinated to hear how others saw Roy — and how their views differed noticeably from what I saw in him. My perception was of a mathematician who’d made his home in computer science, at the computational end of our shared disciplines: someone fascinated by notions of proof as applied to computation, with a far broader and deeper mathematical knowledge than most of his colleagues and an ability to point out links between the practical and the theoretical. But in recent months I’ve learned of many different Roys: the one who moved from topology to category theory in his PhD; the one who worked on proof theory; the one who was a mainstay of computational logic in the UK; the one who rang bells here in our beautiful chapel; who climbed mountains; who studied languages — and probably many others that I’ll learn more of over the course of today.
Roy started at programming early: a one-year job with punched cards before going up to Cambridge as a maths undergraduate. And while doing his degree he spent his second year — when for some reason he had no maths exams — attending all the lectures, tutorials, and seminars for a degree in Persian. (As one does.) Perhaps this should have been a hint there that maths was only ever going to be a part of his intellectual career; or perhaps it was an early signature of an individual with exceptionally wide-ranging interests, who would constantly return to pure maths from lengthy diversions into other subjects. One look at the bookshelves of his house in St Andrews tells you this — volumes on renaissance art, arts and crafts, world history, and early music sitting alongside the algebra and number theory. It’s interesting also to look at theses of his nine PhD students, interesting how many of them sit at interfaces: between proof theory and category theory, between logic and search, between logic programming, functional programming, and type theory.
But such a broad base of interests sat on a bedrock of fascination for precision — indeed, a demand for precision, and an irritation that other people and organisations seemed so unreasonably comfortable with anything less than precise approaches to subjects. We saw this clearly in Roy’s (repeated) attempts to translate some or other aspect of the university’s regulations into first-order logic — an activity with which he persisted in the face of almost complete bafflement on the part of those to whom he addressed his memoranda. “Let S be the set of all students, and consider a set M of modules operated on by a collection of groups G-sub-i such that…” and so on. I’ve sometimes wondered how those on the receiving end felt about this mathematician’s take on their job — or indeed whether Roy himself imagined the university’s administration to be populated entirely by frustrated logicians, trapped in an imprecise world of programme requirements and module anti-requisites, and as anxious as him to re-write the rules with precision.
Given all this, I think it’s hard to assess what Roy’s influence has been, since it’s been spread over so many disparate areas — and that’s probably a good thing. “Activity is the enemy of thought,” as Christopher Strachey once observed, and the attempt to measure and quantify thought isn’t far behind. It’s not bad in itself, but we now know it breeds a narrow specialisation that over-values increasingly deep looks at increasingly tiny areas of knowledge, and systematically under-values those who want, and feel able, to contribute more widely — as Roy did. If there’s anything to take away from his career, I think it would be this, an example of scholarship that is at once broad, deep, intellectually honest, and constantly curious.
For those who’d like to mark his passing in some way, the family have suggested giving blood as a suitable marker. Alternatively, they are collecting for the Scottish Mountain Bothies Association, which was a charity he supported for many years. https://mydonate.bt.com/fundraisers/roydyckhoff
The School will celebrate more student successes and accomplishments next month, when our MSc and PhD students graduate. We look forward to toasting their success at our graduation reception in the School of Computer Science, on Thursday 6th December, between 1.30 and 3.30. Over the years graduation has involved cakes, fizz, laughter, changeable weather and lots of reminiscing as pictured below. For family and friends who can’t make it to the graduation, the University broadcasts each graduation ceremony live.
Summer and Winter Graduations 2010 – 2014
Celebrations, Kilts and Graduation 2010- 2014
Haifa Al Nasseri passed her PhD viva this week, subject to minor corrections.
Her research was on detecting data leakage in cloud virtual network isolation.
Pictured are the internal examiner, Dr Graham Kirby, Haifa Al Nasseri,
the external examiner Dr Naghmeh Moradpoor from Napier, and
her research supervisor, Dr Ishbel Duncan.
Register for St Andrews ROCS HERE for free.
St Andrews ROCS is an event for those of you who engage (or are planning to engage) with research in the School of Computer Science at the University of St Andrews.
The main audiences are prospective postgraduate students, prospective or current industrial collaborators, and colleagues from other disciplines or Schools in Scotland and beyond.
The event will take place Friday October 26th 2018, between 10:00 AM and 4 PM.
There will be talks from all research groups, posters, demonstrations, guided tours, and much more.
You can learn about how to become a St Andrews PhD student or an active industrial collaborator.
The event will take place in the JACK COLE BUILDING, NORTH HAUGH, UNIVERSITY OF ST ANDREWS, ST ANDREWS, KY16 9SX, SCOTLAND.
You can download the programme of activities.
If you have any questions, e-mail dopgr-cs@st-andrews.ac.uk.
Register for St Andrews ROCS HERE for free.
Venue: The Old Course Hotel (Hall of Champions)
Timetable:
9:30 Lecture 1
10:30 Break with Coffee
11:15 Lecture 2
12:15 Break for Lunch (not provided)
14:15 Lecture 3
15:15 Discussion
Lecture 1: Introduction to Scalable Intelligent Systems
Lecture 2: Foundations for Scalable Intelligent Systems
Lecture 3: Implications of Scalable Intelligent Systems
Speaker Bio:
Professor Carl Hewitt is the creator (together with his students and other colleagues) of the Actor Model of computation, which influenced the development of the Scheme programming language and the π calculus, and inspired several other systems and programming languages. The Actor Model is in widespread industrial use including eBay, Microsoft, and Twitter. For his doctoral thesis, he designed Planner, the first programming language based on pattern-invoked procedural plans.
Professor Hewitt’s recent research centers on the area of Inconsistency Robustness, i.e., system performance in the face of continual, pervasive inconsistencies (a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination, i.e., to sweep inconsistencies under the rug). ActorScript and the Actor Model on which it is based can play an important role in the implementation of more inconsistency-robust information systems. Hewitt is an advocate in the emerging campaign against mandatory installation of backdoors in the Internet of Things.
Hewitt is Board Chair of iRobust™, an international scientific society for the promotion of the field of Inconsistency Robustness. He is also Board Chair of Standard IoT™, an international standards organization for the Internet of Things, which is using the Actor Model to unify and generalize emerging standards for IoT. He has been a Visiting Professor at Stanford University and Keio University and is Emeritus in the EECS department at MIT.
Abstract:
A project to build the technology stack outlined in these lectures can bring Scalable Intelligent Systems to fruition by 2025. Scalable Intelligent Systems have the following characteristics:
Technology stack for Scalable Intelligent Systems is outlined below:
For example, pain management could greatly benefit from Scalable Intelligent Systems. Complexities of dealing with pain have led to the current opioid crisis. According to Eric Rodgers, PhD., director of the VA’s Office of Evidence Based Practice:
“The use of opioids has changed tremendously since the 1990s, when we first started formulating a plan for guidelines. The concept then was that opioid therapy was an underused strategy for helping our patients and we were trying to get our providers to use this type of therapy more. But as time went on, we became more aware of the harms of opioid therapy and the development of pill mills. The problems got worse.
It’s now become routine for providers to check the state databases to see if there’s multi-sourcing — getting prescriptions from other providers. Providers are also now supposed to use urine drug screenings and, if there are unusual results, to do a confirmation. [For every death from an opioid overdose] there are 10 people who have a problem with opioid use disorder or addiction. And for every addicted person, we have another 10 who are misusing their medication.”
Pain management requires much more than just prescribing opioids, which are often critical for short-term and less often longer-term use. [Coker 2015; Friedberg 2012; Holt 2017; Marchant 2017; McKinney 2015; Spiegel 2018; Tedesco, et. al. 2017; White 2017] Organizational aspects play an important role in pain management. [Fagerhaugh and Strauss 1977]
The School hosted another successful Google event today. Students heard first hand from Exie Huntington University Programs Specialist, three of our talented alumni (James Smith, Peter Josling and Blair Fyffe) and had an opportunity to chat with current students (Silvia Nepšinská, Diyana Petrova, Daria Savanovich and Shyam Reyal) who have completed internships with Goggle. The well-received and very well attended session heard about their academic background, working at Google and technical roles. A technical interview workshop will take place later this evening.
Digital Health Science Interschool Seminar Series
Opportunity for collaboration and networking
The next seminar in the DHSI series will be held in Seminar room 6, Gateway building, North Haugh on Wednesday 17th October at 12.00pm
The lead contact in Computer Science is Dr Tom Kelsey.
The core values of the seminar series is to allow a learning environment that cross cuts traditional academic “silo” thinking. Therefore this seminar series will focus on maximising the critical mass present in the participating seven schools who are currently contributing in the science of digital health.
In order to allow innovative thinking and collaborative practice the themes of every seminar will focus on one chronic and relapsing health related condition and/or a technological theme with all schools. Contributors to these seminars are encouraged to present any aspect of digital science. This year we also have NHS Fife participating into this.
See DHSI Flyer below for more information on themes and further seminar dates.
Later this week Dr Alice Toniolo will be an invited speaker at “Bridging the Gap between Formal Argumentation and Actual Human Reasoning” taking place at the Institute for Philosophy II, Ruhr-Universität Bochum. Her talk will focus on argumentation-based support for human sensemaking of conflicting information. See abstract below for more information.
Abstract: Models of argumentation have increasingly been employed in human decision-making systems to facilitate good reasoning. Sensemaking of conflicting and incomplete information is one application where argumentation-based tools have the potential to help users reduce the cognitive load in identifying hypotheses about a situation. To improve the effectiveness of systems that employ computational models of argumentation, however, there is a real need to evaluate their use in human decision support. In this talk, we seek to better understand the link between human reasoning, argumentation schemes and preferred extensions in supporting sensemaking of conflicting information. An application will be presented in the context of intelligence analysis which employs argumentation schemes to construct hypotheses about the world and counteract cognitive biases. Preferred extensions are linked to different possible world explanations and help analysts reduce the cognitive effort in identifying what is coherent in a situation. However, using argumentation-based tools to support reasoning about the world opens questions on how people engage with and understand these approaches. A set of experiments with human participants is presented to investigate the use of argumentation schemes and preferred extensions in identifying plausible explanations. Initial results show that argumentation schemes are a reliable method to structure inferences and draw plausible conclusions from incomplete information with potential for supporting the identification of biases. On the other hand, preferred extensions can be seen as capturing different possible world explanations affecting the degree of believability of a conclusion. Results from the experiments show that the degree of believability of a conclusion may be associated with the number of preferred extensions in which the conclusion is credulously accepted with similar heuristics as those employed in understanding probabilities.
