At the Cyber Academy’s International Conference on Big Data in Cyber Security on May 10 2017 at Edinburgh Napier’s Craiglockhart Campus, PhD student Haifa Al Nasseri won two 3rd prizes. One was for her research poster on Cloud Virtual Network Isolation Security and the other was for her team’s efforts in the Splunk Hackathon.
News
Best Final Year Student at Lovelace 2017
We are delighted to congratulate Iveta Dulova, who attended the 10th BCSWomen Lovelace Colloquium, and walked away with the prize for “Best Final Year Student”. Iveta’s poster, titled “SensorCube: An end-to-end framework for conducting research via mobile sensing“, was based on her final year project supervised by Dr Juan Ye.
The event was held at Aberystwyth University on April 12, 2017. Also attending from St Andrews were Chloe Collins, competing in the second year category with the poster “Pedal to the metal – the role of technology in transportation” and Laura Brewis with her poster “What percentage of solitaire games are actually winnable?”.
It showed great commitment for these three students to undertake the lengthy trip at a busy time of semester. Like St Andrews, Aberystwyth, is a beautiful small seaside town with an excellent Computer Science department. Iveta took a couple of photos showing off the beach and the campus.
PhD viva success: Yuchen Zhao
Congratulations to Yuchen, who successfully defended his thesis yesterday. He is pictured with supervisors Dr Tristan Henderson and Dr Juan Ye, Internal examiner Professor Simon Dobson and external examiner Dr Mirco Musolesi, from UCL.
Alex Bain completes 2017 London Marathon
Congratulations to School Manager Alex Bain, who completed the London Marathon again this year, raising funds for Guide Dogs. Alex, runner no 40807 is pictured below with his finisher’s medal. Donations to recognise his achievement and the training involved, can be made via his Justgiving page. Read more about his fundraising on KingdomFM.
MPhil viva sucess: Yunjia Wang
Congratulations to Yunjia Wang, who successfully defended his thesis today. He is pictured with Internal examiner Dr Alice Toniolo and Supervisor Dr Ishbel Duncan.
Junior Honours: Software Team Project 2017
Earlier today our Junior Honours students presented their Team Projects. The projects involve substantial team based software engineering and rely heavily on collaborative development. There are many aspects of software and professional development along with considerable inter-team and intra-team collaborations. This year the students were asked to develop a version of the Settlers of Catan with AI players. They were further asked to make their games interoperate so one teams AI or human player might play on another teams game and board.
The teams demonstrated lots of creativity with the use of software tools, approaches to AI, use of domain specific languages, remote services, games environments, graphics development, collaborative frameworks and many tools for software engineering project development. Thanks to all the students, supervisors and coordinators for their hard work this year.
We wish all our junior honours students success with their forthcoming exams and we look forward to seeing them again for their senior honours year in September.
Images and text courtesy of Professor Aaron Quigley
Senior Honours: Poster Presentation and Demo Session 2017
Our talented hard working SH students from CS4099: Major Software Project and CS4098: Minor Software Project presented their posters and final year software artifact to staff and students earlier this week.
As Illustrated in the above collage, the busy poster session is the perfect opportunity to discuss output from their year long project with markers, and provides time to share research ideas and reflect on the experience with their peer group. We wish them success with forthcoming exams and look forward to seeing them during June graduation celebrations.
ACM SIGCHI: Communication Ambassador & Turing Award Celebration News
Congratulations to Hui-Shyong Yeo, who has been selected as both an ACM SIGCHI communication ambassador and to represent SIGCHI at the ACM 50 Years of the A.M. Turing Award Celebration.
Yeo is a 2nd year PhD student and is particularly interested in exploring and developing novel interaction techniques. Since joining us in SACHI, he has had work accepted at ACM CHI 2016 and CHI 2017, ACM MobileHCI 2016 and 2017 and ACM UIST 2016. His work has featured at Google I/O 2016, locally on STV news and he gave a talk at Google UK in 2016 about his research. His work has also featured in the media including in Gizmodo, TheVerge, Engadget and TechCrunch., see his personal website for more details. Continue reading
Hot off the press: Type-Driven Development with Idris
A new book, Type-Driven Development with Idris has just been published by Manning Publications. Written by Dr Edwin Brady, the creator of Idris, Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system.
Type-driven development is an approach to programming that embraces types as the foundation of your code. It is based on the concept of “dependent types”, which allow you to express relationships and other assumptions directly in your code, and have these assumptions checked by the compiler. With this approach, you can define specifications early in development and write code that’s easy to maintain, test, and extend.
Dr Brady said:
“Idris arose as a result of my own research into program verification and language design with advanced type systems. After spending several years immersed in the concept of programming with dependent types, I felt there was a need for a language designed for developers and practitioners as well as researchers. By teaching the concept of type-driven development using Idris, the book aims to make state-of-the-art verification techniques accessible to software practitioners.”
The book is currently available via MANNING publications: https://www.manning.com/books/type-driven-development-with-idris. ePub and Kindle versions available from April 10th. The source code, chapter 1 and chapter 13 are available as free downloads.
Alex runs London Marathon 2017 for Guide Dogs
Alex Bain will be running the London Marathon again this year, raising funds for Guide Dogs. He is holding a fundraising bake sale in the department today. There are still plenty delicious cakes and home baking on offer. Support all his effort and training by buying a cake or two.
You can also donate through his justgiving page.
*Update: Total so far £320. Cakes and other sweet treats remain.
