Computer Laboratory

Protocol for Second Advisers for PhD students

Laboratory research students have a single official supervisor, named to the Board of Graduate Studies, who is primarily responsible for all aspects of the student's research.

The Second Adviser's role is internal to the Laboratory, and is not intended to be highly formalised or onerous. The function of the Second Adviser is to take an interest in and provide additional support for a student through, for example, literature suggestions, informal technical discussion, pointers to resources etc, as appropriate, with a formal commitment to an interview once a term. A student may have more than one Second Adviser.

The Second Adviser would normally be the person appointed by the supervisor to assess and discuss the student's first year report etc. The Second Adviser is also usually the person appointed to assess and discuss the student's second-year report and thesis schedule. Because of the conflict of interests, the Second Adviser may not be appointed PhD Examiner.

The Second Adviser is not required to submit any formal reports. However if they see serious cause for concern in the student's situation, they should contact the Secretary of the Degree Committee.

It is for the supervisor to invite a person to act as Second Adviser, and it may be useful to change advisor if the student's work alters direction. The supervisor should give the Second Adviser's name to the Secretary of the Degree Committee.

A list of current research students, their supervisors and Second Advisers may be found below.

Secretary of the Degree Committee

July 2014

List of students, supervisors and second advisors

studentprimary supervisorsecond adviser secondary supervisorstartexpected finishsubject
Sam Ainsworthtmj32Dr R. D. Mullins2014-10-01Hardware Acceleration for Power-Efficient Heterogeneous Many-Core Architectures
Saad Aloteibisc609Prof. A. A. Copestake2009-10-012014-09-30
Claudio Angionepl219Dr Luca Cardelli MSR2011-10-012015-09-30Biological design automation
Andrius Aucinasjac22Prof. C. Mascolo2011-10-012015-09-30Improving performance and energy efficiency of mobile systems through Cloud Computing
Gareth Baileyrkh23Dr A. R. Beresford2011-10-012015-09-30Long-term sensing for sport and health monitoring
Simon Bakeralk23Dr S. H. Teufel2013-10-01Domain Adaptation of Instance-based Lexical Acquisition
Ntombikayise Bandapr10Prof. N. A. Dodgson2010-10-012015-09-30Multi-modal fusion for affective inference
Khaled Baqerrja14Dr A. R. Beresford2014-10-01Resilient Mobile Payment Systems
Sandro Bauersc609Prof. C. Mascolo2012-04-172016-04-16Topic models for social networks
Alexander Bradburyrdm34Dr S. W. Moore2009-10-012014-09-30Spatial Compilation for Programmable Fabrics
Thomas Brouwerpl219Dr S. B. Holden2014-10-01Machine learning and cortical brain
Jannis Bulianad260tgg222012-10-012016-09-30Definability and Parameterized Complexity
Thomas Bythewayah12Dr R. S. Sohan2014-10-01Provenance systems
Kris Caosc609Prof. A. A. Copestake2014-10-01Categorical models for a distributional CCG semantics
Lucian Carataah12Dr A. C. RiceDr R. S. Sohan2011-10-012015-09-30Assured computing
Alex Chadwickrdm34Dr R. N. Watson2015-10-01Design of operating systems for many-core systems
Oliver Chickacr31am21Dr R. S. Sohan2012-10-012016-09-30Energy efficient application development for mobile platforms
Maxwell Conwaypl219Dr D. J. Greaves2014-10-01Computational Modeling of Comorbidities
Diana Crisanarb33Dr A. V. S. Madhavapeddy2015-04-10Improving the delivery of security updates in distributed systems
Valentin Dalibardey204rg31jac222012-10-012016-09-30Modelling the structure of communities for distrbuted systems
Xin Dingijw24Dr A. C. Rice2012-04-172016-04-16 Block-based adaptive compression sensing for video images
Stephen Dolanam21tgg222012-10-012016-09-30Advanced type systems
Guy Emersonaac10Dr S. Clark2014-10-01Morphosyntactic Parsing of Mandarin Chinese
Luana Teodora Fagarasansc609Prof. A. A. Copestake2013-10-012017-09-30Mapping between semantic spaces
Yimai Fangsht25Prof. A. A. Copestake2013-10-01A summarizer based on human memory limitations
Mariano Feliceejb1Prof. A. A. Copestake2013-01-04Automated Text Quality Assessment
Ziqiang Fengijw24rkh232013-10-01Access Control and Resource Management of Femtocell Network
Marco Ferreira Devesas Camposmpf23lp152011-10-012015-09-30Generalised recursivity in classical logic
Mark Florissonam21Dr A. V. S. Madhavapeddy2014-10-01Storage allocation in modern programming languages
Shaked Flurpes202013-10-01Concurrency Verification
Michael Galeam21Prof. A. M. Pitts2013-10-01Rich Type Systems
Chao Gaorkh23Dr A. R. Beresford2013-10-01Signal maps for Smartphone location
Petko Georgievcm542pl2192013-10-01Improving the energy efficiency of sensor-based applications on co-processor enabled mobile devices
Syed Zafar Ul Hussan Gilanijac22Dr A. W. Moore2014-10-01Interactive analytics for large data-set analysis
Ionel Gogsmh22Prof. J. A. Crowcroft2012-10-012016-09-30Generalized distributed dataflow processing
Matthew Grosvenorawm22rnw242012-01-052016-01-04
Isak Hermanafb21sbh112013-10-012017-09-30Crowd-sourced bioacoustic informatics
Felix Hillalk23Dr S. Clark2012-10-012016-09-30Abstract concrete distinction in language
Alex Horsmanswm11Dr R. N. Watson2014-10-01Abstractions for Hardware Design
Matic Horvataac10Prof. E. J. Briscoewjb2013-10-012017-09-30Robust Natural Language Generation in Hybrid Machine Translation Systems
Heidi Howardjac22Dr A. V. S. Madhavapeddy2014-10-01Policy languages for information flow control and the Law
Desislava Hristovacm542Prof. J. A. Crowcroft2013-04-16Profiling users and places through use of multi-layer data
Zongyan Huanglp15Prof. M. J. C. Gordon2011-10-012015-09-30Experiments on improving formal verification of hybrid systems using automated theorem prover MetiTarski
Vaiva Imbrasaitepr10Prof. N. A. Dodgson2011-10-012015-09-30Multi-modal dimensional emotion tracking in music
Alexandre Joannouswm11Dr R. N. Watson2013-10-01Many-core security
Alexander Katovskygw104Prof. M. J. C. Gordon2010-10-012014-09-30Concurrent games
Sheharbano Khattaksjm217Prof. J. A. Crowcroftrja142013-10-01Understanding, Measuring and Improving Online Privacy
Douwe Kielasc609Dr S. H. Teufel2012-10-012016-09-30Compositional distributional semantics for multi-modal natural language analysis
Tamas Kispetergw104VACANT2014-10-01A language for distributed strategies
Ronny Kocm542Prof. J. M. BaconProf. J. M. Bacon2014-10-01A platform to support the Internet of Things
Ekaterina Kochmarejb1Dr S. Clark2011-10-012015-09-30Native language identification by error analysis
Stephan Kollmannarb33Dr A. C. Rice2014-10-01Privacy and security on mobile devices
Ramana Kumarmjcgpes20mom222011-10-012015-09-30Relating formal theories
Wenda Lilp15Prof. M. J. C. Gordon2013-10-01Real algebraic geometry in Isabelle
Yang Liuijw24Dr R. K. Harle2014-10-01Face Recognition based on Compressive Sensing
Marwa Mahmoudpr10Prof. N. A. Dodgson2010-10-012015-01-15Emotional inference from gestures and expressions
Jean Maillardsc609Prof. A. A. Copestake2014-10-01Machine Learning methods for Tensor-based Compositional Distributional Semantics
Neelakandan Manihatty Bojanawm22Dr T. M. Jones2014-10-01Datacenter architectures based on novel photonic systems
Ilias Marinosrnw24rja142012-10-012016-09-30A Compiler-Assisted Instrumentation Framework for Security Attestation
Justus Matthiesenpes20amp122012-10-012016-09-30Nominal set and dependent types
Kayvan Memarianpes20tgg222011-10-012015-09-30C
David Milleracr31Dr S. W. Moore2007-10-012013-09-30Light links: cooler connections of the future
Negar Miralaeitmj32Dr S. W. Mooream212013-04-172017-04-16Compiler and architectural schemes to combat processor aging for Delaying and Overcoming Microprocessor Errors
Tobias Moncasterjac22Dr A. W. Moore2011-10-012015-09-30INTERNET: Intelligent Energy awaRE NETworks
Mohammad Ali Monipl219sbh112011-05-052015-04-15Machine learning and optimisation approaches for Cancer tissue classification
Alessandro Montanaricm542VACANT2014-10-01Behaviour intervention through mobile systems
Alan Mujumdarswm11rdm342012-01-052016-01-04Communications in massively parallel cloud computer systems
Niall Murphyrdm34am212011-10-012015-09-30A Scalable approach to speculation and prediction in manycore architectures
Kyndylan Nienhuispes20Prof. M. J. C. Gordon2013-10-01Revealing the De Facto C Standard
Balakrishnan Nikilesh Dharmarajah12Dr A. C. RiceDr R. S. Sohan2014-10-01Provenance in Distributed Systems
Karthik Nilakantey204Prof. J. A. Crowcroft2011-10-012015-09-30WEDGE: A wide-area efficiently distributed graph engine
Robert Nortonswm11rdm342011-10-012015-09-30Low latency inter-core communication
Christian O'Connellmgk25Dr I. J. Wassell2014-10-01Model-based assessment of compromising emanations
Annalisa Occhipintipl219rg312013-10-01K-Sat and model order reduction algorithms in multi-scale biological networks
Thomas Pasquierjmb25smh222012-10-012016-09-30Towards information flow control in the Cloud
Tomas Petricekam21amp12Dr Don Syme2011-01-052015-01-04Languages for reactive programming
Jean Pichonpes20Prof. A. M. Pitts2013-10-01Compilation for Relaxed Memory Models
Flora Ponjou Tassenad10Prof. P. Robinson2012-10-012016-09-303D Shape Retrieval
Diana Andreea Popescuawm22Prof. J. A. Crowcroft2014-04-17Software Defined Measurements in Data-centers
Naruemon (Ploy) Pratanwanichpl219Dr S. B. Holden2012-10-012016-09-30Bayesian approaches for learning biological pathway-based latent variables
Raphael Proustam21ss3682012-10-012016-09-30Practical Linear Typing
Christopher Pultepes20Prof. M. J. C. Gordon2014-10-01Verified emulation
Andre Ribeiroey204rg31jac222012-10-012016-09-30A game-theoretical theory of media
Colin Rothwellswm11Dr R. N. Watson2013-10-01Power-efficient computing
Gheorghe Sarburdm34tmj322012-10-012016-09-30Scheduling for Heterogeneous Multicore Processors
Advait Sarkarafb21am21mj2012013-10-01A usable system for program synthesis
Adrian Scoicaejb1Prof. A. A. Copestake2013-10-01Text Readability Classification for Language Learners
Malcolm Scottjac22Dr A. W. Moore2010-10-012014-09-30Network Protocols for Energy-Aware Photonic Networks
Kumar Sharadrja14Dr A. R. BeresfordDr S. J. Murdoch2012-06-222016-04-16The trade-off between centralization and privacy in anonymous payment systems
Yoli Shavitpl219mj2012-10-012016-09-30Computational modelling of the nuclear architecture
David Sheetstmj32avsm2am212013-10-01Towards an Internet-scale DIPA programming model
Jingjing Shennad10Prof. P. RobinsonJiri Kosinka2012-10-012016-09-30Converting trimmed NURBS to subdivision
Laurent Simonrja14fms272012-04-172016-04-16Models of trust in mobile systems
James Sneeacr31Dr A. R. BeresfordDr R. S. Sohan2011-10-012015-12-31Investigating execution behaviour using cross-layer instrumentation
Jyothish Somantmj32swm112014-01-06rowContinuing Execution Despite Permanent Faults in Future Many-Core Processors
William Sonnexlp15Prof. M. J. C. Gordon2011-10-012015-09-30Verifying properties of functional prgrams
Vsevolod Stakhovjac22iml2013-01-232017-01-04IPC for future data centres
Yiannos Stathopoulossht25?2013-10-012017-09-30Retrieval of mathematical concepts via deep indexing
Alistair Steadafb21Dr A. C. Rice2011-10-012015-09-30End user programming for mobiles
Lech Swirskinad10Prof. P. Robinson2010-10-012014-09-30Dynamic depth cues
Daniel Thomasarb33Dr A. C. Rice2012-10-012016-09-30Secure applications for the internet of things
Ivo Timoteosbh11pl2192012-10-012016-09-30Identification of dynamic systems from time-series data
Theodosia Togiaaac10Dr S. Clark2011-10-012015-09-30Uncovering Implicit Relations in Folksonomy
Gregory Tsipenyukjac22ey2042013-10-01Graph data processing on graphs of mobile devices
David Turnerijw24rkh232013-10-01Wireless condition monitoring for rail vehicles
Raoul-Gabriel Urmaam21tgg222011-10-012015-09-30Programming language evolution
Pengming Wangad260amp122013-10-012017-09-30Complexity of constraint satisfaction
Yu Wangijw24rkh232012-01-052016-01-04Compressive sensing enhanced spectrum sensing with cyclic feature detection
Gregory Wilsenachad260Dr A. R. Beresford2014-10-01Choiceless Polynomial Time
Erroll Woodpr10Prof. N. A. Dodgson2013-10-012017-09-30Presence and interaction for tele-immersive systems
Menglin Xiaejb1Prof. A. A. Copestake2014-10-01Text Readability and Simplification for Non-Native Readers
Hui Xiaopl219Anne Ferguson-SmithProf. Anne Ferguson-Smith MoleBio2014-04-17Computational modelling of epigenetic changes and developmentally relevant metabolic signalling pathways in early development
Wenduan Xusc609Prof. E. J. Briscoe2012-01-052016-01-04Chinese Syntactic Processing using Machine Learning
Dongting Yurja14Dr A. W. Moore2010-10-012014-11-30Security economics of the Internet infrastructure
Guo Yuafb21Dr Ian Cross, CMS2014-10-01Empathy and entrainment in user interfaces
Zheng Yuanejb1Dr S. Clark2013-10-01English learner error detection and correction via statistical machine translation
Bjoern Zeebawm22rnw242012-10-012016-09-30Rethink 4.1aBSD and subsequent network stack design choices.
Jingyun Zhangawm222014-10-01
Meng Zhangejb1Prof. A. A. Copestake2014-10-01Automated tutoring of English as a further language
Ruoyu Zhoutmj32Professor A. Mycroftrdm342013-10-01Guided Speculative Parallelisation of Application Binaries