PhD

General Research Students Arrive at Computer Science

As the new academic year gets underway we welcome the following new PhD students to the School. Good luck guys!

Awada

Uchechukwu Awada

Awada
My name is Awada Uchechukwu, I am starting a PhD program with the Systems Research Group at the School of Computer Science, University of St Andrews, where I will be researching on innovative technologies that addresses the current and future data-intensive challenges. Prior to this, I was a PhD research assistant with the Network and Cloud Computing Laboratory at the School of Computer Science and Technology, Dalian University of Technology, China. I received my MEng degree in Computer Applied Technology, from Harbin Engineering University (China) and my BSc in Computer Science from Ebonyi State University (Nigeria).

 

Fearn

Fearn Bishop

Fearn
Fearn is interested in the creation of information visualizations. Primarily her research is looking at how children visually represent datasets, and how this knowledge can be used to aid the creation of new visualizations, perhaps also aiding in their accessibility. She also has an interest in tangibles and the physicalization of data. She has blue hair and plays more board games than are necessarily advisable.

 

 

Tom Dalton

Tom
I’m a new PhD student in the department working on Data linkage with direction from Graham and Al. My research is likely to focus on the preservation of provenance in our linkages and how we handle the associated uncertainties while still trying to produce high quality linkage solutions – obviously it’s still month one and we haven’t yet nailed down an exact research question yet, so things are liable to change slightly.My undergrad was also here in the department and so the place, and the people, isn’t all that different to me – but having an office is definitely something that I’m enjoying. I’m originally from Manchester where I spent all of my life before escaping to St Andrews.In my free time I enjoy climbing mountains, watching cycling and cricket, I’m also involved in the CU and the Free Church in town; otherwise I’ll be hidden behind my new camera or in the pub.

Michael Pitcher

Mike
I’m Mike, and I’m originally from the North Wales-Shropshire border region. I graduated from Keele University in 2010 with a dual honours degree in Mathematics and Computer Science. I then worked for 4 years as a computer programmer before coming to St. Andrews in 2014 to complete a Masters in Artificial Intelligence, after which I started my PhD. My hobbies include football, rugby and video gaming and I’m also Secretary of the University’s Real Ale Society.

For my PhD, I’m working with both the School of Computer Science and the School of Medicine, and my research is investigating the use of complex network based computer models to study diseases, in particular tuberculosis. The aim is to create realistic models of human physiology and disease dynamics within the body to aid the testing and discovery of new treatments.

Hui-Shyong Yeo

Yo

My name is Hui-Shyong Yeo, but feel free to just call me YO. I am from Malaysia which has the best food in the world.

I graduated from Multimedia University in Malaysia for my undergrad and Dongseo University in Korea for my master. Before coming to St Andrews. I worked as a researcher for one year in UVR Lab, KAIST, Korea.

I am starting my PhD in SACHI, under Prof. Aaron Quigley. I am particularly interested in exploring and developing novel interaction techniques that transcend the barrier between human and computers, especially on topics such as gestural/mid-air interaction, mobile/wearable interaction, augmented/virtual reality and text entry. For my PhD, I am likely to focus on Around Body Interaction with free-hand gestures.

I like to talk about latest research in HCI and I actually maintain a educational fan-page on Facebook for sharing interesting HCI news/papers. Please feel free to have a look.

Distinguished Lecture: ‘Scalability and Fault-tolerance, are they the same?’ by Joe Armstrong

The first of this academic year’s distinguished lectures will be given by Professor Joe Armstrong, co-inventor of Erlang, on Monday 16th November 2015 at The Byre Theatre.Joe Armstrong

Abstract:

To build a scalable system the important thing is to make small isolated independent units. To scale up we just add more units. To build a fault-tolerant system the important thing to do is make small isolated independent units…. Does that sound familiar? Haven’t I seen that somewhere before? Oh yes, in the first paragraph! So maybe scalability and fault tolerance are really different names for the same thing.

This property of systems, namely that fault-tolerant systems were also scalable, was noticed years ago, notably in the design of the Tandem computer system. The Tandem was design for fault tolerance but rapidly became a leading supplier of scalable computer platforms. Thus it was with Erlang.

Erlang followed  a lot of the Tandem design, it was built for fault-tolerance but some of the most successful applications  (such as WhatsApp) use it for its scalability.

In this lecture I’ll talk about the intimate relationship between scalability and fault-tolerance and why they are architecturally the same thing.

I’ll talk about the design of Erlang and why scalable systems have to be built on non-shared memory abstractions.

Bio:

Joe Armstrong has been programming since 1967. He invented the programming language Erlang. He has worked as a programmer, founded a few successful companies and written a few books. He has a PHD in Computer Science from KTH. He is currently Adjunct Professor of Computer Science at the KTH Royal Institute of Technology in Stockholm.

Event details

  • When: 16th November 2015 09:15 - 15:30
  • Where: Byre Theatre
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

PhD Studentship: Reasoning about Racy Programs under Relaxed Consistency

A PhD studentship on “Reasoning about Racy Programs under Relaxed Consistency” is available in the School of Computer Science at the University of St Andrews, funded by Microsoft Research and EPSRC.

The project will involve developing reasoning principles and tools for relaxed memory consistency settings. This is a key problem in shared-memory concurrency at the low-level, whether in C or C++, or even higher-level languages such as Java.

There has been lots of work done on proving shared-memory concurrent programs correct, by the use of very sophisticated program logics such as Concurrent Separation Logic and RGsep. However, shared-memory concurrent programs actually do not satisfy a key building block of such logics, an assumption that memory is sequentially consistent. Instead, when programming at the low-level in C or C++, or even in relatively higher-level languages such as Java, programmers have to deal with relaxed memory consistency. How and whether sophisticated program logics can scale up to this setting is the open research question we seek to address. Furthermore, efficient concurrent code often have intentional races, making the problem harder (and rendering the standard prescription of data-race-freedom ineffective). If we can develop such a logic, we can build tools that can automatically analyse code and make them safe, efficient, and correct by suggesting appropriate fences or other mechanisms. With multiprocessors everywhere from personal mobile devices to servers, this is an important problem with a potential of high impact, both in theory and in practice.

The project will be supervised by Dr Susmit Sarkar at the University of St Andrews. Dr Jade Alglave of Microsoft Research Cambridge will be the Microsoft supervisor. During the course of their PhD, Scholars are invited to Microsoft Research in Cambridge for an annual Summer School, and there is also a possibility of paid internships during studies. The studentship is fully funded to pay fees and stipend for students with a relevant connection to the UK.

Applicants are expected to have or expect to obtain a UK first-class Honours or Masters degree (or its equivalent from non-UK institutions) in Computer Science, but the minimum standard we require is an upper second-class Honours degree or equivalent. Some experience in concurrent and/or functional programming and an aptitude for mathematical subjects are required. Knowledge and experience of one or more of formal verification, mechanised proofs, and programming languages is highly desirable.

For further information on how to apply, see our postgraduate web pages. Ideally the student will start in October 2015, or as soon as possible thereafter. Further details on the project and suggested reading is available from Dr Susmit Sarkar.

Staff and Students with Dr Vint Cerf

Staff-PhD-Vint-Cerf

Dr Vint Cerf with staff and new CS PhD graduates

On July 24th, Dr Vinton Cerf was awarded the degree of Doctor of Science, honoris causa, by the University of St Andrews. Dr. Vint Cerf, a founding father of the Internet, graduated alongside our new PhD and Honours graduates. In his Laureation address, Professor Saleem Bhatti highlighted to the audience that, “The internet is mankind’s largest and most complex creation. It spans national boundaries and puts global communication at the fingertips of the world’s citizens. It is, in today’s world, difficult to imagine life without the information and many services that are available to us all through the internet. However, it is an invention of our time.”

This graduation ceremony was a memorable day for both staff and students and presented each person the opportunity to reflect on their own research experiences here in the University of St Andrews. Reflecting on our “Internet @ 100” symposium earlier in the week, Professor Bhatti concluded by noting that, “Easy and accessible internet communication is also seen as an empowering service for the citizens of the world“.

We wish all of our new graduates, all the best for the future.

Staff-Ugrads-PhD-Vint-Cerf

Dr Vint Cerf with staff and new CS PhD and Honours graduates

PhD Studentship: Reasoning about Racy Programs under Relaxed Consistency

A PhD studentship on “Reasoning about Racy Programs under Relaxed Consistency” is available in the School of Computer Science at the University of St Andrews, funded by Microsoft Research and EPSRC.

The project will involve developing reasoning principles and tools for relaxed memory consistency settings. This is a key problem in shared-memory concurrency at the low-level, whether in C or C++, or even higher-level languages such as Java.

The project will be supervised by Dr Susmit Sarkar at the University of St Andrews. Dr Jade Alglave of Microsoft Research Cambridge will be the Microsoft supervisor. During the course of their PhD, Scholars are invited to Microsoft Research in Cambridge for an annual Summer School, and there is also a possibility of paid internships during studies. The studentship is fully funded to pay fees and stipend for students with a relevant connection to the UK.

Applicants are expected to have or expect to obtain a UK first-class Honours or Masters degree (or its equivalent from non-UK institutions) in Computer Science, but the minimum standard we require is an upper second-class Honours degree or equivalent. Some experience in concurrent and/or functional programming and an aptitude for mathematical subjects are required. Knowledge and experience of one or more of formal verification, mechanised proofs, and programming languages is highly desirable.

For further information on how to apply, see our postgraduate web pages. Ideally the student will start in October 2015, or as soon as possible thereafter. Further details on the project and suggested reading is available from Dr Susmit Sarkar.

PhD Scholarship in Data Science

Potential PhD students with a strong background in Computer Science are encouraged to apply for this three-year studentship funded by the Research Council of the European Commission (ERC). The student will work within an interdisciplinary team of researchers from Computer Science and Geography in the WORKANDHOME project (ERC Starting Grant 2014), which investigates how home-based businesses are shaping society and space.

The student will examine the Computer Science challenges within this research project. The exact scope of the PhD project is open to discussion but we anticipate that the successful candidate will be working broadly on Data Science topics, potentially covering one or more of the following areas: cloud computing, social network analysis and agent-based modelling. This is a unique opportunity to work at the cutting edge of systems research. Come join us in St Andrews.

Funding Notes: The studentship will cover UK/EU tuition fees and an annual tax-free stipend of approximately £13,000. Funding will be for three years of full-time study, starting asap.

Applications: It is expected that applicants should have or expect to obtain a UK first-class honours degree (or its equivalent from non-UK institutions) in Computer Science but the minimal standard that we will consider is a UK upper-second class Honours degree or its equivalent.

For further information on how to apply, see our postgraduate web pages. All interested candidates should contact Dr Adam Barker in the first instance to discuss your eligibility for the scholarship and a proposal for research.

Short UG internship: Athena Swan repository

A required project for the SICSA Athena SWAN initiative is to create a repository (website, resource centre, database of statistics) for the SICSA universities ASWAN submissions. The Athena SWAN awards are to do with encouraging more women into the CS area from schools up to senior staff. This work will help CS Schools gather statistics on student numbers and staff numbers as well as good practice events, talks or resources. A notional £500 is associated with the work, 60 hours work.

Please contact Ishbel if you are interested.

PhD Scholarship in Data Science

Potential PhD students with a strong background in Computer Science are encouraged to apply for this three-year studentship funded by the Research Council of the European Commission (ERC). The student will work within an interdisciplinary team of researchers from Computer Science and Geography in the WORKANDHOME project (ERC Starting Grant 2014), which investigates how home-based businesses are shaping society and space.

The student will examine the Computer Science challenges within this research project. The exact scope of the PhD project is open to discussion but we anticipate that the successful candidate will be working broadly on Data Science topics, potentially covering one or more of the following areas: cloud computing, social network analysis and agent-based modelling. This is a unique opportunity to work at the cutting edge of systems research. Come join us in St Andrews.

Funding Notes: The studentship will cover UK/EU tuition fees and an annual tax-free stipend of approximately £13,000. Funding will be for three years of full-time study, starting date ideally in September/October 2015.

Applications: It is expected that applicants should have or expect to obtain a UK first-class honours degree (or its equivalent from non-UK institutions) in Computer Science but the minimal standard that we will consider is a UK upper-second class Honours degree or its equivalent.

For further information on how to apply, see our postgraduate web pages. The closing date for applications is June 30th 2015. All interested candidates should contact Dr Adam Barker in the first instance to discuss your eligibility for the scholarship and a proposal for research.