PhD viva success: Evan Brown

Congratulations to Evan Brown, who successfully defended his thesis today. He is pictured with Internal examiner Dr Tristan Henderson and external examiner Professor Chris Marsden, Professor of Internet Law at the University of Sussex. Evan’s PhD research on using corpus linguistics to build collaborative legal research tools was supervised by Professor Aaron Quigley.

Best paper finalist award for Xingzhi Yue and Neofytos Dimitriou

A paper describing the work of our MSc student Xingzhi Yue and PhD student Neofytos Dimitriou, supervised by Oggie Arandjelovic and in collaboration with the School of Medicine, gets the best paper finalist award at the latest International Conference on Bioinformatics and Computational Biology (BICOB 2019). The key contribution of the work is a novel Best paper finalist award for Xingzhi Yue and Neofytos Dimitriou

Distinguished Lecture Series: Formal Approaches to Quantitative Evaluation

Biography: Jane Hillston was appointed Professor of Quantitative Modelling in the School of Informatics at the University of Edinburgh in 2006, having joined the University as a Lecturer in Computer Science in 1995. She is currently Head of the School of Informatics. She is a Fellow of the Royal Society of Edinburgh and Member of Distinguished Lecture Series: Formal Approaches to Quantitative Evaluation

Encoding Egyptian quadrats in Unicode

Unicode 12, released 5th March 2019, includes 9 control characters for Ancient Egyptian hieroglyphic text. These resulted from an initiative by Dr. Mark-Jan Nederhof (St Andrews) and Egyptologists at the University of Liège, CNAM (Paris) and the Berlin-Brandenburgische Akademie der Wissenschaften, in collaboration with Unicode experts. The control characters allow hieroglyphs to be arranged horizontally Encoding Egyptian quadrats in Unicode

Hugh Leather (Edinburgh): Deep Learning for Compilers (School Seminar)

Abstract: Writing optimising compilers is difficult. The range of programs that may be presented to the compiler is huge and the system on which they run are complex, heterogeneous, non-deterministic, and constantly changing. Machine learning has been shown to make writing compiler heuristics easier, but many issues remain. In this talk I will discuss recent Hugh Leather (Edinburgh): Deep Learning for Compilers (School Seminar)

PhD viva success: Hussein Bakri

Congratulations to Hussein Bakri, who successfully defended his thesis today. He is pictured with Internal examiner Professor Ian Miguel and external examiner Dr Maria Economou, from the University of Glasgow.