News - all

Awards

Ian Horrocks has been elected an ECCAI Fellow by the ECCAI board, one of seven fellows elected in 2009. The fellows certificate will be presented to him during ACAI-09 in Belfast in August.

Awards

Joel Ouaknine (Verification) has been awarded an EPSRC Leadership Fellowship 2009.

Awards

Joel Quaknine, along with co-investigators James Worrell and Andrzej Murawski, has been awarded an EPSRC grant titled "Automated Verification of Probabilistic Programs" with an awarded value of £292,618 (FEC cost equivalent of £358,730) (EP/G069158/1 ). The grant was ranked first (out of the 56 considered) of what was felt to be a very high quality panel. The grant will mainly support two postdocs for a period of 1.5 years.

Events

Monday 24 - Wednesday 26 August, 2009 Oxford University Computing Laboratory

Awards

Stuart Golodetz, Irina Voiculescu and Stephen Cameron's paper "Progress on a Decision-Support System for Abdominal CT Scans" was selected for a Best Paper Award in the area of Telemedicine and e-Health at the HSI 2009 Conference.

Publications

The Computing Laboratory featured in a recent series on ICT Research & Development in UK universities, published in E&T.

Awards

Georg Gottlob, Stephanie Lee and Gregory Valiant's paper "Size and Treewidth Bounds for Conjunctive Queries" has been selected for the Best Paper Award at the 2009 ACM SIGMOD/PODS Conference