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.

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.

Distinguished Lecture Series 2017: Dr David Manlove

On March 31st, Dr David Manlove from the University of Glasgow, delivered the semester two distinguished lectures in Lower and Upper College Hall. The overall title was algorithms for healthcare-related matching problems.

David started with an overview of complexity theory and solving hard problems. He gave examples of this in practice, for example how researchers constructed a best-possible tour around the best 20,000 pubs in the UK. The second lecture focussed on how to assign junior doctors to hospitals in the best way, a very practical problem but with interesting complexity issues. The final lecture focussed on the life-changing topic of how to set up exchanges of kidneys between healthy donors and patients needing transplants. David talked about how his expertise in algorithms has been translated into regularly finding the best possible matches which then result in real transplants taking place.

David is pictured above at various stages of the distinguished lecture series and outside College Hall with Head of School, Prof Steve Linton, Prof Ian Gent and Dr Ishbel Duncan,

Videos from the DLS can be accessed on Vimeo –
Lecture 1: https://vimeo.com/211633740
Lecture 2: https://vimeo.com/211634119
Lecture 3: https://vimeo.com/211634923

Images courtesy of Ryo Yanagida.

Team NOMAD win IDEA Explosion 2017

Congratulations to PhD students Shyam Reyal and Simone Conte , from Computer Science and Senior Scientific Officer Tomas Lebl, from Chemistry who presented NOMAD (NMR Online Management and Datastore) at IDEA Explosion 2017 and emerged victorious. Shyam delivered a five-minute elevator pitch, whilst Simone and Tomas responded to questions. Judges acknowledged that NOMAD has huge potential with researchers, and were impressed that it has been used in St Andrews for the past 5 years, with other universities now lined-up to make use of its services, fully supporting the use of the prize money to set-up a company.


Continue reading

Wrist Worn Haptic Feedback Device

One of our PhD students Esma Mansouri Benssassi and her supervisor Dr Erica Ye defined a requirement for a wrist worn device to group a number of Haptic feedback elements for an experiment they wished to carry out. The on-board Haptic elements are two eccentric rotating mass micro motors and an linear resonant actuator. Initial circuit schematics and printed circuit board designs were created in an Open Source Electronics Design Automation Suite KiCAD EDA. The resulting printed circuit board (PCB) design was made on the CS CNC Router , this produces the PCB by engraving the copper clad fibreglass-epoxy board with a Vee cutter.

PCBBare Circular Engraved PCB

The case for the PCB was created in Autodesk Inventor and was 3D printed using the CS Makerbot 2X 3D printer.

Blank PCB and 3D Printed Case

Haptic Wristband and Haptic Transducers

The wrist worn Haptic feedback device will be connected via an umbilical cable to the main control Feather M0 embedded ARM and Haptic Driver breadboard. This is an ARM microcontroller and wifi module which can be programmed using the Arduino IDE. Code for the ARM processor will enable stored and custom waveforms to be played on the haptic devices on the wrist.

Haptic Feedback Breadboard Assembly

Research on containers for HPC environments featured in CACM and HPC Wire

Rethinking High performance computing Platforms: Challenges, Opportunities and Recommendations, co-authored by Adam Barker and a team (Ole Weidner, Malcolm Atkinson, Rosa Filgueira Vicente) in the School of Informatics, University of Edinburgh was recently featured in the Communications of the ACM and HPC Wire.

The paper focuses on container technology and argues that a number of “second generation” high-performance computing applications with heterogeneous, dynamic and data-intensive properties have an extended set of requirements, which are not met by the current production HPC platform models and policies. These applications (and users) require a new approach to supporting infrastructure, which draws on container-like technology and services. The paper then goes on to describe cHPC: an early prototype of an implementation based on Linux Containers (LXC).

Ali Khajeh-Hosseini, Co-founder of AbarCloud and former co-founder of ShopForCloud (acquired by RightScale as PlanForCloud) said of this research, “Containers have helped speed-up the development and deployment of applications in heterogeneous environments found in larger enterprises. It’s interesting to investigate their applications in similar types of environments in newer HPC applications.

Data and the User Experience in Retail

The Hut Group develop and manage a proprietary eCommerce platform that handled over half a billion pounds of revenue last year. UX within the company is responsible for optimising user flows through the website, and working with Design departments to deliver user delight. With over 30 distinct site brands internally, and several external clients, the team attempt to strike a balance between optimising sites for revenue and user delight. This talk is about the challenges of UX within a wider business organisation, and the role that Computer Science graduates can play in a multidisciplinary UX team.

Bio:
Elliott joined The Hut Group in June, starting in the Research and Development department. He worked on developing a dashboard for use inside the business, and developed a series of prototypes to show users Social Media content on-site. He now heads the User Experience (UX) department. Prior to joining THG, Elliott worked at Skyscanner as a front-end developer whilst graduating from St Andrews in Computer Science with several modules in HCI.

Event details

  • When: 6th March 2017 15:00 - 16:00
  • Where: Honey 110 - John Honey Teaching Lab
  • Format: Seminar

School of Computer Science – PhD Scholarships

The School of Computer Science at the University of St Andrews offers funding for up to six students to undertake PhD research starting in the Fall of 2017 in any of the areas of research carried out by its academic faculty (which includes, but is not limited to, Artificial Intelligence and Symbolic Computation, Computer Systems Engineering, Human-Computer Interaction, and Programming Languages).

We are looking for highly motivated research students willing to be part of a diverse and supportive research community.

Applicants must hold a BSc or MSc in an area appropriate for their proposed topic of study (usually Computer Science, but not restricted to it). The Scholarship covers PhD fees and provides a tax-free maintenance stipend of £14,296 per year for 3.5 years. Exceptional students can apply for an additional £2,000 per year. International applications are welcome.

We especially encourage female applicants and underrepresented minorities to apply. Admission is competitive but candidate selection takes into account the motivation, skills and previous experience of the candidates. If you are interested, please get in contact with us by e-mail even if you are not sure of your eligibility or strength as a candidate (write an e-mail to pg-admin-cs@st-andrews.ac.uk Subject: Informal PhD Inquiry). We will facilitate contact with a member of research staff in your area of interest (for a list of existing faculty and areas of research see http://www.cs.st-andrews.ac.uk/prospective-pg/postgraduate-supervisors).

For further information, including the step-by-step procedure on how to apply please check our postgraduate-research web page (http://www.cs.st-andrews.ac.uk/prospective-pg/research-degrees). The closing date for applications is March 31st 2017 and we will make decisions on studentship allocation by April 30th 2017. Before preparing a full application we recommend that you contact us by e-mail at pg-admin-cs@st-andrews.ac.uk.