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 adviser 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 research students, supervisors and second advisers

second adviser startedexpected finishsubject
Andra AdamsProf. P. RobinsonProf. N. A. Dodgson2010-10-012015-12-31An android head for social-emotional intervention for children with autism spectrum conditions
Sam AinsworthDr T. M. JonesDr R. D. Mullins2014-10-012018-09-30Hardware Acceleration for Power-Efficient Heterogeneous Many-Core Architectures
Saad AloteibiDr S. ClarkProf. A. A. Copestake2009-10-012015-03-31
Gareth BaileyDr R. K. HarleDr A. R. Beresford2011-10-012015-09-30Long-term sensing for sport and health monitoring
Simon BakerDr A. L. KorhonenDr S. H. Teufel2013-10-012017-09-30Adaptive semantic text classification for Biomedicine
Ntombikayise BandaProf. P. RobinsonProf. N. A. Dodgson2010-10-012015-09-30Multi-modal fusion for affective inference
Khaled BaqerProf. R. J. AndersonDr A. R. Beresford2014-10-012018-09-30Resilient Mobile Payment Systems
Sandro BauerDr S. H. Teufel,
Dr S. Clark
Prof. C. Mascolo2012-04-172016-04-16Topic models for social networks
Alexander BradburyDr R. D. MullinsDr S. W. Moore2009-10-012014-09-30Spatial Compilation for Programmable Fabrics
Thomas BrouwerDr P. Lio'Dr S. B. Holden2014-10-012018-09-30Machine learning and cortical brain
Luana Teodora BulatDr S. ClarkProf. A. A. Copestake2013-10-012017-09-30Mapping between semantic spaces
Jannis BulianProf. A. DawarDr T. G. Griffin2012-10-012016-09-30Definability and Parameterized Complexity
Thomas BythewayProf. A. HopperDr R. S. Sohan2014-10-012018-09-30Provenance systems
Kris CaoDr S. ClarkProf. E. J. Briscoe2014-10-012018-09-30Categorical models for a distributional CCG semantics
Lucian CarataProf. A. Hopper,
Dr R. S. Sohan
Dr A. C. Rice2011-10-012015-09-30Assured computing
Alex ChadwickDr R. D. MullinsDr R. N. Watson2015-10-012018-09-30Design of operating systems for many-core systems
Oliver ChickDr A. C. Rice,
Dr R. S. Sohan
Prof. A. Mycroft2012-10-012016-09-30Energy efficient application development for mobile platforms
Maxwell ConwayDr P. Lio'Dr D. J. Greaves2014-10-012018-09-30Computational Modeling of Comorbidities
Valentin DalibardDr E. Yoneki,
Prof. J. A. Crowcroft
Dr R. Gibbens2012-10-012016-09-30Modelling the structure of communities for distrbuted systems
Xin DingDr I. J. WassellDr A. C. Rice2012-04-172016-04-16 Block-based adaptive compression sensing for video images
Stephen DolanProf. A. MycroftDr T. G. Griffin2012-10-012016-09-30Advanced type systems
Guy EmersonProf. A. A. CopestakeDr S. Clark2014-10-012018-09-30Functional distributional semantics
Yimai FangDr S. H. TeufelProf. A. A. Copestake2013-10-012017-09-30Generalized coreference for automatic summarization
Mariano FeliceProf. E. J. BriscoeProf. A. A. Copestake2013-01-042017-01-03Automated Text Quality Assessment
Ziqiang FengDr I. J. WassellDr Robert Harle2013-10-012017-09-30Cross-layer wireless cooperative communication for delay and loss sensitive applications
Marco Ferreira Devesas CamposProf. M. P. FioreProf. L. Paulson2011-10-012015-09-30Generalised recursivity in classical logic
Mark FlorissonProf. A. MycroftDr A. V. S. Madhavapeddy2014-10-012018-09-30Storage allocation in modern programming languages
Shaked FlurProf. P. M. SewellProf. S. W. Moore2013-10-012017-09-30ARM concurrency
Michael GaleProf. A. MycroftDr A. V. S. Madhavapeddy2013-10-012017-09-30Reasoning about monad hierarchies
Chao GaoDr R. K. HarleDr A. R. Beresford2013-10-012017-09-30Signal maps for Smartphone location
Petko GeorgievProf. C. MascoloDr P. Lio2013-10-012017-09-30Improving the energy efficiency of sensor-based applications on co-processor enabled mobile devices
Syed Zafar Ul Hussan GilaniProf. J. A. CrowcroftDr A. W. Moore2014-10-012018-09-30Interactive analytics for large data-set analysis
Ionel GogDr S. M. HandProf. J. A. Crowcroft2012-10-012016-09-30Generalized distributed dataflow processing
Matthew GrosvenorDr A. W. MooreDr R. N. Watson2012-01-052016-01-04
Isak HermanProf. A. F. BlackwellDr S. B. Holden2013-10-012017-09-30Crowd-sourced bioacoustic informatics
Felix HillDr A. L. KorhonenDr S. Clark2012-10-012016-09-30Abstract concrete distinction in language
Alex HorsmanProf. S. W. MooreDr R. N. Watson2014-10-012018-09-30Abstractions for Hardware Design
Matic HorvatProf. A. A. Copestake,
Prof. W. J. Byrne, CUED
Prof. E. J. Briscoe2013-10-012017-09-30Robust Natural Language Generation in Hybrid Machine Translation Systems
Heidi HowardProf. J. A. CrowcroftDr A. V. S. Madhavapeddy2014-10-012018-09-30Policy languages for information flow control and the Law
Desislava HristovaProf. C. MascoloProf. J. A. Crowcroft2013-04-172017-04-15Profiling users and places through use of multi-layer data
Zongyan HuangProf. L. C. PaulsonProf. M. J. C. Gordon2011-10-012015-09-30Experiments on improving formal verification of hybrid systems using automated theorem prover MetiTarski
Alexandre JoannouProf. S. W. MooreDr R. N. Watson2013-10-012017-09-30A capability aware memory sub-system
Sheharbano KhattakProf. J. A. Crowcroft,
Dr S. J. Murdoch
Prof.R. J. Anderson2013-10-012017-09-30Tweakable Pluggable Transports for Flexible Circumvention
Douwe KielaDr S. ClarkDr S. H. Teufel2012-10-012016-09-30Compositional distributional semantics for multi-modal natural language analysis
Tamas KispeterProf. G. WinskelVacant2014-10-012018-09-30A language for distributed strategies
Ronny KoProf. C. Mascolo,
Prof. J. M. Bacon
Prof. J. M. Bacon2014-10-012018-09-30A platform to support the Internet of Things
Stephan KollmannDr A. R. BeresfordDr A. C. Rice2014-10-012018-09-30Privacy and security on mobile devices
Wenda LiProf. L. C. PaulsonProf. M. J. C. Gordon2013-10-012017-09-30Real algebraic geometry in Isabelle
Yang LiuDr I. J. WassellDr R. K. Harle2014-10-012018-09-30Face Recognition based on Compressive Sensing
Jean MaillardDr S. ClarkDr S. H. Teufel2014-10-012018-09-30Machine Learning methods for Tensor-based Compositional Distributional Semantics
Neelakandan Manihatty BojanDr A. W. MooreDr T. M. Jones2014-10-012018-09-30Datacenter architectures based on novel photonic systems
Ilias MarinosDr R. N. WatsonProf. R. J. Anderson2012-10-012016-09-30A Compiler-Assisted Instrumentation Framework for Security Attestation
Justus MatthiesenProf. P. M. SewellProf. A. M. Pitts2012-10-012016-09-30Nominal set and dependent types
Kayvan MemarianProf. P. M. SewellDr T. G. Griffin2011-10-012015-09-30C
Toby MillerDr S. B. Holdenpl2192015-10-012019-09-30Time-aware planning algorithms
Negar MiralaeiDr T. M. Jones,
Prof. A. Mycroft
Dr S. W. Moore2013-04-172017-04-16Compiler and architectural schemes to combat processor aging for Delaying and Overcoming Microprocessor Errors
Alessandro MontanariProf. C. MascoloVacant2014-10-012018-09-30Behaviour intervention through mobile systems
Alan MujumdarProf. S. W. MooreDr R. D. Mullins2012-01-052016-01-04Communications in massively parallel cloud computer systems
Niall MurphyDr R. D. MullinsProf. A. Mycroft2011-10-012015-09-30A Scalable approach to speculation and prediction in manycore architectures
Kyndylan NienhuisProf. P. M. SewellProf. M. J. C. Gordon2013-10-012017-09-30Revealing the De Facto C Standard
Balakrishnan Nikilesh DharmarajProf. A. Hopper,
Dr R. S. Sohan
Dr A. C. Rice2014-10-012018-09-30Provenance in Distributed Systems
Karthik NilakantDr E. YonekiProf. J. A. Crowcroft2011-10-012015-09-30WEDGE: A wide-area efficiently distributed graph engine
Robert NortonProf. S. W. MooreDr R. D. Mullins2011-10-012015-09-30Low latency inter-core communication
Christian O'ConnellDr M. G. KuhnDr I. J. Wassell2014-10-012018-09-30Model-based assessment of compromising emanations
Annalisa OcchipintiDr P. Lio'Dr R. Gibbens2013-10-012017-09-30Survival analysis in computational cancer models
Thomas PasquierProf. J. M. BaconVacant2012-10-012016-09-30Towards information flow control in the Cloud
Jean Pichon-PharabodProf. P. M. SewellProf. A. Mycroft2013-10-012017-09-30Memory models: reasoning and optimisation
Flora Ponjou TasseProf. N. A. DodgsonProf. P. Robinson2012-10-012016-09-303D Shape Retrieval
Diana Andreea PopescuDr A. W. MooreProf. J. A. Crowcroft2014-04-172018-04-16Software Defined Measurements in Data-centers
Naruemon (Ploy) PratanwanichDr P. Lio'Dr S. B. Holden2012-10-012016-09-30Bayesian approaches for learning biological pathway-based latent variables
Raphael ProustProf. A. MycroftVacant2012-10-012016-09-30Practical Linear Typing
Christopher PulteProf. P. M. SewellProf. M. J. C. Gordon2014-10-012018-09-30Verified emulation
Andre RibeiroDr E. Yoneki,
Prof. J. A. Crowcroft
Dr R. Gibbens2012-10-012016-09-30A game-theoretical theory of media
Alessandro RinaldiDr P. Lio'Dr S. B. Holden2014-04-172018-04-16MACHINE LEARNING APPLIED TO MULTI OMICS INTEGRATION
Colin RothwellProf. S. W. MooreDr R. N. Watson2013-10-012017-09-30 A flexible, efficient accelerator fabric
Gheorghe SarbuDr R. D. MullinsDr T. M. Jones2012-10-012016-09-30Scheduling for Heterogeneous Multicore Processors
Advait SarkarProf. A. F. Blackwell,
Dr M. Jamnik
Prof. A. Mycroft2013-10-012017-09-30A usable system for program synthesis
Adrian ScoicaProf. E. J. BriscoeProf. A. A. Copestake2013-10-012017-09-30Content-based Automatic Citation Recommendation
Kumar SharadProf. R. J. Anderson,
Dr S. J. Murdoch
Dr A. R. Beresford2012-06-222016-04-16The trade-off between centralization and privacy in anonymous payment systems
Yoli ShavitDr P. Lio'Dr M. Jamnik2012-10-012016-09-30Computational modelling of the nuclear architecture
David SheetsDr A. V. Madhavapeddy,
Prof. J. A. Crowcroft
Prof. A. Mycroft2013-10-012017-09-30Resolution as a resource
Jingjing ShenProf. N. A. Dodgson,
Dr J. Kosinka
Prof. P. Robinson2012-10-012016-09-30Converting trimmed NURBS to subdivision
Laurent SimonProf. R. J. AndersonDr F. M. Stajano2012-04-172016-04-16Models of trust in mobile systems
James SneeDr A. C. Rice,
Dr R. S. Sohan
Dr A. R. Beresford2011-10-012015-12-31Investigating execution behaviour using cross-layer instrumentation
Jyothish SomanDr T. M. Jones,
Prof. S. W. Moore
Dr R. D. Mullins2014-01-062018-01-05A Software-Hardware Co-Design for Tolerating Hard Faults in Multicore Processors
William SonnexProf. L. C. PaulsonProf. M. J. C. Gordon2011-10-012015-09-30Verifying properties of functional prgrams
Vsevolod StakhovProf. J. A. CrowcroftDr A. V. S. Madhavapeddy2013-01-042017-01-04IPC for future data centres
Yiannos StathopoulosDr S. H. TeufelDr S. Clark2013-10-012017-09-30Retrieval of mathematical concepts via deep indexing
Daniel ThomasDr A. R. BeresfordDr A. C. Rice2012-10-012016-09-30Secure applications for the internet of things
Ivo TimoteoDr S. B. HoldenDr P. Lio2012-10-012016-09-30Identification of dynamic systems from time-series data
Gregory TsipenyukProf. J. A. CrowcroftDr E. Yoneki2013-10-012017-09-30From client-server to peer-to-peer
David TurnerDr I. J. WassellDr Robert Harle2013-10-012017-09-30Real Time Compressive Sensing and Classification
Raoul-Gabriel UrmaProf. A. MycroftDr T. G. Griffin2011-10-012015-09-30Programming language evolution
Diana VasileDr A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102019-04-09Improving the delivery of security updates in distributed systems
Pengming WangProf. A. DawarProf. A. M. Pitts2013-10-012017-09-30Complexity of constraint satisfaction
Yu WangDr I. J. WassellDr R. K. Harle2012-01-052016-01-04Compressive sensing enhanced spectrum sensing with cyclic feature detection
Gregory WilsenachProf. A. DawarProf. M. P. Fiore2014-10-012018-09-30Mathematical Logic
Erroll WoodProf. P. RobinsonProf. N. A. Dodgson2013-10-012017-09-30Presence and interaction for tele-immersive systems
Menglin XiaProf. E. J. BriscoeProf. A. A. Copestake2014-10-012018-09-30Readability and summarization for non-native reading comprehension assessment
Hui XiaoDr P. Lio',
Prof. Anne Ferguson-Smith, MoleBio
Prof. Anne Ferguson-Smith2014-04-172018-04-16Computational modelling of epigenetic changes and developmentally relevant metabolic signalling pathways in early development
Wenduan XuDr S. ClarkProf. E. J. Briscoe2012-01-052016-01-04Chinese Syntactic Processing using Machine Learning
Guo YuProf. A. F. BlackwellDr Ian Cross, CMS2014-10-012018-09-30Empathy and entrainment in user interfaces
Zheng YuanProf. E. J. BriscoeDr S. Clark2013-10-012017-09-30English learner error detection and correction via statistical machine translation
Bjoern ZeebDr A. W. MooreDr R. N. Watson2012-10-012016-09-30Rethink 4.1aBSD and subsequent network stack design choices.
Jingyun ZhangDr A. W. MooreCUED2014-10-012018-09-30
Meng ZhangProf. E. J. BriscoeProf. A. A. Copestake2014-10-012018-09-30Automatic evaluation and visualization of essays written by English as foreign language learners
Ruoyu ZhouDr T. M. Jones,
Dr R. D. Mullins
Professor A. Mycroft2013-10-012017-09-30Parallelizing application binaries