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
Sam AinsworthDr T. M. JonesDr R. D. Mullins2014-10-012018-09-30Exploiting memory-level parallelism with programmable data prefetchers
Helena Andres TerreDr P. Lio'Dr T. M. Sauerwald2015-10-012019-09-30
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-07-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-012019-09-30Grammatical 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
Alex ChadwickDr R. D. MullinsDr R. N. Watson2015-10-012019-09-30Design of operating systems for many-core systems
Maxwell ConwayDr P. Lio'Dr T. Sauerwald2014-10-012018-09-30Computational Modeling of Comorbidities
Matthew DaggittDr T. G. GriffinProfessor M. P. Fiore2015-10-012019-09-30Mathematical 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 C. Mascolo2015-10-012019-09-30Development of New Bioinformatics Algorithms for Interfacing Cyber-Physical applications
Stephen DolanProf. A. MycroftDr T. G. Griffin2012-10-012016-09-30Advanced type systems
Christopher ElsbyProf. A. MycroftDr A. C. Rice2015-10-012019-09-30Translation between programming languages
Guy EmersonProf. A. A. CopestakeDr S. Clark2014-10-012018-09-30Functional distributional semantics
Lawrence EsswoodDr R. N. WatsonProf. R. J. Anderson2015-10-012019-09-30
Yimai FangDr S. H. TeufelProf. A. A. Copestake2013-10-012017-09-30Generalized coreference for automatic summarization
Ziqiang FengDr I. J. WassellDr Robert Harle2013-10-012017-09-30Cross-layer wireless cooperative communication for delay and loss sensitive applications
Mark FlorissonProf. A. MycroftDr A. V. S. Madhavapeddy2014-10-012018-09-30Decentralised component systems
Shaked FlurProf. P. M. SewellProf. S. W. Moore2013-10-012017-09-30ARM concurrency
Michael GaleProf. A. MycroftDr A. V. S. Madhavapeddy2013-10-012018-03-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-102020-04-09Mobile Systems and Data for Healthcare Analytics
Ionel GogProf. I. M. LeslieProf. J. A. Crowcroft2012-10-012016-09-30Generalized distributed dataflow processing
Ran GuanDr R. K. HarleDr I. J. Wassell2015-10-012019-09-30Robust Indoor positioning
Veronica GuidettiDr I. J. WassellDr R. K. Harle2016-01-042019-09-30
Kevin HeffernanDr S. H. TeufelProfessor E. J. Briscoe2015-10-012019-09-30Argumentation 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-012019-09-30Policy based Internet Architecture for Smart Cities
Muhammad Umar JanjuaProf. A. Mycroft,
2003-10-012016-05-31The Software/Hardware Interface
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-042020-01-03A 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. WinskelProf. A. Mycroft2014-10-012018-09-30A bridge between operational and denotational semantics of concurrency
Stephan KollmannDr A. R. BeresfordDr A. C. Rice2014-10-012018-09-30Privacy and security on mobile devices
Alexander KuhnleProf. A. A. CopestakeDr S. Clark2015-10-012019-09-30Distributional Semantics for Latin
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-012019-09-30Compositional phrasal embeddings for improved language modelling
Jean MaillardDr S. ClarkDr S. H. Teufel2014-10-012018-09-30Machine Learning Methods for Natural Language Semantics
Partha MajiDr R. D. MullinsProfessor S. W. Moore2016-01-042020-01-03Low-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-012019-09-30End-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-012019-09-30Adding 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
Ewa MuszynskaProf. A. A. CopestakeProfessor E. J. Briscoe2015-10-012019-09-30Sentence chunking
Kyndylan NienhuisProf. P. M. SewellProf. M. J. C. Gordon2013-10-012017-09-30Verifying the correctness of compartmentalisation in CHERI
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-10-012020-09-30Obstacles to wearable computing
Richard OrtonProf. A. M. PittsProfessor M. P. Fiore2015-10-012019-09-30Homotopy Type Theory
Hugo PaquetProf. G. WinskelProfessor M. P. Fiore2015-10-012019-09-30Strategies with parallel causes
Jean Pichon-PharabodProf. P. M. SewellProf. A. Mycroft2013-10-012017-09-30Memory models: reasoning and optimisation
Flora Ponjou TasseProf. P. RobinsonProf. N. A. Dodgson2012-10-012016-09-303D Shape Retrieval
Diana Andreea PopescuDr A. W. MooreProf. J. A. Crowcroft2014-04-172018-04-16Software Defined Measurements in Data-centers
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-012019-09-30Argumentation Interpretation and Enthymeme Insertion
Andre RibeiroDr E. Yoneki,
Dr S. H. Teufel
Dr R. Gibbens2012-10-012016-09-30A game-theoretical theory of media
Alexander RichardsonDr R. N. WatsonProfessor S. W. Moore2015-10-012019-09-30The Implications of Capability-System Design for Persistent Memory Technologies
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-012019-09-30Homotopy Type Theory: Theory and Applications
Michael SchaarschmidtDr E. YonekiProfessor J. A. Crowcroft2015-10-012019-09-30Using reinforcement learning to enable a new class of adaptive service policies
Adrian ScoicaDr S. H. TeufelProf. A. A. Copestake2013-10-012017-09-30Content-based Automatic Citation Recommendation
David SheetsDr A. V. Madhavapeddy,
Prof. J. A. Crowcroft
Prof. A. Mycroft2013-10-012017-09-30Resolution as a resource
Jingjing ShenProf. P. Robinson,
Dr J. Kosinka
Prof. N. A. Dodgson2012-10-012016-09-30Converting trimmed NURBS to subdivision
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-012019-09-30Cold Fish
Roy SplietDr R. D. MullinsProfessor S. W. Moore2015-10-012019-09-30Programmer-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-012019-09-30Enhancing 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. Sauerwald2016-01-042020-01-03Multi layer networks algorithms using health data
Anita VeroDr S. ClarkDr S. H. Teufel2015-10-012019-09-30Grounding Compositional Semantics using visual abstraction
Pengming WangProf. A. DawarProf. A. M. Pitts2013-10-012017-09-30Complexity of constraint satisfaction
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-012019-09-30Heterogeneous 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-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. 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-012019-09-30A 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