Creator of the World Wide Web Honoured
Professor Alan Dearle from the School of Computer Science, and Dean of Science at the University, has the honour of acting as Laureator for Sir Tim Berners-Lee today, one of the international scholars and thinkers awarded an Honorary Degree as part of the University’s 600th Anniversary celebrations.
Join Professor Dearle and Sir Tim Berners-Lee and watch the Honorary Graduation Live on the University website.
Computer Science Orientation Week 2013
After a welcome talk by Head of School Steve Linton, orientation 2013 is underway in the School. Monday and Tuesday offered various overviews, module talks and academic briefings. Anyone who missed these events will find related material on the School Homepage.
School President James Anderson represented the School at Academic Fayre. Student activity was observed in the honours lab and that’s before the official start of semester. We are particularly pleased to welcome the first intake of Gateway students.
A Gaming afternoon for first year students proved popular on Wednesday with Halo, Fifa and Lego Star Wars in operation. An undergraduate pizza fest followed later in the afternoon with an excellent turn out demonstrating the friendly supportive nature of our returning cohort. It’s great to see them back for another year of hard work.
The student experience is paramount here in the school, so we take this opportunity to thank our recent graduates for the NSS 2013 results, where they rated individual subjects for student satisfaction. St Andrews was number one in the UK for Computer Science. We aim to keep it that way.
PhD Reading Party 2013
The 2013 PhD Reading Party was held last month at the Burn House, just outside Edzell in the North East of Scotland.
It was an opportunity for research students to give a talk in a relaxed atmosphere, about their research interests. It also allowed for some socialising while wandering through the nearby woods and rivers.
Each student gave a 5 minute talk with time for questions and discussions. Additionally, to encourage them to make the presentation of their research industry-friendly, a pitching competition was set up. The top three were: Shantanu Pal, Dean Phoomikiattisak and Shyam Reyal. The whole academic part of the trip was rounded off by a talk by Tom Kelsey on ‘Academic Careers’.
In the free time some went off to explore the nearby forest and salmon rich river while others decided to play football or volleyball, enjoy the quiet surroundings or build the highest Jenga tower at the Burn, so far.
Text and Images courtesy of Ruth Hoffmann, Jamie Carson and Shyam Reyal.
Toblerone Treaty
In express agreement with Computer Science Law, a new supply of Toblerone arrives just in time for semester one, courtesy of Ruth Hoffmann.
Images courtesy of Al Dearle
Dr Adam Barker Awarded Royal Society Fellowship
Dr Adam Barker has been awarded a prestigious Royal Society Industry Fellowship. The scheme aims to enhance knowledge transfer in science and technology in the UK, and provides an outstanding opportunity to demonstrate the benefits of how industry and academia can work effectively together to drive innovation.
Adam will be spending 50% of his time for two years on a collaborative project at Cloudsoft in TechCube, a world-class startup space in Edinburgh. Adam will be working on multi-cloud application management with Dr Alex Heneveld, Co-Founder and Chief Technology Officer (CTO) and his team. He will be contributing towards Brooklyn – an open-source, policy-driven control plane for distributed applications, and the OASIS Cloud Application Management for Platforms (CAMP) standard.
MSc Poster Demo Session 2013
After a summer of hard work, our MSc students submitted their final dissertations last week. Earlier today they had an opportunity to present their posters and demonstrate their project artefacts.
With prizes for the top 3 posters and cakes for all, the session was very busy and provided the perfect occasion to reflect upon their own dissertation journey and appreciate the projects completed by their peers. Congratulations to Ilya Lvov, Oleg Iliev and Olalekan Baruwa who received the coveted amazon vouchers for best poster.

Main image from left to right: Ilya Lvov, Oleg Iliev and Olalekan Baruwa complete with Amazon Vouchers
Poster Titles
- Ilya Lvov, Data Journalism: Tools and Practices
- Oleg Iliev, Exploration of QoS and QoE using radar charts
- Olalekan Baruwa, IVF-predict and MyOvaries: An exploration, implementation and deployment of Bio-Medical Mobile Software Applications.
We wish them every success as they approach graduation and look forward to seeing them again in November!
New BYOD Protocol Revealed
Bring your own device (BYOD) coffee time sessions increase in popularity as staff and students are pictured getting to grips with some of the new Nexus 7 tablets.
On a more practical note they’ll be used on the Video Games and HCI Practice modules in semester one.
Dr Per Ola Kristensson tipped to change the world
Dr Per Ola Kristensson is one of 35 top young innovators named today by the prestigious MIT Technology Review.
For over a decade, the global media company has recognised a list of exceptionally talented technologists whose work has great potential to “transform the world.”
Dr Kristensson (34) joins a stellar list of technological talent. Previous winners include Larry Page and Sergey Brin, the cofounders of Google; Mark Zuckerberg, the cofounder of Facebook; Jonathan Ive, the chief designer of Apple; and David Karp, the creator of Tumblr.
The award recognises Per Ola’s work at the intersection of artificial intelligence and human-computer interaction. He builds intelligent interactive systems that enable people to be more creative, expressive and satisfied in their daily lives. focusingon text entry interfaces and other interaction techniques.
One example is the gesture keyboard, which enables users to quickly and accurately write text on mobile devices by sliding a finger across a touchscreen keyboard. To write “the” the user touches the T key, slides to the H key, then the E key, and then lifts the finger. The result is a shorthand gesture for the word “the” which can be identified as a user’s intended word using a recognition algorithm. Today, gesture keyboards are found in products such as ShapeWriter, Swype and T9 Trace, and pre-installed on Android phones. Per Ola’s own ShapeWriter, Inc. iPhone app, ranked the 8th best app by Time Magazine in 2008, had a million downloads in the first few months.
Two factors explain the success of the gesture keyboard: speed, and ease of adoption. Gesture keyboards are faster than regular touchscreen keyboards because expert users can quickly gesture a word by direct recall from motor memory. The gesture keyboard is easy to adopt because it enables users to smoothly and unconsciously transition from slow visual tracing to this fast recall directly from motor memory. Novice users spell out words by sliding their finger from letter to the letter using visually guided movements. With repetition, the gesture gradually builds up in the user’s motor memory until it can be quickly recalled.
A gesture keyboard works by matching the gesture made on the keyboard to a set of possible words, and then decides which word is intended by looking at both the gesture and the contents of the sentence being entered. Doing this can require checking as many as 60000 possible words: doing this quickly on a mobile phone required developing new techniques for searching, indexing, and caching.
An example of a gesture recognition algorithm is available here as an interactive Java demo: http://pokristensson.com/increc.html
There are many ways to improve gesture keyboard technology. One way to improve recognition accuracy is to use more sophisticated gesture recognition algorithms to compute the likelihood that a user’s gesture matches the shape of a word. Many researchers work on this problem. Another way is to use better language models. These models can be dramatically improved by identifying large bodies of text similar to what users want to write. This is often achieved by mining the web. Another way to improve language models is to use better estimation algorithms. For example, smoothing is the process of assigning some of the probability mass of the language model to word sequences the language model estimation algorithm has not seen. Smoothing tends to improve the language model’s ability to accurately predict words.
An interesting point about gesture keyboards is how they may disrupt other areas of computer input. Recently we have developed a system that enables a user to enter text via speech recognition, a gesture keyboard, or a combination of both. Users can fix speech recognition errors by simply gesturing the intended word. The system will automatically realize there is a speech recognition error, locate it, and replace the erroneous word with the result provided by the gesture keyboard. This is possible by fusing the probabilistic information provided by the speech and the keyboard.
Per Ola also works in the areas of multi-display systems, eye-tracking systems, and crowdsourcing and human computation. He takes on undergraduate and postgraduate project students and PhD students. If you are interested in working with him, you are encouraged to read http://pokristensson.com/phdposition.html
References:
Kristensson, P.O. and Zhai, S. 2004. SHARK2: a large vocabulary shorthand writing system for pen-based computers. In Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology (UIST 2004). ACM Press: 43-52.
(http://dx.doi.org/10.1145/1029632.1029640)
Kristensson, P.O. and Vertanen, K. 2011. Asynchronous multimodal text entry using speech and gesture keyboards. In Proceedings of the 12th Annual Conference of the International Speech Communication Association (Interspeech 2011). ISCA: 581-584.
(http://www.isca-speech.org/archive/interspeech_2011/i11_0581.html)
On Normalising Disjunctive Intermediate Logics
Speaker:
Prof. Jonathan Seldin, University of Lethbridge, Canada
Abstract:
In this talk it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalisation procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalisation fail, including the separation property and the subformula property.
Biography:
Jonathan P. Seldin, now Professor Emeritus, is a well-established senior scientist at the University of Lethbridge, Alberta, Canada, with an Amsterdam PhD in combinatory logic supervised by Haskell Curry. This logic, together with lambda-calculus (to which it is equivalent) is a prototype for functional languages, such as Haskell, and typed lambda-calculus is a prototype for the typing discipline in programming languages. His work on lambda-calculus, both pure and typed, has applications in formal verification, the use of formal logics to prove properties of programs (e.g., that they satisfy their specifications). He has co-authored works with Curry and Hindley on combinatory logic and lambda calculus. He is also interested in the history and philosophy of mathematics and in proof normalisation and cut-elimination for various systems of formal logic. His visit to Scotland is as a SICSA Distinguished Visiting Fellow, to work with Prof. Kamareddine at Heriot-Watt University and with Dr Dyckhoff at St Andrews. For details and publications see http://directory.uleth.ca/users/jonathan.seldin
Event details
- When: 3rd September 2013 11:30 - 12:30
- Where: Cole 1.33a
- Format: Seminar