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-30Exploiting memory-level parallelism with programmable data prefetchers
Saad AloteibiDr S. ClarkProf. A. A. Copestake2009-10-012015-03-31
Helena Andres TerreDr P. Lio'Dr T. M. Sauerwald2015-10-01
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-012016-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
Christopher BryantProf. E. J. BriscoeProfessor A. A. Copestake2015-10-01Grammatical Error Detection and Correction Suggestion for Non-Native Writers of English
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-30: Automatic induction of narrative schemas
Lucian CarataProf. A. Hopper,
Dr R. S. Sohan
Dr A. C. Rice2011-10-012016-03-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
Matthew DaggittDr T. G. GriffinProfessor C. Mascolo2015-10-01Mathematical models of Internet routing protocols
Valentin DalibardDr E. Yoneki,
Prof. J. A. Crowcroft
Dr R. Gibbens2012-10-012016-09-30Modelling the structure of communities for distrbuted systems
Giovanna maria DimitriDr P. Lio'Professor S. W. Moore2015-10-01
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
Christopher ElsbyProf. A. MycroftDr A. C. Rice2015-10-01Translation between programming languages
Guy EmersonProf. A. A. CopestakeDr S. Clark2014-10-012018-09-30Functional distributional semantics
Lawrence EsswoodDr R. N. Watson2015-10-01
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
Naman GoelProf. C. MascoloProf. Jason Rentfrow (Psychology)2016-04-10Mobile Systems and Data for Healthcare Analytics
Ionel GogProf. I. M. LeslieProf. J. A. Crowcroft2012-10-012016-09-30Generalized distributed dataflow processing
Matthew GrosvenorDr A. W. MooreDr R. N. Watson2012-01-052016-01-04
Ran GuanDr R. K. HarleDr I. J. Wassell2015-10-01Robust Indoor positioning
Veronica GuidettiDr I. J. WassellDr R. K. Harle2015-10-01
Kevin HeffernanDr S. H. TeufelProfessor E. J. Briscoe2015-10-01Argumentation Patterns in Scientific Discourse
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
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-30High availabilty consensus
Desislava HristovaProf. C. MascoloProf. J. A. Crowcroft2013-04-172017-04-15Profiling users and places through use of multi-layer data
Mohibi HussainProf. J. A. CrowcroftProfessor C. Mascolo2015-10-01Policy based Internet Architecture for Smart Cities
Alexandre JoannouProf. S. W. MooreDr R. N. Watson2013-10-012017-09-30A capability aware memory sub-system
David Kaloper MersinjakDr A. V. MadhavapeddyProf. P. M. Sewell2016-01-04A re-engineered approach to security protocol specification and implementation
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
Amandla MabonaDr S. ClarkProfessor E. J. Briscoe2015-10-01Compositional phrasal embeddings for improved language modelling
Jean MaillardDr S. ClarkDr S. H. Teufel2014-10-012018-09-30Machine Learning methods for Tensor-based Compositional Distributional Semantics
Partha MajiDr R. D. MullinsProfessor S. W. Moore2016-01-04Low-power approximate computing
Neelakandan Manihatty BojanDr A. W. MooreDr T. M. Jones2014-10-012018-09-30Exploring fast hybrid switching architectures for data centre networks
Mariana-Cristina MarasoiuProf. A. F. BlackwellProfessor N. A. Dodgson2015-10-01End-User Programming of Visualizations
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. HoldenDr M. Jamnik2015-10-01Adding Deliberation-Time Awareness to Automated Planning and Acting
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
Ewa MuszynskaProf. A. A. CopestakeProfessor E. J. Briscoe2015-10-01Sentence chunking
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-30Solving the N-by-M problem in provenance systems
Karthik NilakantDr E. YonekiProf. J. A. Crowcroft2011-10-012016-01-30WEDGE: A wide-area efficiently distributed graph engine
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
Katherine OliverProf. J. A. CrowcroftDr R. M. Mortier2016-01-04Obstacles to wearable computing
Richard OrtonProf. A. M. PittsProfessor M. P. Fiore2015-10-01Homotopy Type Theory
Hugo PaquetProf. G. WinskelProfessor M. P. Fiore2015-10-01Strategies with parallel causes
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
Olesya RazuvayevskayaDr S. H. TeufelProfessor A. A. Copestake2015-10-01Argumentation Interpretation and Enthymeme Insertion
Andre RibeiroDr E. Yoneki,
Prof. J. A. Crowcroft
Dr R. Gibbens2012-10-012016-09-30A game-theoretical theory of media
Alexander RichardsonDr R. N. WatsonProfessor S. W. Moore2015-10-01The Implications of Capability-System Design for Persistent Memory Technologies
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
Philip SavilleProf. M. P. FioreProfessor A. W. Pitts2015-10-01Homotopy Type Theory: Theory and Applications
Michael SchaarschmidtDr E. YonekiProfessor J. A. Crowcroft2015-10-01Using reinforcement learning to enable a new class of adaptive service policies
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
Pablo Spivakovsky-GonzalezDr P. Lio'Dr Melissa Clark (BAS)2015-10-01Cold Fish
Roy SplietDr R. D. MullinsProfessor S. W. Moore2015-10-01Programmer-friendly manycore processors
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
Peng SunDr T. M. JonesProf. A. Mycroft2015-10-01Enhancing Automatic Parallelisation Through Dynamic Adaptation
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
Diana VasileDr A. R. BeresfordDr A. V. S. Madhavapeddy2015-04-102019-04-09Improving the delivery of security updates in distributed systems
Petar VelickovicDr P. Lio'Dr T. M. Sauerwald2015-10-01Multi layer networks algorithms using health data
Anita VeroDr S. ClarkDr S. H. Teufel2015-10-01Grounding Compositional Semantics using visual abstraction
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
Hongyan XiaProf. S. W. MooreDr R. D. Mullins2015-10-01Heterogeneous Compute
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. Blackwell,
Dr Ian Cross
2014-10-01Empathy and entrainment in user interfaces
Zheng YuanProf. E. J. BriscoeDr Stephen Clark2013-10-01English 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. MooreProf. R. Penty (CUED)2014-10-012018-09-30Power efficient coding for short-range optic networks
Meng ZhangProf. E. J. BriscoeProf. A. A. Copestake2014-10-012018-09-30Automatic evaluation and visualization of essays written by English as foreign language learners
Jianxin ZhaoProf. J. A. CrowcroftDr R. M. Mortier2015-10-01A User-Centric Participatory Sensing Paradigm in Data Market
Ruoyu ZhouDr T. M. Jones,
Dr R. D. Mullins
Professor A. Mycroft2013-10-012017-09-30Parallelizing application binaries