Computer Science News Archive

Computer-Aided Verification award for Peter O'Hearn

Professor Peter O'Hearn was one of seven researchers to share the 2016 CAV (Computer-Aided Verification) Award.

The annual CAV Award was established in 2008 by the steering committee of the CAV conference, which is the premier international event for reporting research on computer-aided verification, a sub-discipline of Computer Science that is concerned with ensuring that software and hardware systems operate correctly and reliably.

The 2016 CAV Award was given on July 21, 2016, at the 28th annual CAV conference held in Toronto, to Josh Berdine, Cristiano Calcagno, Dino Distefano, Samin I... [more]

Can a computer copy your handwriting?

Researchers at UCL Computer Science have taught a computer to imitate anyone's handwriting. They have created an algorithm that can take a sample of handwritten text, examine its qualities, and then write any text in the same style.

There are already typefaces in word processing programs that produce text in a fairly uniform handwritten style. But what Research Associate Tom Haines, member of UCL'S Intelligent Systems Research Group, and colleagues have done is create software that they claim reproduces the messy details of any individual writer's hand.

They call their system My Text In Your ... [more]

Gordana Novakovic wins Arts Council grant for digital art exhibition

The "Technology Is Not Neutral" exhibition will take place the at Phoenix Brighton as part of Brighton Digital Festival 2016 from 2nd - 25th September. It will be a major new touring exhibition of digital artworks by leading pioneering and contemporary female digital artists. The exhibition is curated by UCL-CS artist in residence Gordana Novakovic, Anna Dumitriu and Irini Papadimitriou.

From drone choreography, sequencing of bacteria and brainwave art to hacking reality, social media activism and telepresence, this exhibition will highlight the contribution of female artists in shaping what... [more]

Battery status used to track people online

Lukasz Olejnik, Research Associate at UCL Computer Science, has contributed to a debate on how battery status indicators might be used to track devices, leading to privacy exposure.

Security researchers from Princeton University have shown that the battery status indicator really is being used in the wild to track user, a year after a privacy warning was issued. By running a specially modified browser, Princeton's Steve Engelhard and Arvind Narayanan found two tracking scripts that used the API to “fingerprint” a specific device, allowing them to continuously identify it across multiple contex... [more]

UCL success at GECCO Human Competitive Awards (HUMIES) 2016

UCL's Centre for Research on Evolution, Search and Testing (CREST) was recognised at the GECCO Human Competitive Awards (HUMIES) 2016 in Denver, Colorado.

The Department would like to congratulate:

Alex Marginean who received the Gold medal and a $5000 prize for his work on Automated Transplantation, with Earl Barr, Justyna Petke, Yue Jia and Mark Harman;


Federica Sarro who received the Bronze medal and a $2000 prize for her work on Multi Objective Effort Estimation with Alessio Petrezziello and Mark Harman.

The Genetic and Evolutionary Computation Conference (GECCO) presents the late... [more]

PhD student wins elevator pitch competition

Jonathan Bootle wins the PhD student elevator pitch competition at the annual ACE-CSR conference.

UCL is among thirteen UK universities that have been recognized as Academic Centres of Excellence in cyber security research by GCHQ and EPSRC. At the annual conference for the ACE-CSRs, UCL PhD student Jonathan Bootle presented joint work with Andrea Cerulli, Pyrros Chaidos, Jens Groth and Christophe Petit on space-efficient zero-knowledge proofs, which was published earlier this year at the internationally leading cryptography conference EUROCRYPT 2016.

The main contribution is a protocol that ... [more]

Yvonne Rogers wins Microsoft Outstanding Collaborator Award

Yvonne Rogers, Professor of Interaction Design and Director of UCL Interaction Centre, has been announced as a Microsoft Research Outstanding Collaborator 2016. In its 25th Anniversary Year Microsoft is highlighting 32 great academics worldwide who have collaborated in a variety of ways with researchers in their labs over the years. These contributions have had an outstanding impact on the direction, visibility and value of Microsoft's research and products.

Since its founding in 1991, Microsoft Research has grown to be a worldwide symbol of excellence in computer science. Our over 1,000 sci... [more]

Computer Science Spinout is a winner at UCL Business' Annual Summer Reception

A data science spinout from UCL Computer Science has received the UCLB One-to-Watch award 2016. Co-founded by the Department's Dr Jun Wang, Reader of Information Systems, MediaGamma has built an Audience Decision Engine, where the “Audience” are viewers of online ads.

The Decision Engine uses Machine Learning to provide information to digital ad trading platforms about the expected behaviour of a person potentially about to view that ad. This helps to inform the real-time decision-making process of the bidding algorithm as to whether or not to show a particular ad to a particular person.

The c... [more]

Displaying results 105 to 112 out of 321