A PhD studentship, in collaboration with MSR (Cambridge)

Reasoning about Racy Programs under Relaxed Consistency

A PhD studentship, in collaboration with MSR (Cambridge)

http://research.microsoft.com/en-us/collaboration/global/apply-europe.aspx>

Each Microsoft scholarship consists of an annual bursary up to a maximum of three years. The amount varies in different countries and may depend on specific arrangement with public research funding agencies. The bursary continues automatically the following years, provided the Scholar meets the requirements of the institution.

Payment is made to the institution. The amount of the scholarship is the maximum amount Microsoft Research pays to the institution. In addition, every Scholar receives a laptop allowance.

During the course of their PhD, Scholars are invited to Microsoft Research in Cambridge for a PhD Summer School that includes a series of talks of academic interest and posters sessions, which provides the Scholars the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.

Some of the Scholars may also be offered—at the sole discretion of Microsoft Research—an internship in one of the Microsoft Research laboratories. Internships involve working on a project alongside and as part of a team of Microsoft researchers. Scholars are paid during their internship—in addition to their scholarship bursary. Interested Scholars can apply through the Microsoft Research internship website.

 

What’s happening to computer hardware, and what does it mean for systems software?

Mothy RoscoeThe first set of Computer Science Distinguished Lectures in 2015 will
be given by Prof Mothy Roscoe of ETH Zurich, 09:15–15:30 on Thursday 2nd April
in the Byre Theatre.

Computer systems are not what they used to be, and the days when a
machine could be described as a processor, some memory, and some I/O
devices are long gone. Modern machines, from Systems-on-a-Chip in
phones to rack-scale data appliances, are themselves complex networks
of heterogeneous processing elements, different kinds of memory, and
diverse communication links.
Continue reading

Event details

  • When: 2nd April 2015 09:15 - 15:30
  • Where: St Andrews
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

A New CNC Router

CNC6040
A new CNC Router has just been undergoing its initial testing and calibration procedures. Its purchase was jointly funded by the School and the Research Groups of Professor Al Dearle , Professor Simon Dobson and Dr Miguel Nacenta. The router will be used for the manufacture of printed circuit boards , it can also be used to machine Plastic and Aluminium parts for research and student projects using suitable 3D CAD software such as FreeCAD. All the software used thus far has been Open Source and is as follows LinuxCNC for the machine controller , KiCAD for PCB design , pcb2gcode for the conversion of the Gerber file generated by KiCAD into GCode for the CNC Router. This allows one to manufacture PCBs using the copper isolation method , this is done using the Router cutter to create individual tracks on the blank copper PCB material using the generated GCode of the PCB design.

A PCB

The image above shows a newly made PCB that has been routed and is also drilled ready for electronic components to be inserted.

Notable Woman in Computing Card Deck

Available on a coffee table (Jack Cole) near you: Notable Women in Computing playing card deck featuring 54 notable women in computer science. Play your favourite card game and learn more about the history and future of women in computer science. Read more about the KickStarter and Wiki Project.

WIC

Ae fond farewell: Anne and Joy

As we start a new semester, we take time to reflect on those leaving the department. Fare thee well Anne and Joy. The School hosted a retirement reception for them last week. We thank them for all their hard work over many years and their contribution to making the School such a great place to work and study. They are pictured below being presented with flowers and keepsakes.

reception

School Seminar Series: Matching in Practice: Junior Doctor Allocation and Kidney Exchange

Matching in Practice: Junior Doctor Allocation and Kidney Exchange by Dr. David Manlove

Abstract:
Matching problems typically involve assigning agents to commodities, possibly on the basis of ordinal preferences or other metrics. These problems have large-scale applications to centralised matching schemes in many countries and contexts. In this talk I will describe the matching problems featuring in two such schemes in the UK that have involved collaborations between the National Health Service and the University of Glasgow. One of these dealt with the allocation of junior doctors to Scottish hospitals (1999-2012), and the other is concerned with finding kidney exchanges among incompatible donor-patient pairs across the UK (2007-date). In each case I will describe the applications, present the underlying algorithmic problems, outline the computational methods for their solution and give an overview of results arising from real data connected with the matching schemes in recent years.

BIO:
David Manlove is a Senior Lecturer at the School of Computing Science, University of Glasgow, where he has been since 1995. His research interests lie mainly in the field of algorithms and complexity, and include algorithms for matching problems involving preferences. These arise in applications such as the assignment of school leavers to universities, kidney patients to donors and junior doctors to hospitals. He and his colleagues have been involved in collaborations with the NHS in relation to the Scottish Foundation Allocation Scheme (for matching junior doctors to hospitals) and the National Living Donor Kidney Sharing Schemes (for enabling kidney “swaps” between incompatible donor-patient pairs) where optimal matching algorithms developed by him and colleagues have been deployed. He has over 50 publications in this area including his book “Algorithmics of Matching Under Preferences”, published in 2013.

Event details

  • When: 3rd February 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Talk

School Seminar Series: Statistically Consistent Estimation and Efficient Inference for Natural Language Parsing

Statistically Consistent Estimation and Efficient Inference for
Natural Language ParsingBy Shay Cohen, University of Edinburgh.

Abstract:
In the past few years, there has been an increased interest in the machinel earning community in spectral algorithms for estimating models with latent variables. Examples include algorithms for estimating mixture of Gaussians or for estimating the parameters of a hidden Markov model.

The EM algorithm has been the mainstay for estimation with latent variables, but because it is guaranteed to converge to a local maximum of the likelihood, it is not a consistent estimator. Spectral algorithms, on the other hand, are often shown to be consistent. They are often more computationally efficient than EM.

In this talk, I am interested in presenting two types for spectral algorithms for latent-variable PCFGs, a model widely used in the NLP community for parsing. One algorithm is for consistent estimation of L-PCFGs, and the other is for efficient inference with L-PCFGs (or PCFGs). Both algorithms are based on linear-algebraic formulation of L-PCFGs and PCFGs.

BIO:
Shay Cohen is a Chancellor’s fellow (assistant professor) at the University of Edinburgh (School of Informatics). Before that, he was a postdoctoral research scientist in the Department of Computer Science at Columbia University, and held an NSF/CRA Computing Innovation Fellowship. He received his B.Sc. and M.Sc. from Tel Aviv University in 2000 and 2004, and his Ph.D. from Carnegie Mellon University in 2011. His research interests span a range of topics in natural language processing and machine learning, with a focus on structured prediction. He is especially interested in developing efficient and scalable parsing algorithms as well as learning algorithms for probabilistic grammars.

Event details

  • When: 21st January 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Talk

Research Evaluation Framework 2014

The results of the UK Research Evaluation Framework 2014 were released publicly today. The School of Computer Science was rated 14th in the UK (and a close 2nd in Scotland) in terms of research outputs, which is a measure of how our research compares to the best in the world. Over 30% of our submitted papers received the highest 4* ranking, with a further 55% receiving the 3* ranking.

“We’re delighted with this result,” said Prof Steve Linton, the Head of School. “Coming alongside our top placement in the UK for teaching Computer Science, it shows that that we’ve managed to achieve a balance between our two core activities while maintaining the quality of each.  It’s a confirmation of our high standing in the subject and leaves us excited for future developments.”

On the broader evaluation metrics that include research environment and non-academic impact, as well as research quality, the School was ranked 27th in the UK (4th in Scotland). “We submitted three impact case studies ranging from cloud computing to improving cultural engagement through virtual reality,” said Prof Simon Dobson, the School’s Director of Research. “These are all strategic areas that we’ll be keen to build on.”

Institutionally, the University of St Andrews was ranked 19th overall in the UK, and 2nd in Scotland.

FatFonts and a World Population Map

Looking for an unusual Christmas gift? Look no further, the first ever FatFonts World Population Map is now available in the Axis Maps store. All proceeds from the maps will fund more research and help us provide exciting internships for students.

fatFontPoster-01

Created by Miguel Nacenta and Uta Hinrichs, the map shows how the population of the world is distributed. It uses a typographic visualization technique – FatFonts which allows you to read the exact number of people living in a particular area with a precision within 100,000 people. View the gallery of lytro pictures for further images.

FatFonts are also available to download and use, or for the more inspired, try creating your own.

Although a quirky idea, FatFonts seem to have a bunch of usages… for example, they are convenient when you want to provide a table of numbers that is also a graphical representation. This allows the viewer (or the reader) to very quickly capture the overall distribution, but also to go in and read the specific number, which they can then use to compare to other numbers (in the FatFonts table or in their heads).

FatFonts are great in maps, and that is why Uta and I set out to create a poster that would give a picture of one of the most pressing issues of our time: world population. Thanks to SICSA (and our wonderful helpers Carson, Jed, and Michael), we got the time, money and support to develop the idea. The result is a poster that represents the population of the world using FatFonts. – Miguel Nacenta

Read more about the World Map and FatFonts on Miguel’s blog, the SACHI blog and at FatFonts.