Uncategorized | Page 3 | Computer Science Blog

Please take part in our 10 minute survey about the use of Open Researcher and Contributor IDs (ORCID):

June 19, 2017

Are you a researcher or research student? Please take part in our 10 minute survey about the use of Open Researcher and Contributor IDs (ORCID): This survey aims to establish the extent to which researchers at the University of St Andrews are using ORCID identifiers during their work. The survey will collect anonymous data about the awareness and … Please take part in our 10 minute survey about the use of Open Researcher and Contributor IDs (ORCID):

Graduation Celebrations

June 13, 2017

Wednesday 21st June As usual the school will host a small reception in the Jack Cole coffee area between 10.30 and 12.30, come along and enjoy a glass of bubbly and a cream cake or two in true Computer Science fashion! All graduating students, their guests and staff members are invited.

SACHI Seminar: Oliver Schneider and Karon MacLean

June 2, 2017

We have a SACHI seminar on Monday 12th June 2017 which will be given by two speakers, presenting two connected talks within the normal hour slot. The speakers are Dr Oliver Schneider from the Hasso Plattner Institute in Potsdam, Germany and Professor Karon MacLean who is Professor of Computer Science at the University of British Columbia, Canada. Details for … SACHI Seminar: Oliver Schneider and Karon MacLean

Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)

May 30, 2017

Jacob Howe, City University, London Abstract: This talk will recap how a watched literal DPLL based SAT solver can be succinctly coded in 20 lines of Prolog. The focus of the talk will be the extension of this solver to an SMT solver which will be discussed with a particular focus on the case where the … Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)

Implementing Event-Driven Microservices Architecture using Functional programming

March 1, 2017

*PLEASE NOTE THIS TALK WILL TAKE PLACE IN BMS BUILDING – SEMINAR ROOM 113* BIO: Nikhil Barthwal is a polyglot programmer currently working as a Senior Software Engineer at Jet.com, an e-commerce startup recently acquired by Walmart. He works in the Tools & Productivity team with the aim of making developers more productive, as well … Implementing Event-Driven Microservices Architecture using Functional programming

Research Fellow Position Available: 3.5 years in Constraint Programming/Combinatorial Search and Machine Learning

February 22, 2017

Associated with the recently-funded EPSRC grant A Constraint Modelling Pipeline, a 3.5-year postdoctoral research fellow position is available in the School. Full details can be found at the University vacancies page.

Seminar: The technology driving the evolution of internet advertising, targeted advertising or intrusive surveillance?

February 13, 2017

“The technology driving the evolution of internet advertising, targeted advertising or intrusive surveillance?” Tim Palmer, Senior Partner, Digiterre (http://www.digiterre.com)

MacMillan Coffee Morning

September 26, 2016

The yearly World’s Biggest Coffee Morning for MacMillan cancer support is on Friday 30th September. Staff and students are invited to donate cakes, biscuits or home produce for sale on Friday morning from 10.45am in the JCB coffee area. Everyone is invited to bake, cook or donate either national delicacies or just something you want … MacMillan Coffee Morning

Two more Internship Opportunities

April 22, 2016

Two new internships for summer 2016 are available in the Artificial Intelligence Research Group. Internship 1: “What did I just do and how can I do it again?” Supervisors: Ian Gent & Chris Jefferson Internship 2: “Mixed Integer Programming Backend for Savile Row” Supervisors: Chris Jefferson & Peter Nightingale The deadline for applying is Wednesday … Two more Internship Opportunities

School Seminar Slides: ‘Probabilistic Formal Analysis of App Usage to Inform Redesign’ by Oana Andrei’

February 15, 2016

Following the successful School Seminar on Tuesday 9th February, ‘Probabilistic Formal Analysis of App Usage to Inform Redesign’ by Oana Andrei’, please find attached the speaker’s slides.