University of Cambridge

Study at Cambridge

About the university, research at cambridge.

  • Undergraduate courses
  • Events and open days
  • Fees and finance
  • Postgraduate courses
  • How to apply
  • Postgraduate events
  • Fees and funding
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Term dates and calendars
  • Visiting the University
  • Annual reports
  • Equality and diversity
  • A global university
  • Public engagement
  • Give to Cambridge
  • For Cambridge students
  • For our researchers
  • Business and enterprise
  • Colleges & departments
  • Email & phone search
  • Museums & collections
  • Academic Programmes
  • The Centre for Scientific Computing
  • Academic Programmes overview
  • MPhil in Scientific Computing
  • PhD at the Centre for Scientific Computing overview

Participating Research Groups

  • Centre for Doctoral Training in Computational Methods for Materials Science overview
  • CDT in CMMS programme overview
  • Introduction to the Centre
  • Course Structure
  • Industrial engagement
  • Projects and supervisors overview
  • Funded projects
  • Unfunded projects
  • Continuous Professional Development overview
  • Related Groups overview
  • Laboratory for Scientific Computing
  • Computational Continuum Mechanics
  • High Performance Computing Service
  • Lennard-Jones Centre for Computational Material Science
  • The Gianna Angelopoulos Programme for Science Technology and Innovation
  • Theory of Condensed Matter
  • Events overview
  • Past Events

PhD in Scientific Computing

  • Centre for Doctoral Training in Computational Methods for Materials Science
  • Continuous Professional Development

Maxwell image 2 medium

Information on how to enter our PhD programme

A common route for admission into our PhD programme is via the Centre’s MPhil programme in Scientific Computing. The MPhil is offered by the University of Cambridge as a full-time course and introduces students to research skills and specialist knowledge. Covering topics of high-performance scientific computing and advanced numerical methods and techniques, it produces graduates with rigorous research and analytical skills, who are formidably well-equipped to proceed to doctoral research or directly into employment in industry.

List of the groups who offer PhD positions in Scientific Computing and its applications

© 2024 University of Cambridge

  • Contact the University
  • Accessibility
  • Freedom of information
  • Privacy policy and cookies
  • Statement on Modern Slavery
  • Terms and conditions
  • University A-Z
  • Undergraduate
  • Postgraduate
  • Research news
  • About research at Cambridge
  • Spotlight on...
  • University of Cambridge
  • Search this site
  • Join the C2D3 Community
  • Executive committee
  • Steering committee
  • External Advisory Board
  • Logo use policy
  • Supporting C2D3
  • Eagle Genomics
  • Forthcoming events
  • Past events
  • Training and skills development
  • Cambridge research ecosystem
  • The Alan Turing Institute
  • Interdisciplinary Research Centres
  • Research workshops and challenge areas
  • Commercialisation

MPhil and PhD programmes

  • Collaboration
  • Past funding - Early Career Reseachers
  • Past opportunities
  • Research Highlights
  • From Big Data to Data-Driven Discovery
  • An Introduction to Process Mining with Celonis
  • 1st UK Academic Roundtable on Process Mining
  • C2D3 Virtual Symposium 2020: Research Rendezvous
  • Cambridge-Turing sessions: collaborative data science and AI research
  • Cambridge University video highlights importance of interdisciplinary research
  • Cambridge-Turing sessions reloaded: collaborative data science and AI research
  • Data science and AI for sustainability conference 2022
  • 2023 Collaboration Day for Interdisciplinary Data Science and AI
  • Memoirs of the Trustworthy and Responsible AI Conference at Cambridge

University of Cambridge

  • For Cambridge students
  • For businesses
  • Colleges and departments
  • Libraries and facilities
  • Museums and collections
  • Email and phone search
  • Give to Cambridge

Search form

Cambridge centre for data-driven discovery, currently advertised phd studentships.

  • The majority of current PhD studentships are listed on the  University's Jobs site
  • For a full list of departments and faculties at the University, visit this page where you can learn more about the research interests within each department
  • To find academics you might like to work with, use our directory

Graduate Admissions

The  Graduate Admissions  office provides a range of information on postgraduate programmes at Cambridge, along with a step-by-step guide to the application process. It is advisable to start researching funding opportunities at least a year before your course begins.

MPhil and PhD course relevant to data science - from across University of Cambridge

Please visit the relevant pages and contact the relevant education provider if you have queries. You should pay particular attention to the entry requirements and guidance for applicants there.

MPhil in Machine Learning and Machine Intelligence - an eleven month full-time programme offered by the Machine Learning Group, the Speech Group, and the Computer Vision and Robotics Group in the Cambridge University Department of Engineering.  The course aims to teach the state-of-the-art in machine learning, speech and language processing, and computer vision; to give students the skills and expertise necessary to take leading roles in industry and to equip them with the research skills necessary for doctoral study at Cambridge and other universities.

PhD programme in Advanced Machine Learning - The Machine Learning Group is based in the Department of Engineering, and encourages applications from outstanding candidates with academic backgrounds in Mathematics, Physics, Computer Science, Engineering and related fields, and a keen interest in doing basic research in machine learning and its scientific applications. 

Cambridge Centre for AI in Medicine - Cambridge Centre for AI in Medicine (CCAIM) is a multi-disciplinary centre established by the University of Cambridge in 2020 to develop pioneering AI machine learning (ML) technologies that will transform biomedical science, medicine and healthcare. PhD studentships are oten available, please check their website for details.

SynTech Centre for Doctoral Training - EPSRC Centre for Doctoral Training in Next Generation Synthetic Chemistry Enabled by Digital Molecular Technologies. An interdisciplinary cohort-driven programme to produce the next generation of molecule making scientists by combining Synthetic Chemistry, Chemical Engineering, Engineering, Machine Learning and Artificial Intelligence.

Advanced Computer Science MPhil  - The MPhil in Advanced Computer Science (the ACS) is designed to prepare students for doctoral research, whether at Cambridge or elsewhere. Typical applicants will have undertaken a first degree in computer science or an equivalent subject, and will be expected to be familiar with basic concepts and practices. The ACS is a nine–month course which starts in early October and finishes on 30 June. It covers advanced material in both theoretical and practical areas as well as instilling the elements of research practice.

Application of Artificial Intelligence to the study of Environmental Risks MRes and PhD - The UKRI Centre for Doctoral Training in the Application of Artificial Intelligence to the study of Environmental Risks (AI4ER) trains researchers (through several multidisciplinary cohorts) to be uniquely equipped to develop and apply leading-edge computational approaches to address critical global environmental challenges by exploiting vast, diverse and often currently untapped environmental data sets. Embedded in the outstanding research environments of the University of Cambridge and the British Antarctic Survey (BAS), the AI4ER CDT addresses problems that are relevant to  building resilience to environmental hazards and managing environmental change .

Postgraduate Study in Mathematics - Various postgraduate courses of a mathematical nature are available at the University of Cambridge, including both taught courses and research degrees.

Mathematics of Information PhD  - This cutting-edge training Centre in the Mathematics of Information produces a new generation of leaders in the theory and practice of modern data science, with an emphasis on the mathematical underpinnings of this new scientific field. The Cambridge Mathematics of Information (CMI) PhD is a four-year course leading to a single PhD thesis.

Cambridge Computational Biology Institute MPhil and PhD ​ - The MPhil in Computational Biology course is aimed at introducing students in the biological, mathematical and physical sciences to quantitative aspects of modern biology and medicine, including bioinformatics. The course has been developed by the Cambridge Computational Biology Institute and is run by the Department of Applied Mathematics and Theoretical Physics at the Centre for Mathematical Sciences (CMS).

Centre for Scientific Computing MPhil and PhD  - The MPhil programme on Scientific Computing is offered by the University of Cambridge as a full-time course which aims to provide education of the highest quality at Master’s level. A common route for admission into our PhD programme is via the Centre’s MPhil programme in Scientific Computing.

Part III Mathematics  - Part III is a 9 month taught masters course in mathematics.  It is an excellent preparation for mathematical research and it is also a valuable course in mathematics and in its applications for those who want further training before taking posts in industry, teaching, or research establishments. Students admitted from outside Cambridge to Part III study towards the Master of Advanced Study (MASt).  Students continuing from the Cambridge Tripos for a fourth year, study towards the Master of Mathematics (MMath).  The requirements and course structure for Part III are the same for all students irrespective of whether they are studying for the MASt or MMath degree. There are over 200 Part III (MASt and MMath) students each year; almost all are in their fourth or fifth year of university studies. 

School of Clinical Medicine Graduate Training Office - Prospective students interested in pursuing a graduate degree course in a subject area related to clinical medicine at the University of Cambridge should consult the School’s individual departmental websites for detailed information about the courses which they run and the University’s Graduate Admissions website for information on the application process and on funding opportunities.

Centre for Doctoral Training in Data, Risk And Environmental Analytical Methods  - The CDT embraces a wide range of world-leading Doctoral research in the area of Big Data and Environmental Risk Mitigation. The CDT research underway seeks to utilise emerging technologies, techniques and tools, to more accurately monitor the environment, enabling cutting edge research. To provide end-users with more integrated information at improved temporal and spatial resolutions to deliver solutions to environmental challenges (both acute and long- term). Funded by  NERC  (the Natural Environment Research Council, NERC Ref: NE/M009009/1), the DREAM (Data, Risk and Environmental Analytical Methods) consortium is made up of Cranfield, Newcastle, Cambridge and Birmingham universities.

Centre for Doctoral Training in Data Intensive Science  - The Cambridge CDT in Data Intensive Science is an innovative, interdisciplinary centre, distributed between the Department of Physics (Cavendish Laboratory), Department of Applied Mathematics and Theoretical Physics (DAMTP), Department of Pure Mathematics and Mathematical Statistics (DPMMS) and the Institute of Astronomy (IoA).

MPhil in Data Intensive Science - This course aims to take science graduates and to prepare them for data intensive research careers by providing advanced training in three key areas – Statistical Analysis, Machine Learning, and Research Computing – and their application to current research frontiers.

Cambridge Digital Humanities - The MPhil provides the opportunity to specialise in a chosen subject area as well as an advanced level introduction to DH approaches, methods and theory. The course provides critical and practical literacy, the chance to advance an extant specialization by re-contextualizing it in relation to advanced theoretical work, and the chance to develop as a DH scholar.

The Cambridge Centre for Data-Driven Discovery (C2D3) brings together researchers and expertise from across the academic departments and industry to drive research into the analysis, understanding and use of data science and AI. C2D3 is an Interdisciplinary Research Centre at the University of Cambridge.

  • Supports and connects the growing data science and AI research community 
  • Builds research capacity in data science and AI to tackle complex issues 
  • Drives new research challenges through collaborative research projects 
  • Promotes and provides opportunities for knowledge transfer 
  • Identifies and provides training courses for students, academics, industry and the third sector 
  • Serves as a gateway for external organisations 

University of Cambridge

Study at Cambridge

About the university, research at cambridge.

  • Events and open days
  • Fees and finance
  • Student blogs and videos
  • Why Cambridge
  • Qualifications directory
  • How to apply
  • Fees and funding
  • Frequently asked questions
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Visiting the University
  • Term dates and calendars
  • Video and audio
  • Find an expert
  • Publications
  • International Cambridge
  • Public engagement
  • Giving to Cambridge
  • For current students
  • For business
  • Colleges & departments
  • Libraries & facilities
  • Museums & collections
  • Email & phone search

computing cambridge phd

Centre for Quantum Information and Foundations

  • Group Members
  • Seminars and Events
  • Part IB Quantum Mechanics
  • Part II Quantum Information and Computation
  • Part III Quantum Information, Foundations and Gravity
  • Part III Quantum Computation
  • Part III Quantum Information Theory

Graduate Applications

The CQIF includes four members of DAMTP Faculty, two affiliated members, and several senior researchers.

We always have to turn away some outstanding applicants: if you are considering applying to us you should also apply widely elsewhere. Applicants who are not UK citizens should also carefully consider the information about funding below, and note the very early deadlines for applications for funding from Foundations and Trusts. Applications to start a PhD in October 2022 will be considered from November 2021 onwards.

Successful applicants are likely to have a first class undergraduate degree in mathematics, physics or computer science, and should ideally also have an M.Sc. or equivalent qualification. Candidates considering applying directly from an undergraduate degree are encouraged to consider applying first to take Cambridge's one-year Masters-level course, the Master of Advanced Study in Mathematics (Part III of the Cambridge Mathematics Tripos). The course includes one or more lecture courses on aspects of quantum information and foundations, as well as courses on a wide variety of other topics in theoretical physics and pure and applied mathematics.

Applications from graduate students to research centres in DAMTP are handled by the Board of Graduate Studies in the first instance, and then administered by the department. Applications for PhD places should thus be made to the Board of Graduate Studies in the first instance, specifying an interest in working at the CQIF in DAMTP. The information needed can all be found on this page . Note that the timetable for applications has some very early application deadlines.

The University's admissions process is quite slow and, beyond the initial acknowledgment of receipt of your application, past experience suggests it could be as late as May before you hear any more from the University. Once the application process has started, your application can be tracked using your self-service account .

Applications for the Part III course should also be made to the Board of Graduate Studies. The information needed can be found on this page .

Our standard method of funding UK and EU graduate students is by grants from the UK Engineering and Physical Sciences Research Council. These are allocated by the department, mostly after the Part III results in mid to late June. EPSRC studentships provide full support for UK students, and cover tuition fees for EU students from outside the UK.

There are some other possible sources for funding (which are not generally restricted to EU students): for example the Gates Foundation, the Cambridge Commonwealth Trust, and a small number of the wealthier Cambridge Colleges. Decisions on these scholarships are made in May. Unfortunately (at least for us!), these funding sources are entirely outside our control or influence; in particular there is nothing we can do to get a decision from them sooner than May. Applications to these organisations and institutions need to be made separately. The University's Board of Graduate Studies web pages --- reached from the above-mentioned links --- have some information; anyone needing clarification or advice should contact either them or the relevant organisation. We have no independent sources of support for non-EU students.

While we try to be helpful where possible, there is normally little that we can add to the information given here. We cannot generally comment in advance on the chances of any individual application to the CQIF being successful or offer advice in putting together an application. Applicants may find it helpful, though, to look at the information on our group web pages, and especially useful to look at some of the recent papers of CQIF members, which can mostly be found on the quantum physics archive . (Some recent papers are also linked from CQIF members' personal pages on this site.)

We normally interview  selected candidates once applications have been reviewed: the timetable for these varies from year to year.

© 2024 University of Cambridge

  • University A-Z
  • Contact the University
  • Accessibility
  • Freedom of information
  • Terms and conditions
  • Undergraduate
  • Spotlight on...
  • About research at Cambridge

Home

Study at Cambridge

About the university, research at cambridge.

  • For Cambridge students
  • For our researchers
  • Business and enterprise
  • Colleges and Departments
  • Email and phone search
  • Give to Cambridge
  • Museums and collections
  • Events and open days
  • Fees and finance
  • Postgraduate courses
  • How to apply
  • Fees and funding
  • Postgraduate events
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Visiting the University
  • Annual reports
  • Equality and diversity
  • A global university
  • Public engagement

Topic description and stories

Image of the globe made up of binary numbers

Act now to prevent uncontrolled rise in carbon footprint of computational science

Cambridge scientists have set out principles for how computational science – which powers discoveries from unveiling the mysteries of the universe to...

A glowing particle and binary wave pattern on dark background.

Mathematical paradox demonstrates the limits of AI

Humans are usually pretty good at recognising when they get things wrong, but artificial intelligence systems are not. According to a new study, AI...

View of forest

Cambridge-built carbon credit marketplace will support reforestation

A new Cambridge centre will bring together computer scientists and conservation scientists to build a trusted marketplace for carbon credits and...

Artist's impression of light pulses inside an optical computer

‘Multiplying’ light could be key to ultra-powerful optical computers

New type of optical computing could solve highly complex problems that are out of reach for even the most powerful supercomputers.

computing cambridge phd

Women in STEM: Agnieszka Słowik

Agnieszka Słowik is a PhD candidate in the Department of Computer Science and Technology, where she is a member of the artificial intelligence...

computing cambridge phd

Cambridge appoints first DeepMind Professor of Machine Learning

Following an international search, Professor Neil Lawrence has been appointed as the inaugural DeepMind Professor of Machine Learning at Cambridge...

computing cambridge phd

‘The Next Leap Forward’ – four quantum technologies hubs to lead UK’s research drive

Technologies that will allow fire crews to see through smoke and dust, computers to solve previously unsolvable computational problems, construction...

Regent Street

Location, location, location: researchers develop model to predict retail failure

Researchers have used a combination of location and transport data to predict the likelihood that a given retail business will succeed or fail.

Code

Cambridge to appoint DeepMind Chair of Machine Learning

The University of Cambridge will establish a DeepMind Chair of Machine Learning, thanks to a benefaction from the world-leading British AI company.

Fiber Optic

Cambridge launches UK’s first quantum network

The UK’s first quantum network was launched today in Cambridge, enabling ‘unhackable’ communications, made secure by the laws of physics, between...

computing cambridge phd

Opinion: Robots and AI could soon have feelings, hopes and rights … we must prepare for the reckoning

Is artificial intelligence a benign and liberating influence on our lives – or should we fear an impending rise of the machines? And what rights...

Transistors

Engineers design ultralow power transistors that could function for years without a battery

A new design for transistors which operate on ‘scavenged’ energy from their environment could form the basis for devices which function for months or...

Connect with us

Cambridge University

© 2024 University of Cambridge

  • Contact the University
  • Accessibility statement
  • Freedom of information
  • Privacy policy and cookies
  • Statement on Modern Slavery
  • Terms and conditions
  • University A-Z
  • Undergraduate
  • Postgraduate
  • Cambridge University Press & Assessment
  • Research news
  • About research at Cambridge
  • Spotlight on...

University of Cambridge

Study at Cambridge

About the university, research at cambridge.

  • Events and open days
  • Fees and finance
  • Student blogs and videos
  • Why Cambridge
  • Qualifications directory
  • How to apply
  • Fees and funding
  • Frequently asked questions
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Visiting the University
  • Term dates and calendars
  • Video and audio
  • Find an expert
  • Publications
  • International Cambridge
  • Public engagement
  • Giving to Cambridge
  • For current students
  • For business
  • Colleges & departments
  • Libraries & facilities
  • Museums & collections
  • Email & phone search
  • Postgraduates
  • Postgraduate Study in Linguistics

PhD Programmes in Linguistics

  • PhD in Computation, Cognition and Language
  • Department of Theoretical and Applied Linguistics
  • About overview
  • Governance of the Faculty overview
  • Governance at MML
  • Faculty Board overview
  • Board Overview
  • Membership and Contacts
  • Student Engagement
  • Staff-Student Liaison Committee overview
  • Committee Overview
  • News & Events
  • Academic Visitors
  • Public Engagement
  • IT Services
  • The University Library
  • Language Centre
  • Research Facilities
  • MMLL privacy policy
  • Health and Safety at MMLL
  • Subjects overview
  • Modern Greek
  • Spanish and Portuguese
  • Slavonic Studies overview
  • Slavonic Studies virtual event for Years 11 & 12
  • Theoretical and Applied Linguistics
  • Undergraduates overview
  • The Courses: Key Facts overview
  • Course costs
  • The courses we offer
  • The MML Course overview
  • MML: The First Year
  • MML: The Second Year
  • MML: The Year Abroad
  • MML: The Fourth Year
  • The Linguistics Course
  • The History and Modern Languages Course overview
  • Course structure overview
  • How We Teach
  • How You Learn
  • Resources for teachers and supporters
  • Alumni testimonials overview
  • Matthew Thompson
  • Rosie Sargeant
  • Mark Austin
  • Esther Wilkinson
  • Katherine Powlesland
  • Gillian McFarland
  • Katya Andrusz
  • Frequently asked questions overview
  • Choosing your course
  • Applications
  • Resources and reading lists for prospective students
  • Did you know...?
  • Student Perspectives overview
  • Alfie Vaughan
  • Romany Whittall
  • Careers and Employment
  • Offer Holders overview
  • French overview
  • Summer Preparation
  • German overview
  • Beginners Course overview
  • Post A-Level Course overview
  • Italian and Greek overview
  • Portuguese overview
  • Spanish overview
  • History & Modern Languages Tripos
  • From Our Students
  • Outreach overview
  • Resources overview
  • Open Day Resources for Prospective Students
  • CCARL A-level Resources overview
  • Why Not Languages? resources overview
  • Student Q&A
  • Events for Students overview
  • Events for Teachers overview
  • Diversity in French and Francophone Studies: A CPD workshop series for teachers of French
  • Diversity in German Studies - CPD Workshop series aimed at secondary teachers of German
  • Workshop for Spanish Teachers
  • Workshop for Teachers of German: Diversity in German Culture
  • Access and Widening Participation
  • Current undergraduates overview
  • Year Abroad overview
  • Current Students
  • Thinking about your Year Abroad overview
  • Studying overview
  • Finance overview
  • Turing Scheme
  • Safety and Insurance
  • Year Abroad FAQs
  • Year Abroad Project FAQs
  • Modern and Medieval Languages Tripos overview
  • MML Part IA List of Papers
  • Part I Oral Examination A and B
  • MML Part IB List of Papers
  • MML IB Assessment by Long Essay
  • The Year Abroad Project
  • MML Part II List of Papers overview
  • MML Part II List of Borrowed Papers
  • CS5: The Body
  • CS6: European Film
  • Oral C Examination
  • MML Part II Optional Dissertation
  • MML with Classics
  • Linguistics within the Modern and Medieval Languages Tripos
  • Linguistics Tripos overview
  • Linguistics Tripos - List of Papers
  • Transferable Skills
  • History and Modern Languages Tripos
  • Marking Criteria
  • Supervision Guidelines
  • Teaching Provision
  • Examinations Data Retention Policy (PDF)
  • Learning Resources
  • Additional Course Costs
  • Faculty guidance on plagiarism
  • Translation Toolkit overview
  • 1. Translation as a Process
  • 2. Translation as a Product
  • 3. Equivalence and Translation Loss
  • Email etiquette at MMLL
  • Overall Degree Classification
  • Current postgraduates
  • Research in MMLL overview
  • Research by Section overview
  • Italian overview
  • CIRN Home overview
  • CIRN Events overview
  • CIRN Annual Lecture 2015
  • CIRN Annual Lecture 2016
  • CIRN Annual Lecture 2017
  • CIRN Annual Lecture 2018
  • CIRN Annual Lecture 2019
  • CIRN Annual Lecture 2019-20
  • CIRN Annual Symposium 2015
  • CIRN Annual Symposium 2016
  • CIRN Annual Symposium 2017
  • CIRN Annual Symposium 2018
  • CIRN Annual Symposium 2019
  • CIRN News and Events archive
  • Slavonic Studies
  • Research by Language overview
  • Research by Period overview
  • Medieval and Pre-Modern
  • Early Modern
  • Eighteenth Century
  • Nineteenth Century
  • 1900 - 1945
  • 1945 - present
  • Research by Thematic Field overview
  • Literature, Visual Culture and the Arts overview
  • Colonial, Postcolonial and Decolonial Studies
  • Contemporary Culture and Society
  • Drama, Music and Performance
  • Environmental Criticism and Posthumanism
  • Film and Visual Culture
  • Gender, Feminism and Queer Studies
  • Intellectual and Cultural History
  • Literary Theory, Philosophy and Political Thought
  • Material Culture and History of the Book
  • Poetry, Rhetoric and Poetics
  • Language and Linguistics overview
  • Comparative Syntax
  • Computational Linguistics
  • Dialectology
  • Experimental Phonetics and Phonology
  • Historical Linguistics
  • Language Acquisition
  • Language Change
  • Language Contact
  • Multilingualism
  • Psycholinguistics
  • Semantics, Pragmatics and Philosophy
  • Translation Theory and Practice
  • Funded Projects
  • Apply for Research Funding overview
  • Research Strategy Committee
  • Leverhulme Early Career Fellowships
  • British Academy Postdoctoral Fellowships
  • Management of Ongoing Grants
  • Funding Opportunities
  • MSCA Postdoctoral Fellowships
  • Centres overview
  • Cambridge Film and Screen
  • Cambridge Italian Research Network (CIRN)
  • Centre of Latin American Studies (CLAS)
  • Cambridge Language Sciences
  • Cambridge Endangered Languages and Cultures Group (CELC) overview
  • Seminar Series
  • Past conferences
  • Cambridge Centre for Greek Studies
  • Centre for the Study of Global Human Movement
  • Equality and Diversity overview
  • EDI Committee
  • Accessibility Statement
  • Accessible Materials
  • Recording Lectures
  • Athena SWAN
  • Mentoring and Career Development
  • Parents and Carers
  • EDI Related Links
  • Harassment and Discrimination
  • Events overview
  • Past Events
  • Faculty Home
  • About Theoretical & Applied Linguistics
  • Staff in Theoretical & Applied Linguistics overview
  • Staff and Research Interests
  • Research overview
  • Research Projects overview
  • Current projects overview
  • Expressing the Self: Cultural Diversity and Cognitive Universals overview
  • Project Files
  • Semantics and Philosophy in Europe 8
  • Rethinking Being Gricean: New Challenges for Metapragmatics overview
  • Research Clusters overview
  • Comparative Syntax Research Area overview
  • Research Projects
  • Research Students
  • Senior Researchers
  • Computational Linguistics Research Area overview
  • Members of the area
  • Experimental Phonetics & Phonology Research Area overview
  • EP&P Past Events
  • Language Acquisition & Language Processing Research Area overview
  • Research Themes
  • Mechanisms of Language Change Research Area overview
  • Mechanisms of Language Change research themes
  • Semantics, Pragmatics & Philosophy Research Area overview
  • Group Meetings 2023-2024 overview
  • Previous years
  • Take part in linguistic research
  • Information for Undergraduates
  • Prospective Students overview
  • Preliminary reading
  • Part I overview
  • Li1: Sounds and Words
  • Li2: Structures and Meanings
  • Li3: Language, brains and machines
  • Li4: Linguistic variation and change
  • Part II overview
  • Part IIB overview
  • Li5: Linguistic Theory
  • Part IIB Dissertation
  • Section C overview
  • Li6: Phonetics
  • Li7: Phonological Theory
  • Li8: Morphology
  • Li9: Syntax
  • Li10: Semantics and Pragmatics
  • Li11: Historical Linguistics
  • LI12: History of Ideas on Language
  • Li13: History of English
  • Li14: History of the French Language
  • Li15: First and Second Language Acquisition
  • Li16: Psychology of Language Processing and Learning
  • Li17: Language Typology and Cognition
  • Li18: Computational Linguistics
  • Undergraduate Timetables
  • Postgraduate Study in Linguistics overview
  • MPhils in Theoretical and Applied Linguistics overview
  • MPhil in Theoretical and Applied Linguistics by Advanced Study overview
  • Michaelmas Term Courses
  • Lent Term Seminars overview
  • Computational and Corpus Linguistics
  • Experimenting with Meaning
  • French Linguistics
  • Historical Linguistics and History of English
  • Psychological Language Processing & Learning
  • Syntactic change
  • Topics in Syntax
  • MPhil in Theoretical and Applied Linguistics by Thesis
  • PhD Programmes in Linguistics overview
  • PhD in Theoretical and Applied Linguistics
  • Life as a Linguistics PhD student
  • Current PhD Students in TAL
  • Recent PhD Graduates in TAL
  • News and Events overview
  • News and Events
  • COPiL overview
  • All Volumes overview
  • Volume 14 Issue 2
  • Volume 14 Issue 1
  • All Articles
  • TAL Talks Archive
  • Editorial Team
  • Linguistics Forum overview
  • Schedule of Talks
  • Societies overview
  • Linguistics Society
  • Faculty of Modern and Medieval Languages and Linguistics
  • Prospective Students
  • Equality and Diversity
  • MPhils in Theoretical and Applied Linguistics

sleepy

PhD in Computation, Cognition and Language (MLAL211)

The PhD in Computation, Cognition and Language is a PhD track for students who conduct basic and applied research in the computational study of language, communication, and cognition, in humans and machines. This research is interdisciplinary in nature and draws on methodology and insights from a range of disciplines that are now critical for the further development of language sciences, including (but not limited to) Linguistics, Cognitive Science, Computer Science, Engineering, Psychology and Neuroscience. A variety of PhD topics that fall within this remit are accepted.

Our current primary areas of research are:

  • natural language processing
  • computational and corpus linguistics
  • computational models of human language acquisition and processing
  • information extraction, mining, and presentation
  • multilingual technology
  • educational and assistive technology
  • text data technology for health
  • computational digital humanities
  • computational approaches to the analysis of speech
  • digital forensic speech analysis

In British universities, the PhD is traditionally awarded solely on the basis of a thesis, a substantial piece of writing which reports original research into a closely defined area of enquiry. The completion of the PhD thesis is generally expected to take three years, and most funding is based on this assumption. While the PhD is not a taught course, students will benefit from the availability of courses and seminars offered both within the MMLL Faculty and by other departments concerned with language science in Cambridge (e.g. Computer Science and Technology, Education, Engineering, Psychology, MRC Cognition and Brain Sciences Unit). All research students also benefit from a programme of professional training run at various levels within the School of Arts and Humanities, and enabling cross-disciplinary interactions. The programme includes seminars and workshops on e.g., giving conference papers, publishing, applications and interviews, teaching skills, specialist linguistic training. If you wish, you are likely to be given the opportunity of gaining experience in small group teaching for colleges. There may also be opportunities to gain some experience in teaching in the Faculty.

Academic Requirements

Applicants for this course must have a UK First-class Honours Degree or equivalent in linguistics, computational linguistics, artificial intelligence, computer science, or a related discipline.  However, a first-class (distinction level) Masters-level degree is required. The degrees must testify to the applicant's substantial background in linguistics.  Applicants are expected to demonstrate clear evidence of research potential.  Well-developed programming skills are presumed.

Supervision

The Degree Committee for the Faculty appoints a primary supervisor and an advisor for each research student. In some cases, a second, co-supervisor, may be appointed, especially when the research topic is strongly cross-disciplinary. Research students in CCL will have daily contact with the research group within which they are placed. In addition, they should expect a meeting with their supervisor(s) at least once a month. The University of Cambridge publishes an annual Code of Practice which sets out the University’s expectations regarding supervision.

Prospective applicants can get an idea of the range of topics which can be supervised from the following lists of people:

  • Staff and their Research Interests
  • Full Section Staff List
  • Members of the Faculty
  • Current PhD Students

Research students are expected to attend weekly research seminars and discussion groups in their research group. They may also attend other relevant research seminars offered by Linguistics or other language science departments in Cambridge. Research students must attend training in research skills. These are offered by Sectional PhD training seminars and the Researcher Development Programme of the University.

There is a normal word limit for the thesis of 80,000 words (including footnotes and appendices but excluding bibliography). The thesis should represent a significant contribution to learning through the discovery of new knowledge or through the connection of previously unrelated facts, or the development of new theory, revision of older views or some combination of these. In writing the thesis you are expected to take account of previously published work on the subject and the thesis should be clearly and accurately written, paying due attention to English style and grammar. Candidates for the PhD in Cambridge are guided by a supervisor, though they will normally also discuss their work with a number of other experts in their field. Following submission of the thesis, an oral (viva) examination is held.

Annual progress interviews constitute a system for the formal monitoring by the Degree Committee of the progress of all students working towards a PhD. Termly progress interviews take place in the fourth year of the PhD.

Postgraduate students are admitted in the first instance for a probationary period during which they are not registered as a candidate for the PhD degree. The first-year interview is the context in which registration as a candidate for the PhD is formally considered. Satisfactory progress is a condition for being registered as a doctoral student and for remaining on the register.

Search form

Linguistics links.

  • Online Timetable
  • Polyglossia
  • Guidelines for Incoming Erasmus Students
  • Green Matters

Related links

  • Student Support
  • Wellbeing at Cambridge
  • Year Abroad FAQ
  • Polyglossia Magazine
  • The Cambridge Language Collective
  • Information for current undergraduates
  • Visiting and Erasmus Students

Keep in touch

computing cambridge phd

  • University of Cambridge Privacy Policy
  • Student complaints and Examination Reviews

© 2024 University of Cambridge

  • University A-Z
  • Contact the University
  • Accessibility
  • Freedom of information
  • Terms and conditions
  • Undergraduate
  • Spotlight on...
  • About research at Cambridge
  • Internal wiki

PhD Programme in Advanced Machine Learning

The Cambridge Machine Learning Group (MLG) runs a PhD programme in Advanced Machine Learning. The supervisors are Jose Miguel Hernandez-Lobato , Carl Rasmussen , Richard E. Turner , Adrian Weller , Hong Ge and David Krueger . Zoubin Ghahramani is currently on academic leave and not accepting new students at this time.

We encourage applications from outstanding candidates with academic backgrounds in Mathematics, Physics, Computer Science, Engineering and related fields, and a keen interest in doing basic research in machine learning and its scientific applications. There are no additional restrictions on the topic of the PhD, but for further information on our current research areas, please consult our webpages at http://mlg.eng.cam.ac.uk .

The typical duration of the PhD will be four years.

Applicants must formally apply through the Applicant Portal at the University of Cambridge by the deadline, indicating “PhD in Engineering” as the course (supervisor Hernandez-Lobato, Rasmussen, Turner, Weller, Ge and/or Krueger). Applicants who want to apply for University funding need to reply ‘Yes’ to the question ‘Apply for Cambridge Scholarships’. See http://www.admin.cam.ac.uk/students/gradadmissions/prospec/apply/deadlines.html for details. Note that applications will not be complete until all the required material has been uploaded (including reference letters), and we will not be able to see any applications until that happens.

Gates funding applicants (US or other overseas) need to fill out the dedicated Gates Cambridge Scholarships section later on the form which is sent on to the administrators of Gates funding.

Deadline for PhD Application: noon 5 December, 2023

Applications from outstanding individuals may be considered after this time, but applying later may adversely impact your chances for both admission and funding.

FURTHER INFORMATION ABOUT COMPLETING THE ADMISSIONS FORMS:

The Machine Learning Group is based in the Department of Engineering, not Computer Science.

We will assess your application on three criteria:

1 Academic performance (ensure evidence for strong academic achievement, e.g. position in year, awards, etc.) 2 references (clearly your references will need to be strong; they should also mention evidence of excellence as quotes will be drawn from them) 3 research (detail your research experience, especially that which relates to machine learning)

You will also need to put together a research proposal. We do not offer individual support for this. It is part of the application assessment, i.e. ascertaining whether you can write about a research area in a sensible way and pose interesting questions. It is not a commitment to what you will work on during your PhD. Most often PhD topics crystallise over the first year. The research proposal should be about 2 pages long and can be attached to your application (you can indicate that your proposal is attached in the 1500 character count Research Summary box). This aspect of the application does not carry a huge amount of weight so do not spend a large amount of time on it. Please also attach a recent CV to your application too.

INFORMATION ABOUT THE CAMBRIDGE-TUEBINGEN PROGRAMME:

We also offer a small number of PhDs on the Cambridge-Tuebingen programme. This stream is for specific candidates whose research interests are well-matched to both the machine learning group in Cambridge and the MPI for Intelligent Systems in Tuebingen. For more information about the Cambridge-Tuebingen programme and how to apply see here . IMPORTANT: remember to download your application form before you submit so that you can send a copy to the administrators in Tuebingen directly . Note that the application deadline for the Cambridge-Tuebingen programme is noon, 5th December, 2023, CET.

What background do I need?

An ideal background is a top undergraduate or Masters degree in Mathematics, Physics, Computer Science, or Electrical Engineering. You should be both very strong mathematically and have an intuitive and practical grasp of computation. Successful applicants often have research experience in statistical machine learning. Shortlisted applicants are interviewed.

Do you have funding?

There are a number of funding sources at Cambridge University for PhD students, including for international students. All our students receive partial or full funding for the full three years of the PhD. We do not give preference to “self-funded” students. To be eligible for funding it is important to apply early (see https://www.graduate.study.cam.ac.uk/finance/funding – current deadlines are 10 October for US students, and 1 December for others). Also make sure you tick the box on the application saying you wish to be considered for funding!

If you are applying to the Cambridge-Tuebingen programme, note that this source of funding will not be listed as one of the official funding sources, but if you apply to this programme, please tick the other possible sources of funding if you want to maximise your chances of getting funding from Cambridge.

What is my likelihood of being admitted?

Because we receive so many applications, unfortunately we can’t admit many excellent candidates, even some who have funding. Successful applicants tend to be among the very top students at their institution, have very strong mathematics backgrounds, and references, and have some research experience in statistical machine learning.

Do I have to contact one of the faculty members first or can I apply formally directly?

It is not necessary, but if you have doubts about whether your background is suitable for the programme, or if you have questions about the group, you are welcome to contact one of the faculty members directly. Due to their high email volume you may not receive an immediate response but they will endeavour to get back to you as quickly as possible. It is important to make your official application to Graduate Admissions at Cambridge before the funding deadlines, even if you don’t hear back from us; otherwise we may not be able to consider you.

Do you take Masters students, or part-time PhD students?

We generally don’t admit students for a part-time PhD. We also don’t usually admit students just for a pure-research Masters in machine learning , except for specific programs such as the Churchill and Marshall scholarships. However, please do note that we run a one-year taught Master’s Programme: The MPhil in Machine Learning, and Machine Intelligence . You are welcome to apply directly to this.

What Department / course should I indicate on my application form?

This machine learning group is in the Department of Engineering. The degree you would be applying for is a PhD in Engineering (not Computer Science or Statistics).

How long does a PhD take?

A typical PhD from our group takes 3-4 years. The first year requires students to pass some courses and submit a first-year research report. Students must submit their PhD before the 4th year.

What research topics do you have projects on?

We don’t generally pre-specify projects for students. We prefer to find a research area that suits the student. For a sample of our research, you can check group members’ personal pages or our research publications page.

What are the career prospects for PhD students from your group?

Students and postdocs from the group have moved on to excellent positions both in academia and industry. Have a look at our list of recent alumni on the Machine Learning group webpage . Research expertise in machine learning is in very high demand these days.

University of Cambridge crest

Study at Cambridge

About the university, research at cambridge.

  • Events and open days
  • Fees and finance
  • Postgraduate courses
  • How to apply
  • Fees and funding
  • Postgraduate events
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Visiting the University
  • Annual reports
  • Equality and diversity
  • A global university
  • Public engagement
  • Give to Cambridge
  • For Cambridge students
  • For our researchers
  • Business and enterprise
  • Colleges and departments
  • Email and phone search
  • Museums and collections

MPhil in Scientific Computing

Goodbye 2011_6609707257_o

The MPhil in Scientific Computing provides world-class education on high performance computing and advanced algorithms for numerical simulation at continuum and atomic-scale levels.

Successful candidates will have a 2:1 or first class honours degree (or equivalent) in a science or technology discipline, and an adequate level of computer literacy.

The MPhil is a 12-month full-time master’s degree, which has a taught element and a research element which carry equal examination credit.

Funding sources for postgraduate study are available from the University of Cambridge and external sources such as UK Research Councils and industry.

Graduates of the MPhil in Scientific Computing obtain rigorous research skills and are formidably well-equipped to proceed to doctoral research or directly into employment.

  • Lennard-Jones Centre Ruth Lynden-Bell scholarship in Scientific Computing
  • The Sophie Wilson scholarship in Scientific Computing
  • Applications are open for MPhil in Scientific Computing
  • DeepMind Scholarship
  • Follow the Centre for Scientific Computing on LinkedIn

Useful Links

  • Terms and conditions
  • Privacy Policy

University of Cambridge

© 2024 University of Cambridge

  • Contact the University
  • Accessibility statement
  • Freedom of information
  • Privacy policy and cookies
  • Statement on Modern Slavery
  • University A-Z
  • Undergraduate
  • Postgraduate
  • Research news
  • About research at Cambridge
  • Public egagement
  • Spotlight on...

Study at Cambridge

About the university, research at cambridge.

  • Events and open days
  • Fees and finance
  • Student blogs and videos
  • Why Cambridge
  • Course directory
  • How to apply
  • Fees and funding
  • Frequently asked questions
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Visiting the University
  • Term dates and calendars
  • Video and audio
  • Find an expert
  • Publications
  • Global Cambridge
  • Public engagement
  • Give to Cambridge
  • For current students
  • For business
  • Colleges & departments
  • Libraries & facilities
  • Museums & collections
  • Email & phone search
  • Computer Laboratory

List of PhD students

Department of Computer Science and Technology

  • Academic staff
  • Support staff
  • Contract researchers
  • Fellows & affiliates
  • PhD students
  • Wednesday Seminar Series
  • Wheeler Lectures
  • women@cl 10th Anniversary
  • Computer Laboratory 75th Anniversary
  • Shopping and leisure
  • Library induction
  • Electronic resources
  • Virtual journals shelf
  • Local services
  • Lab technical reports
  • External technical reports
  • Resource lists
  • Reading lists
  • Maps and directions
  • Contact information
  • Group Meetings
  • Project ideas for current students
  • Projects and research topics
  • [no title found]
  • Selected Publications
  • Open source components
  • Contact Details
  • Applying to do a PhD
  • Project suggestions
  • Other information
  • Reading Club
  • Postgraduate opportunities
  • Programming, Logic, Semantics
  • Projects and topics
  • Security Seminar Series
  • Mailing lists
  • Research Projects
  • Student Projects
  • Digital Technology Group
  • Research Admin
  • PhD applications
  • Graduate Admissions Prospectus
  • Funding deadlines
  • MPhil in Advanced Computer Science
  • Premium Research Studentship
  • Student Administration
  • Induction for M.Phil and Part III students
  • Part III and ACS projects
  • Part IA CST
  • Part IB CST
  • Part II CST
  • Lecturer index
  • Instructions for lecturers
  • Examination dates
  • Examination results
  • Examiners' reports
  • Plagiarism and collusion
  • Purchase of calculators
  • Data Retention Policy
  • Past exam papers
  • Guidance on deadlines
  • Part III Assessment
  • MPhil Assessment
  • Student Complaint Procedure
  • Short form timetable
  • Part II supervisions overview
  • Part II sign-up dates
  • Notes on supervising
  • Supervisor support
  • Advice for students visiting Cambridge
  • UROP internships
  • Previous years
  • Briefing document (Pink Book)
  • Important dates
  • Phase 1 report
  • Back-up advice
  • Resources Declaration
  • Studies Involving Human Participants
  • Failure to submit proposal
  • Selection Tips
  • Declaration of originality
  • Submission of dissertation
  • IP ownership
  • Diploma model projects
  • Older project suggestions
  • Supervising Notes
  • Overseer Briefing Notes
  • Directors of Studies
  • Managed Cluster Service
  • Part III and MPhil machines
  • Online services
  • Installing Linux
  • Microsoft Azure for Education Membership
  • Neil Wiseman, 1934–1995
  • Roger Needham, 1935–2003
  • David Wheeler, 1927–2004
  • Karen Spärck Jones, 1935–2007
  • Judith Ann Bailey, 1934–2008
  • Robin Milner, 1934–2010
  • Sir Maurice Wilkes, 1913–2010
  • Michael JC Gordon, 1948–2017
  • Richard Gibbens, 1962–2018
  • Ross J Anderson, 1956–2024
  • An introduction to our computing facilities
  • Information for new PhD students
  • Information for new staff
  • Information for visitors
  • Information for hosts of visitors
  • General information
  • Induction Guidelines
  • Specialist resources
  • Printing and scanning
  • The CL network
  • SSH access to the CL systems
  • Supported platforms
  • Generic Unix/Linux information
  • Web servers and sites
  • The RT ticketing system
  • Lecture theatre AV
  • Departmental policies
  • Meeting rooms
  • Personnel information
  • Staff training
  • Wiseman prize
  • General health and safety
  • Environment
  • H&S policies & committees
  • Risk assessment
  • Laser safety
  • Useful links
  • Index of Health & Safety pages
  • PhD supervisors
  • Graduate Advisers
  • First Year Report: PhD Proposal
  • Second Year Report: Dissertation Schedule
  • Third Year Report: Progress Statement
  • Fourth Year Report: the last year
  • Papers and conferences
  • Thesis formatting
  • Submitting your dissertation
  • Exemption from University Composition Fees
  • Leave to work away, holidays and intermission
  • Researcher Development
  • Application deadlines
  • List of PhD thesis
  • Graduate Students' Forum
  • PAT, recycling and Building Services
  • Preparing Tripos exam questions in LaTeX
  • Information for CST examiners
  • Information for Directors of Studies
  • ACS module definition
  • Providing advice to incoming ACS students
  • ACS interviewing and admissions
  • Outreach material
  • Faculty Board
  • Degree Committee
  • Graduate Education
  • Tripos Management
  • Health & Safety
  • IT Strategy
  • Equality and Diversity
  • Research Staff
  • Staff–Student
  • Graduate Students
  • Buildings and Environment
  • Discontinued committees
  • Building Services
  • Access and security
  • Care of the WGB
  • Facilities in offices
  • Energy & Environment
  • West Cambridge Site
  • Leaving the department
  • by supervisor

List of finished PhD students

Below is a list of all the PhD theses so far recommended by the Computer Science Degree Committee to the Board of Graduate Studies for approval (which can in some cases mean that there are still corrections to be made before final approval). Fully approved Cambridge PhDs are listed in the University Library thesis catalog .

All authors are encouraged to publish their approved thesis as a Computer Laboratory Technical Report . Where available, the table below links to that public tech-report version of the thesis. Where available, it also links the local PDF version uploaded by the student , which now also includes files that were in the past collected by Lise Gough in /usr/groups/studentadmin/PhD_theses. (The local PDFs are only accessible to members of the Computer Laboratory and may in some cases not yet contain any final corrections required by the examiners.)

Note: If a Computer Laboratory research student's PhD is not listed here, then it might have been dealt with by the Mathematics Degree Committee (this includes any pre-1987 Computer Laboratory PhD) or by the Engineering Degree Committee (this applies to some early ones in the Digital Technology Group).

authortitlesupervisor
(co-supervisor)
startedsubmitted
approved
thesis
Lyrics generation constrained by tone, melody and imagery 2019-01-042024-04-30
2024-07-02
Automated detection of cryptocurrency investment scams at scale 2020-10-012024-04-04
2024-07-02
Scheduling for Reduced Tail Latencies in Highly Utilised Datacenters ,
2019-10-012024-01-31
2024-07-02
Near-memory processing for low-precision deep neural networks 2017-10-012024-01-16
2024-04-23
Reliable and decentralised deep learning for physiological data 2020-10-012024-01-13
2024-04-23
End-user programming of visualisations 2015-10-012024-01-08
2024-04-23
Deep learning-based medical image reconstruction for multi-contrast magnetic resonance imaging 2019-10-012023-12-13
2024-07-02
Deception and defense from machine learning to supply chains 2020-10-012023-12-06
2024-04-23
,
DEliBots: Deliberation Enhancing Bots 2019-10-012023-11-15
2024-02-27
Self-supervised learning for data-efficient human activity recognition 2019-10-012023-11-14
2024-02-27
Exploring Neuroimaging-Specific Deep Learning Biases: Uncertainty, Dynamic Graphs, and Communities 2017-10-012023-10-31
2024-02-27
Eavesdropping risks of the DisplayPort video interface 2019-10-012023-10-31
2024-01-23
On the Optimality of the Lexicon ,
2019-10-012023-10-29
2024-01-23
Towards maintainable and explainable AI systems with Dataflow 2020-01-042023-10-27
2024-02-27
Argument mining with informal text 2019-10-012023-10-22
2024-01-23
Graph Neural Networks for Multi-Agent Learning 2019-10-012023-09-30
2024-02-27
Enhancing Interpretability: The role of concept-based explanations across data types ,
2019-10-012023-09-29
2024-04-23
Meta Properties of Financial Smart Contracts ,
2019-10-012023-09-29
2024-01-23
Decentralised protocol-independent automation in smart buildings 2019-10-012023-09-29
2024-01-23
Strong metadata privacy for mobile devices and applications 2019-10-012023-09-29
2024-01-23
Formalising Combinatorial Structures and Proof Techniques in Isabelle/HOL 2019-10-012023-09-26
2024-02-27
Yan GaoFederated self-supervised learning 2020-10-012023-09-23
2024-01-23
On the evaluation and application of neural language models for grammatical error detection 2017-10-012023-09-22
2024-01-23
Large-scale inference and imputation for multi-tissue gene expression 2019-10-012023-09-01
2023-11-21
The Role of Precedent in Computational Models of Law 2019-10-012023-08-10
2024-01-23
Improving photometric camera accuracy and image quality in high dynamic range imaging 2019-10-012023-07-27
2023-11-21
Computational criminology: at-scale quantitative analysis of the evolution of cybercrime forums 2019-10-012023-07-24
2023-11-21
Transient execution vulnerabilities in the security context of server hardware 2018-01-042023-07-18
2023-11-21
,
Securing encrypted communication 2015-04-102023-07-07
2023-10-10
Evaluating Natural Language Generation Tasks for Grammaticality, Faithfulness and Diversity 2018-10-012023-06-30
2023-11-21
Deep concept reasoning: beyond the accuracy-interpretability trade-off 2020-10-012023-05-31
2023-10-10
Non-parametric modelling of signals on graphs 2019-10-012023-05-27
2023-10-10
Distributional and relational inductive biases for graph representation learning in biomedicine ,
2019-01-042023-05-04
2023-10-10
,
Daniel BruderElectronic Long-Term Archiving of Complex Textual Artefacts 2016-10-012023-05-04
2023-07-04
Balanced allocations under incomplete information: New settings and techniques 2019-10-012023-04-01
2023-10-10
,
Jin ZhuDeep neural networks for medical image super-resolution 2016-10-012023-03-01
2023-07-04
Sian GoodingA personalised approach to lexical complexity 2019-10-012023-01-10
2023-04-25
Qingbiao LiGraph Neural Networks for Multi-Robot Coordination 2018-10-012023-01-08
2023-04-25
Efficient spatial and temporal safety for microcontrollers and application-class processors 2018-10-012022-12-31
2023-02-28
,
Out-of-distribution generalisation in machine learning ,
2019-01-042022-12-24
2023-04-25
Samuel BellTowards a psychological science of neural network behaviour 2018-10-012022-12-22
2023-04-25
Christine De KockConstructive online disagreement 2019-10-012022-12-19
2023-02-28
Edgaras LiberisTaming TinyML: deep learning inference at computational extremes 2020-10-012022-12-16
2023-04-25
Single-trace template attacks on permutation-based cryptography 2018-10-012022-12-15
2023-02-28
Topological Deep Learning: Graphs, Complexes, Sheaves 2019-10-012022-12-14
2023-02-28
Representation Learning for Patients in the Intensive Care Unit 2017-10-012022-12-12
2023-04-25
Quotient W-Types 2018-10-012022-12-12
2023-02-28
Game comonads and beyond: compositional constructions for logic and algorithms 2018-10-012022-10-31
2023-04-25
The Cerberus C semantics 2011-10-012022-10-26
2023-02-28
,
Context-conscious fairness throughout the machine learning lifecycle 2019-10-012022-10-06
2023-07-04
Motion quality models for real-time adaptive rendering 2019-01-042022-10-04
2023-01-17
,
Path from photorealism to perceptual realism 2018-10-012022-09-30
2023-01-17
A causal perspective on model robustness: case studies in health and sensor data 2018-10-012022-09-29
2022-11-22
Continual Learning for Affective Robotics 2018-10-012022-09-28
2023-01-17
Efficient Virtual Cache Coherency for Multi-core Systems and Accelerators 2018-10-012022-09-19
2023-01-17
,
Exploring the potential of Earables for Personal-Scale Sensing 2019-01-042022-09-15
2022-11-22
Efficient, robust and uncertainty aware mobile health 2018-10-012022-09-09
2023-01-17
Ran ZmigrodA hitchhiker's guide to efficient non-projective dependency parsing ,
2019-10-012022-08-10
2022-10-11
Coding for emerging archival storage media ,
2017-10-012022-08-04
2023-01-17
Exploiting heterogeneous parallelism in software and hardware 2015-10-012022-07-26
2022-10-11
Furthering Datalog in the pursuit of program analysis 2017-10-012022-07-22
2023-01-17
Morphological competence in neural natural language processing 2017-10-012022-07-20
2023-01-17
Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety 2018-10-012022-07-04
2022-10-11
,
Shyam TailorPractical processing and acceleration of graph neural networks 2020-10-012022-06-30
2022-10-11
Alexandre RaymondExplanations for Autonomous Agents ,
2018-10-012022-06-27
2022-11-22
Meta-learning representations with relational structure 2017-10-012022-04-21
2022-10-11
Monadic and higher-order structure 2018-10-012022-03-06
2022-06-07
Secure Programming with Dispersed Compartments 2018-01-042022-03-05
2022-06-07
Retrieval of research-level mathematics via joint modelling of text and types 2013-10-012022-03-03
2022-06-28
CHERI Compartmentalisation for Embedded Systems 2018-04-172022-02-23
2022-06-28
,
Data-driven representations in brain science: Modelling approaches in neuroimaging and gene expression domains ,
Prof. M. Spillantini
2016-10-012022-02-16
2022-06-28
,
Towards automatic interpretation of A Fortiori arguments 2015-10-012022-01-31
2022-06-07
Programming and static analysis with graded monads 2018-10-012022-01-09
2022-04-26
Jacob DeasyRelaxing assumptions in deep probabilistic modelling: Broader statistical assumptions for deep generative models and healthcare data 2018-10-012021-12-22
2022-06-28
Low-level cross-language post-link 2018-10-012021-12-18
2022-06-28
Pablo Spivakovsky-GonzalezComputational tools for metabolic modeling and gene duplication analysis 2015-10-012021-11-30
2022-04-26
Transparent analysis of multi-modal embeddings 2015-10-012021-11-26
2022-03-01
,
Dynamic analysis for concurrency optimisation 2019-10-012021-10-27
2022-06-07
,
Software and hardware codesign for efficient neural networks 2017-10-012021-09-29
2022-01-18
Kyndylan NienhuisVerified security properties for the capability-enhanced CHERI-MIPS architecture 2013-10-012021-09-29
2022-01-18
Danny VagnozziVariations on the theme of higher dimensional Weisfeiler-Leman algorithms 2017-10-012021-09-27
2022-03-01
Protecting enclaves from side-channel attacks through physical isolation 2017-10-012021-09-27
2022-01-18
,
James ThorneEvidence-based verification and correction of textual claims 2019-01-042021-09-27
2022-01-18
,
Automating representation change across domains for reasoning 2017-10-012021-09-07
2022-03-01
,
Machine learning to model health with multimodal mobile sensor data 2017-10-012021-07-07
2021-10-12
Information dissemination via random walks 2017-10-012021-07-06
2021-10-12
,
Capability-based access control for cyber physical systems 2018-10-012021-07-03
2021-10-12
,
Simeon SpasovEncoding parameter and structural efficiency in deep learning ,
Prof. M. Spillantini (ClinMed)
2016-10-012021-05-23
2021-10-12
Kawin WorrasangasilpaFormally verifying the security properties of a proof-of-stake blockchain protocol 2017-01-052021-04-30
2021-10-19
Federated Linear Dimensionality Reduction 2016-10-012021-04-30
2021-06-29
Nicholas TimmonsSoftware-based approximate computing for mathematical functions 2017-10-012021-04-09
2021-06-29
Routing algorithms for next-generation MANETs: Why shortest is not the greatest 2016-10-012021-03-08
2021-06-29
Exploiting multimodality and structure in world representations 2017-10-012021-03-07
2021-06-29
Mechanising and evolving the formal semantics of WebAssembly: The Web’s new low-level language 2016-10-012021-02-05
2021-07-06
Decentralised computer systems 2017-10-012021-01-07
2021-04-27
Skill embeddings: artificial neural network representations for pedagogical policy development 2016-01-042021-01-04
2022-01-18
Interpretable Deep Learning: Beyond Feature-Importance with Concept-based Explanations 2016-10-012020-12-30
2021-04-27
Saad AloteibiA user-centred approach to information retrievalDr S. Clark2009-10-012020-12-18
2021-06-29
Joseph ZammitCompressive sensing of images and video: towards low-complexity, real-time operation ,
Dr. Ashwin A Seshia (CUED)
2016-10-012020-12-15
2021-04-27
The role of machine learning in personalised instructional sequencing for language learning 2016-10-012020-11-20
2021-04-27
Myoung Jin NamInline and Sideline Approaches for Low-cost Memory Safety in C 2005-10-012020-11-13
2021-01-19
,
Hardware and software fingerprinting of mobile devices 2017-10-012020-11-02
2021-03-02
Data Summarizations for Scalable, Robust and Privacy-Aware Learning in High Dimensions 2016-10-012020-10-30
2021-03-02
,
Kevin HeffernanProblem-solving recognition in scientific text 2015-10-012020-10-13
2021-01-19
The Impact of Randomisation in Load Balancing and Random Walks 2016-10-012020-09-30
2021-01-19
Active sampling, scaling and dataset merging for large-scale image quality assessment 2017-10-012020-09-28
2021-01-19
Neural approaches to discourse coherence: modeling, evaluation and application 2016-10-012020-09-28
2021-01-19
Ntombikayise BandaMultimodal Emotion Recognition 2010-10-012020-09-04
2021-01-19
Neural Diagrammatic Reasoning ,
Prof. M. Jamnik
2016-10-012020-08-31
2021-03-02
Lawrence EsswoodCheriOS: A high-performance and completely untrusted single-address-space capability operating system 2015-10-012020-08-06
2021-01-19
,
Ayat FekryOptimising data intensive computing with efficient configuration tuning 2016-10-012020-07-17
2020-11-24
Helen OliverObstacles to wearable computing 2016-10-012020-06-30
2021-03-02
,
Modeling Urban Venue Dynamics through Spatio-Temporal Metrics and Complex Networks 2016-10-012020-05-28
2020-07-14
Crowdsourcing Mobile Data for Indoor Positioning 2015-10-012020-04-30
2020-07-14
A SIMD architecture for hard real-time systems 2015-10-012020-03-31
2020-07-14
Ewa MuszynskaSemantic chunking 2015-10-012020-03-30
2020-06-09
Much tag-do about nothing 2016-10-012020-02-24
2020-06-09
Honeypots in the age of universal attacks and the Internet of Things 2016-10-012019-11-20
2020-01-21
,
Interpreting deep learning for cell differentiation 2015-10-012019-11-04
2020-01-21
Mohibi HussainAvailability, integrity, and confidentiality for a content-centric internet architecture ,
Dr A. Sathiaseelan
2015-10-012019-10-29
2020-03-03
Cartesian closed bicategories: type theory and coherence 2015-10-012019-10-17
2020-04-28
Reasoning about effectual programs and evaluation order 2016-10-012019-10-17
2020-03-03
,
Complete spatial safety for C and C++ using CHERI capabilities 2015-10-012019-10-15
2020-01-21
,
Peng SunSpeculative vectorization with selective replay 2015-10-012019-09-30
2020-01-21
Hugo PaquetProbabilistic concurrent game semantics 2015-10-012019-09-30
2020-01-21
End-to-end deep reinforcement learning in computer systems 2015-10-012019-09-29
2020-03-03
,
Optimization of a modern numerical library, a bottom-up approach 2015-10-012019-09-27
2020-01-21
,
Multilayer network methodologies for brain data analysis and modelling 2015-10-012019-09-20
2020-01-21
Visibility metrics and their application in visually lossless image compression 2016-10-012019-08-27
2019-11-26
Xiao ZhouSpatio-temporal patterns of human mobility from geo-social networks for urban computing: Analysis, models and applications 2015-10-012019-08-21
2019-11-26
Evaluating visually grounded language capabilities using microworlds 2015-10-012019-08-21
2019-11-26
,
Model-architecture co-design of deep neural networks for embedded systems 2016-01-042019-07-26
2019-11-26
Capability memory protection for embedded systems 2015-10-012019-05-28
2019-10-15
,
Kris CaoLearning meaning representations for text generation with deep generative models ,
Dr S. Clark
2014-10-012019-05-20
2019-10-15
Symmetric circuits and model-theoretic logics 2014-10-012019-03-04
2019-06-11
Jean MaillardMachine learning methods for vector-based compositional semanticsDr S. Clark2014-10-012019-02-04
2019-04-23
The resurgence of structure in deep neural networks 2016-01-042019-01-30
2019-04-23
Automatic annotation of error types for grammatical error correction 2015-10-012018-12-19
2019-04-23
,
Matthew DaggittAn algebraic perspective on the convergence of vector-based routing protocols 2015-10-012018-12-18
2019-03-05
Latency-driven performance in data centres 2014-04-172018-12-13
2019-03-05
Stephan KollmannPrivacy-preserving decentralised collaborative applications 2014-10-012018-11-27
2019-03-05
Ian OrtonCubical models of homotopy type theory 2015-10-012018-11-05
2019-01-22
The semantics of multicopy atomic ARMv8 and RISC-V 2014-10-012018-09-30
2019-04-23
Distributed consensus revised 2014-10-012018-09-26
2019-01-22
David TurnerParallelisation of greedy algorithms for compressive sensing reconstruction 2013-10-012018-09-17
2019-01-22
,
Christian O'ConnellExploiting quasiperiodic electromagnetic radiation using software-defined radio 2014-10-012018-09-10
2019-01-22
Ivo TimoteoLearning dynamic systems as networks of stochastic differential equations 2012-10-012018-08-20
2019-01-22
Functional distributional semantics: Learning linguistically informed representations from a precisely annotated corpus 2014-10-012018-08-20
2018-10-16
Maxwell ConwayMachine learning methods for detecting structure in metabolic flow networks 2014-10-012018-08-06
2019-01-22
,
Khaled BaqerResilient payment systems 2014-10-012018-07-19
2018-10-16
,
Yang LiuApplication of prior information to discriminative feature learning 2014-10-012018-06-15
2018-10-16
Menglin XiaText readability and summarisation for non-native reading comprehension 2014-10-012018-06-07
2018-10-16
Meng ZhangModelling text meta-properties in automated text scoring for non-native English writing 2014-10-012018-05-31
2018-10-16
Guo YuEffects of timing on users' perceived control when interacting with intelligent systems ,
Dr Ian Cross
2014-10-012018-05-11
2018-10-16
,
Network and storage stack specialisation for performance ,
Kyle Nesbit (Google mentor)
2012-10-012018-05-11
2018-07-03
Alessandro MontanariDevising and evaluating wearable technology for social dynamics monitoring 2014-10-012018-05-10
2018-10-16
Hui XiaoNetwork-based approaches for multi-omic data integration ,
Prof. Anne Ferguson-Smith, MoleBio
2014-04-172018-04-16
2018-10-16
Syed Zafar Ul Hussan GilaniUnderstanding the behaviour and influence of automated social agents 2014-10-012018-02-23
2018-06-19
Prefetching for complex memory access patterns 2014-10-012018-02-06
2018-06-19
,
Yimai FangProposition-based summarization with coherence-driven incremental model 2013-10-012018-01-05
2018-04-17
Thomas BrouwerBayesian matrix factorisation: inference, priors, and data integration 2014-10-012017-10-02
2018-01-23
Public engagement technology for bioacoustic citizen science 2013-10-012017-09-29
2020-04-28
Colin RothwellProtection from malicious peripherals 2013-10-012017-09-29
2018-01-23
Towards justifying computer algorithms in Isabelle/HOL 2013-10-012017-09-28
2018-03-09
High-performance memory safety optimizing the CHERI capability machine 2013-10-012017-09-28
2018-01-23
Simon BakerSemantic text classification for cancer text mining 2013-10-012017-09-27
2018-01-23
A no-thin-air memory model for programming languages 2013-10-012017-09-20
2018-01-23
Ionel GogFlexible and efficient computation in large data centres ,
2012-10-012017-09-01
2018-01-23
Structured learning with inexact search: Advances in shift-reduce CCG parsingDr S. Clark2012-01-052017-08-25
2017-11-21
Gregory TsipenyukEvaluation of decentralized email architecture and social network analysis based on email attachment sharing 2013-10-012017-08-03
2017-10-17
,
Pengming WangDescriptive complexity of constraint problems 2013-10-012017-07-27
2018-01-23
Ruoyu ZhouGuided automatic binary parallelisation ,
Dr R. D. Mullins
2013-10-012017-07-20
2018-01-23
Ziqiang FengPower control and resource allocation for QoS-constrained wireless networks 2013-10-012017-07-12
2017-10-17
Jyothish SomanA peformance efficient and practical processor error recovery framework ,
Prof. S. W. Moore
2014-01-062017-07-07
2018-01-23
,
Erroll WoodGaze estimation with graphics 2013-10-012017-05-02
2017-07-04
Sandro BauerContent selection for timeline generation from single history articles ,
Dr S. Clark
2012-04-172017-03-31
2017-10-17
Matic HorvatHierarchical statistical semantic translation and realization ,
Prof. W. J. Byrne, CUED
2013-10-012017-03-07
2017-07-04
,
Petko GeorgievHeterogeneous resource mobile sensing: computational offloading, scheduling and algorithm optimisation 2013-10-012017-01-05
2017-03-07
Interactive analytical modelling ,
Prof. M. Jamnik
2013-10-012016-12-01
2017-03-07
,
Latency-first datacenter network scheduling 2012-01-052016-11-13
2017-01-17
Sheharbano KhattakCharacterization of Internet censorship from multiple perspectives ,
Dr S. J. Murdoch
2013-10-012016-11-01
2017-01-17
,
Stephen DolanAlgebraic subtyping 2012-10-012016-09-30
2017-01-17
Valentin DalibardA framework to build bespoke auto-tuners with structured Bayesian optimisation ,
Prof. J. A. Crowcroft
2012-10-012016-09-30
2016-11-29
,
Andre Ribeiro'When Google search helps unemployment' and other cases for a theory of everday media ,
Dr S. H. Teufel
2012-10-012016-09-26
2016-11-29
Grammatical error correction in non-native English 2013-10-012016-09-23
2017-01-17
Desislava HristovaA multilayer approach to geo-social networks: models, metrics and applications 2013-04-172016-09-23
2016-11-29
Annalisa OcchipintiComputational models of cancer for survival prediction 2013-10-012016-09-21
2017-01-17
Chao GaoSignal maps for smartphone localisation 2013-10-012016-08-03
2016-11-29
,
Raphael ProustASAP: As Static As Possible memory management 2012-10-012016-07-29
2016-10-18
,
Jingjing ShenTrimmed NURBS to untrimmed subdivision: conversion for watertight representations ,
Dr J. Kosinka
2012-10-012016-07-18
2016-10-18
Deep embodiment: Grounding semantics in perceptual modalitiesDr S. Clark2012-10-012016-07-08
2016-10-18
,
Representing linguistic meaning in distributed memories from words to sentences and beyond 2012-10-012016-06-16
2016-11-29
Tomas PetricekContext-aware programming languages ,
Dr Don Syme
2011-01-052016-05-31
2017-01-17
,
Dongting YuAccess control for network management 2010-10-012016-05-19
2016-10-18
Muhammad Umar JanjuaStatic Program Correction Analysis and Transformations ,
iap
2003-10-012016-05-16
2017-01-17
Flora Ponjou Tasse3D Shape Retrieval 2012-10-012016-05-16
2016-10-18
Provenance-based computing ,
Dr R. S. Sohan
2011-10-012016-04-20
2016-10-18
,
Naruemon (Ploy) PratanwanichProbabilistic latent variable modelling for integrated biological data 2012-10-012016-04-15
2016-10-18
Xin DingOn enhancing compressive sensing for multidimensional signals: causal and batch approaches 2012-04-172016-04-08
2016-10-18
Artificial error generation for translation-based grammatical error correction 2013-01-042016-03-24
2016-06-28
,
Kumar SharadLearning to de-anonymize social networks ,
Dr S. J. Murdoch
2012-06-222016-03-21
2016-06-28
Parameterized complexity of distances to sparse graph classes 2012-10-012016-02-25
2016-06-28
,
Exploring new attack vectors for the exploitation of smartphones 2012-04-172016-02-01
2016-05-03
Thomas PasquierTowards practical information flow control and audit 2012-10-012016-01-29
2016-05-03
,
Yu WangStructured sparsity learning - taming the penalty under structure 2012-01-052016-01-27
2016-05-03
James SneeOperating system support for in-program instrumentation Operating system support for in-program instrumentation ,
Dr R. S. Sohan
2011-10-012016-01-04
2016-05-03
Marco Ferreira Devesas Campos Mendler induction and classical logic 2011-10-012015-12-14
2016-03-08
Oliver ChickForgoing hypervisor fidelity for measuring virtual machine performance ,
Dr R. S. Sohan
2012-10-012015-11-30
2016-03-08
Andra AdamsAutomated inference of complex emotions from facial expressions and head gestures 2010-10-012015-11-11
2016-01-19
Malte SchwarzkopfOperating system support for warehouse-scale computing ,
jac
2009-10-012015-10-23
2016-03-08
Yoli ShavitAlgorithms for reconstructing the 3D genome architecture 2012-10-012015-10-12
2015-12-01
Security metrics for computer systems 2012-10-012015-09-30
2016-03-08
William SonnexFixed-point promotion: taking the induction out of automated induction 2011-10-012015-09-30
2016-01-19
Niall MurphyDiscovering and exploiting parallelism in DOACROSS loops 2011-10-012015-09-30
2016-01-19
,
Gareth BaileyIn situ gait analysis during steady state running using foot mounted sensors 2011-10-012015-09-30
2016-01-19
Hardware support for compartmentalisation 2011-10-012015-09-30
2015-12-01
Programming language evolution 2011-10-012015-09-21
2016-03-08
Zongyan HuangMachine learning and algebra 2011-10-012015-08-24
2015-10-20
,
Ramana KumarA Verified Implementation of ML ,
Dr M. O. Myreen
2011-10-012015-05-14
2015-12-01
,
Alistair SteadUsing multiple representations to develop notational expertise in programming 2011-10-012015-05-14
2015-10-20
Joonwoong KimAnonymous communication in DTN ,
fms
2005-10-012015-05-06
2015-10-20
Theodosia TogiaThe language of collaborative tagging 2011-10-012015-04-16
2015-06-30
,
Alexander KatovskyGames as Factorization Systems 2010-10-012015-04-10
2015-10-20
Tobias MoncasterOptimising the data centre operation by reducing transport latency 2011-10-012015-04-07
2018-03-06
,
Andrius AucinasDesign of energy-efficient mobile communications protocols 2011-10-012015-03-16
2015-10-20
Claudio AngioneComputational methods for multi-omic models of cell metabolism and their importance for theoretical computer science 2011-10-012015-03-05
2015-05-05
Vaiva ImbrasaiteContinuous dimensional emotion tracking in music 2011-10-012015-01-21
2015-03-10
Analysis of hand-over-face gestures in natural expressions 2010-10-012015-01-15
2015-05-05
Lech SwirskiGaze estimation on glasses-based stereoscopic displays 2010-10-012014-12-22
2015-03-10
Error detection in content word combinations 2011-10-012014-12-12
2015-05-05
,
Mohammad Ali MoniClinical bioinformatics and computational modelling for diseas comorbidities diagnosis 2011-05-052014-11-20
2015-01-20
Rubin XuImproving application trustworthiness on stock Android 2010-10-012014-10-27
2015-01-20
Steven MarshEfficient programming models for neurocomputation 2010-10-012014-09-30
2015-01-20
William DenmanAutomated verification of continuous and hybrid dynamical systems 2010-10-012014-09-25
2015-01-20
,
Peter CalvertArchitecture-neutral parallelism via the Join Calculus 2010-10-012014-09-24
2015-03-10
,
Zhen BaiAugmented reality interfaces for symbolic play in early childhood 2010-10-012014-09-17
2015-01-20
Andreas KoltesReconfigurable memory systems for embedded microprocessors 2010-10-012014-09-16
2014-12-02
Efficient multivariate statistical techniques for extracting secrets from electronic devices 2010-10-012014-07-16
2014-10-21
,
Mark BattyThe C11 and C++11 Concurrency Model ,
mjp
2009-01-052014-06-20
2014-10-21
Henrik LiengSurface modelling for 2D imagery ,
Jiri Kosinka
2011-10-012014-06-17
2014-10-21
,
Charalampos RotsosScalable Software Defined Networking 2009-04-102014-06-09
2014-10-21
The role of space in social groups: Analysis and technological applications 2011-10-012014-06-06
2014-10-21
Janina VoigtAliasing contracts: a unifying approach to object-oriented alias protection 2011-10-012014-05-19
2014-10-21
Steffen LoeschProgram equivalence in function metaprogramming via nominal Scott domains 2010-10-012014-05-19
2014-10-21
Wireless communications in vehicles 2010-10-012014-05-06
2014-10-21
Higher-order proof translation 2008-10-012014-04-14
2014-07-01
CHERI: A RISC capability machine for practical memory safety 2010-10-012014-03-07
2014-05-06
Infrastructure-free indoor pedestrian localisation with smartphones ,
2009-10-012014-03-01
2014-07-01
Syed Ali Mustafa ZaidiAccelerating Control-Flow Intensive Code in Spatial Hardware 2009-10-012014-02-28
2014-07-01
Christopher SmowtonI/O optimisation and elimination via partial evaluation I/O optimisation and elimination via partial evaluation ,
2009-10-012014-02-11
2014-07-01
Matej UrbasMechanising heterogeneous reasoning in theorem provers 2009-10-012013-12-11
2014-07-01
Thomas LippincottUnsupervised approaches to syntactic verb frame acquisition for biomedicine ,
2009-10-012013-11-26
2014-03-11
Jukka LehtosaloAdapting dynamic object-oriented languages to mixed dynamic and static typing ,
2009-10-012013-09-30
2014-01-21
Matko BotincanFormal verification- driven parallelisation synthesis 2009-10-012013-09-27
2014-01-21
,
Sentiment analysis of scientific citations ,
Dr S. Clark
2009-10-012013-09-27
2014-01-21
Tadas BaltrusaitisAutomatic facial expression analysis 2009-10-012013-09-26
2014-01-21
,
Steven SmithRaft: Automated techniques for diagnosing, reproducing, and fixing concurrency bugsDr S. M. Hand2005-10-012013-09-18
2014-01-21
Anastasios NoulasHuman urban mobility in location-based social networks: Analysis, models and applications ,
jac
2010-01-052013-08-23
2013-10-22
James Gregory JardineAutomatically Generating Reading Lists ,
alk
2009-10-012013-08-15
2013-12-03
,
Jisun AnMulti-faceted analysis of news sharing in social networking sites 2010-01-052013-08-06
2013-10-22
Wei Ming KhooDecompilation as search 2009-10-012013-08-05
2013-10-22
Exploiting tightly-coupled cores 2009-10-012013-07-31
2013-12-03
,
Nicholas PilkingtonHyperparameter optimisation for multiple kernels 2009-10-012013-06-28
2013-12-03
Narseo Vallina-RodriguezThe hidden costs of mobile applications: A cross-layer analysis of energy and spectrum waste of mobile applications 2009-01-052013-04-12
2013-10-22
Workload measurement in command and control 2008-10-012013-03-18
2013-07-02
Milos PuzovicHardware/software interface dynamic multicore scheduling 2008-10-012013-03-14
2013-07-02
Programming contextual computations 2008-10-012013-01-04
2013-07-02
Automated assessment of English-learner writing 2009-10-012012-12-21
2013-05-07
Minimally supervised dependency-based methods for natural language processing ,
alk
2009-10-012012-12-21
2013-05-07
Concurrent verification for sequential programs 2008-10-012012-12-20
2013-05-07
Maximilian BolingbrokeSupercompilation for call-by-need languages ,
SPJones
2008-10-012012-12-05
2013-03-12
,
Kiran RachuriSmartphones based Social Sensing: Adaptive Sampling, Sensing and Computation Offloading 2009-10-012012-11-28
2013-03-12
Ching-Yun ChangTransformations for linguistic steganographyDr S. Clark2009-10-012012-11-14
2013-03-12
Paul James FoxMassively parallel neural computation 2009-04-102012-10-04
2013-01-22
,
Leo WhiteExtending old languages for the new architectures ,
Derek McAuley
2008-10-012012-09-28
2013-03-12
Christopher Thompson-WalshSemantics and extension of a biological modelling language 2008-10-012012-09-28
2013-01-22
Yuedong SongElectroencephalogram machine learning to assist diagnosis and treatment of epilepsy 2008-10-012012-09-26
2015-03-10
Soren PreibuschPrivacy choices online: preferences, incentives and enforcement 2008-10-012012-09-25
2013-01-22
Colin KellyAutomatic extraction of property norm-like data from large text corpora 2008-10-012012-09-25
2013-01-22
Benjamin RobertsLanguage semantics for secure information flow analysisDr S. Staton2008-10-012012-09-24
2013-01-22
Wei ChenCompressive sensing for wireless sensor networks ,
acr
2009-10-012012-09-20
2012-12-04
Gregory ChadwickCommunication centric, multi-core, fine-grained processor architecture 2008-10-012012-09-14
2013-01-22
Lin SunAutomatic induction of verb classes using clustering 2008-10-012012-07-23
2012-12-04
Privacy engineering for social networks. 2008-10-012012-07-20
2012-10-16
,
Aisha ElsaftyA naming and trust approach for seamless handover in multiple-interface mobile devices 2007-01-052012-07-12
2013-03-12
Salvatore ScellatoSpatial properties of online social services: measurement, analysis and applications 2009-04-102012-05-08
2012-10-16
Charles ReamsModelling energy efficiency for computation 2008-10-012012-04-04
2012-07-03
Security and privacy in the social web 2008-10-012012-04-04
2012-05-08
Communication for programmability and performance on multi-core processors ,
am
2009-01-052012-03-20
2012-10-16
,
Christopher NashSupporting virtuosity and flow in computer music 2006-10-012011-12-20
2012-07-03
Programming for humans- a new paradigm for domain-specific languages 2007-10-012011-12-19
2012-05-08
Syed HaiderComputational systems biology-based feature selection for cancer prognosis 2009-01-052011-12-15
2012-03-13
Eric KoskinenTemporal verification of programs ,
Byron Cook
2008-10-012011-12-09
2012-05-08
John TangTemporal network metrics and their application to real world networks 2008-10-012011-12-06
2012-03-13
Shailendra FuloriaRobust security for the electricity network 2009-01-052011-11-22
2012-01-24
Hyoungshick KimComplex network analysis for secure and robust communications 2008-10-012011-11-21
2012-01-24
Stephan KitchovitchComputational modelling and analysis of seasonal influenza transmission and evolution 2008-10-012011-11-14
2012-03-13
Christian RichardtColour videos with depth acquisition, processing and evaluation 2007-10-012011-11-11
2012-01-24
Simon FothergillAutomatic assessment of kinaesthetic performance applied to rowing 2005-10-012011-09-30
2013-10-22
Richard RussellPlanning with preferences using maximum satisfiability 2007-10-012011-09-30
2012-03-13
Sherif AkoushExploiting surplus renewable energy in datacentre computing ,
Dr R. S. Sohan
2007-10-012011-09-30
2012-01-24
Philip TaylorSpecification of policy languages for network routing protocols in the Bellman-Ford family 2007-10-012011-09-29
2012-01-24
Vilius NaudziunasDesign and implementation of a language for path algebras 2008-10-012011-09-28
2011-12-06
Ruoshui LiuPlanning and deployment of wireless sensor networks 2007-10-012011-09-21
2011-12-06
Arno PaulyComputable metamathematics and its applications to game theory 2008-10-012011-09-16
2012-01-24
Viet Anh NguyenBayesian approaches to biological network predictions 2007-10-012011-09-07
2011-10-11
Abstracting information on body area networks 2007-04-172011-07-13
2011-10-11
Derek MurrayA distributed execution engine supporting data-dependent control flowDr S. M. Hand2007-10-012011-07-08
2011-12-06
Reconstructing compressed photo and video data 2007-10-012011-06-27
2011-10-11
Anilkumar SorathiyaComputational modelling approaches to HIV-1 dynamics 2007-10-012011-06-08
2011-10-11
Ian LeungFast network analysis and applications in real-world networks 2008-01-052011-05-31
2011-10-11
Md Abdul AlimOn the Interaction of Internet Routing Protocols ,
jac
2007-10-012011-05-03
2011-10-11
Silvia BreuMining and tracking in evolving software 2006-04-172011-04-15
2011-12-06
,
Nishanth SastrySocial network support for data delivery infrastructures 2007-04-172011-04-15
2011-07-04
Amitabha RoySoftware lock elision for x86 machine codeDr S. M. Hand,
2007-10-012011-04-15
2011-07-04
,
Johanna GeissLatent semantic sentence clustering for multi-document summarization 2007-04-172011-04-11
2011-07-04
,
Ola MahmoudSecond-order algebraic theories 2007-01-052011-03-29
2011-10-11
,
Laurel RiekExpression synthesis on robots 2007-10-012011-03-25
2011-07-04
Computational approaches to figurative language 2007-10-012011-03-11
2011-05-10
Simon HayA model personal energy meter 2007-10-012011-02-10
2011-05-10
,
Verification of security protocols based on multicase communication 2006-10-012011-02-09
2011-05-10
Towards a worldwide storage infrastructure 2007-10-012011-01-24
2011-07-04
Nick Barrow-WilliamsProximity coherence for chip-multiprocessors 2007-10-012011-01-20
2011-07-04
,
Thomas TuerkA separation logic framework for HOL 2007-01-052010-12-24
2011-05-10
John MillerDistributed virtual environment scalability and security 2006-10-012010-12-22
2011-07-04
Black-box composition of mismatched software compnents ,
kaf
2006-10-012010-12-14
2011-05-10
,
Jonathan MakFacilitating program parallelisation - a profiling-based approach 2007-10-012010-11-18
2011-03-15
,
Weisi GuoPower allocation for wireless collaborative networks 2007-04-172010-11-08
2011-03-15
New approaches to operating system security extensibility 2005-10-012010-10-29
2011-01-25
,
Richard BergmairMonte Carlo Semantics: Robust inference and logical pattern processing based on integrated deep and shallow representations 2006-10-012010-10-13
2011-03-15
Scalable Cross-Layer Wireless Medium Access Control ,
2006-10-012010-10-11
2011-01-25
Yuguo HeHierarchies in first-order logic and parameterized complexity ,
amp
2006-10-012010-10-08
2010-12-07
Descriptive complexity of linear algebra ,
mf
2006-10-012010-09-30
2011-03-15
James SrinivasanImproving cache utilisation ,
pr
2003-01-052010-09-29
2011-01-25
,
Boris FeiginInterpretational overhead in system software 2006-10-012010-09-27
2011-01-25
James BridgeMachine learning and automated theorem proving 2006-10-012010-08-05
2010-10-12
,
Oliver WoodmanPedestrian localisation for indoor environments 2006-10-012010-05-28
2010-10-12
Shazia AfzalAffect inference in learning environments: a functional view of facial affect analysis using naturalistic data 2006-10-012010-05-17
2010-10-12
,
Periklis AkritidisPractical memory safety for CDr S. M. Hand2006-10-012010-05-11
2010-10-12
,
Unspecified quantification ,
2006-10-012010-04-27
2010-10-12
,
Daniel GreenfieldRentian locality in chip multiprocessors 2006-04-172010-04-16
2010-07-01
Grammatical error prediction 2006-10-012010-04-01
2010-07-01
,
Active electromagnetic attacks on secure hardware 2003-10-012010-03-19
2010-07-01
,
Mohan GanesalingamThe Language of Mathematics ,
Prof. Martin Hyland
2007-10-012010-02-26
2010-07-01
Thomas CashmanNURBS-compatible subdivision surfaces 2006-10-012010-01-22
2010-03-02
Richard Van der WathComputational modelling of hematopoietic stem cell division and regulation dynamics 2005-10-012010-01-01
2010-03-02
Daniel O'KeeffeDistributed complex event detection for pervasive computing 2003-10-012009-12-18
2010-03-02
Pradipta BiswasInclusive user modelling 2006-10-012009-12-16
2010-03-02
Semi-supervised learning for biomedical information extraction 2006-10-012009-12-10
2010-04-20
Categorical equational systems: algebraic models and equational reasoning 2004-10-012009-11-12
2010-03-02
Sriram SrinivasanKilim: A server framework with lightweight actors, isolation types and Zero-copy messaging 2005-10-012009-11-11
2010-01-19
John BillingsSpecifying and compiling Internet routing protocols 2005-10-012009-10-16
2010-01-19
Yan WuPropagation modelling for wireless sensor networks deployed to perform civil infrastructure monitoring 2006-10-012009-10-05
2010-01-19
Wei LiToward online behavioural traffic classification ,
2007-10-012009-10-02
2009-12-01
Controlling the dissemination and disclosure of healthcare events 2005-10-012009-09-30
2009-12-01
Olexiy GotsmanLogics and analyses for concurrent heap-manipulating programs ,
Byron Cook
2005-10-012009-09-30
2009-10-06
Anthony HylickManaging energy consumption of hard disk drives by optimizing system interaction ,
Dr R. S. Sohan
2005-10-012009-08-30
2010-04-20
Behzad BastaniOpen evolvable systems design by process-oriented modeling 2003-10-012009-08-28
2009-12-01
An executable meta-language for inductive definitions with binders 2005-10-012009-08-14
2009-12-01
Security for volatile FPGAs 2005-10-012009-08-14
2009-10-06
Cecily MorrisonBodies-in-Space: investigating technology usage in co-present group interaction 2006-10-012009-08-13
2009-12-01
Aaron CobleAnonymity, information and machine-assisted proof 2005-10-012009-08-05
2009-12-01
,
Julian SmithTowards robust inexact geometric computation 2003-10-012009-07-31
2009-12-01
,
Ranald CloustonEquational logic for names and binders 2005-10-012009-06-18
2009-12-01
Daniel BernhardtEmotion inference from human body motion 2005-10-012009-06-17
2009-10-06
Alexander GurneyConstruction and verification of routing algebras ,
mf
2005-10-012009-04-30
2009-12-01
Formalising, improving, and reusing the Java module system 2005-10-012009-04-16
2009-10-06
Min LinChannel modelling for wireless sensor networks 2004-10-012009-04-14
2009-10-06
William CarsonPerformance modelling and design of bit-interleaved coded modulation ,
ah
2005-10-012009-04-09
2009-05-26
Grzegorz MilosEfficient and effective sharing of memory in virtual machine monitorsDr S. M. Hand2005-10-012009-03-30
2009-10-06
Luis VargasIntegrating databases and Publish/Subscribe 2004-10-012009-02-26
2009-05-26
Mark AdcockImproving cache performance by runtime data movement 2004-10-012009-02-25
2009-05-26
,
Rosemary FrancisNetworks for Field Programmable Gate Arrays ,
pr
2006-04-172009-02-12
2009-07-02
Jonathan HaymanPetri net semantics 2004-10-012009-01-16
2009-07-02
Philip PaulMicroelectronic Security Measures 2005-10-012009-01-14
2009-07-02
,
Formal verification of machine-code programs 2005-10-012008-12-21
2009-05-26
,
David TurnerNominal domain theory for concurrency 2004-10-012008-12-19
2009-05-26
Eric HendersonA text representation language for contextual and distributional processing ,
ejb
2002-10-012008-12-01
2009-12-01
Arnab BanerjeeCommunication flows in power-efficient networks-on-chips 2005-10-012008-11-24
2009-03-10
Timos AntonopoulosExpressive Power of Graph Languages 2004-01-052008-11-14
2009-03-10
Minor GordonSmall-scale, event-based overlays 2005-10-012008-10-10
2009-01-20
,
Jonathan DaviesProgramming networks of vehicles ,
fms
2004-10-012008-09-26
2009-01-20
Vehicular wireless communication 2004-10-012008-09-26
2009-01-20
Atif AlviControlling pervasive domains with ontologies and rules 2004-10-012008-08-20
2008-10-21
Caroline GasperinStatistical anaphora resolution in biomedical texts 2003-10-012008-08-07
2008-12-02
,
Resource provisioning for virtualized server applicationsDr S. M. Hand,
2002-10-012008-08-04
2008-12-02
Na XuStatic contract checking for Haskell 2004-10-012008-08-01
2008-12-02
Learning compound noun semantics 2004-10-012008-07-11
2008-10-21
Salman TaherianState-based Publish/Subscribe for Sensor Systems 2003-10-012008-07-08
2008-10-21
Shishir NagarajaRobust covert network topologies 2003-10-012008-07-04
2008-12-02
Tomasz MacuraAutomating the quantitative analysis of micoscopy images 2004-10-012008-07-03
2009-03-10
Philip TuddenhamTabletop interfaces for remote collaboration 2004-10-012008-06-27
2008-10-21
Anna RitchieCitation context analysis for information retrieval ,
Steve Robinson
2004-10-012008-06-03
2008-10-21
James ReynoldsAn automatic proof-generating translation from high-order to first-order logic (with applications to linking HOL4 and ACL2) ,
djg
2004-10-012008-05-07
2008-10-21
Matthew JohnsonA new approach to Internet banking 2004-10-012008-04-01
2008-06-10
,
Alban RrustemiComputing surfaces - a platform for scalable interactive displays 2004-10-012008-03-25
2008-06-10
,
Tyler MooreCooperative attack and defense in distributed networks 2004-10-012008-03-07
2008-06-10
Security of proximity identification systems ,
djg
2003-10-012008-03-03
2008-10-21
,
Euan HarrisRate limiting in an event-driven BGP speaker ,
Dr T. G. Griffin
2002-10-012008-01-31
2009-05-26
Sofiane NaciControlling prevasive domains with ontologies and rules ,
mr
2004-10-012008-01-16
2008-06-10
Yu-En LuDistributed proximity query processingDr S. M. Hand,
2004-01-052008-01-14
2008-04-22
Anton LokhmotovProgramming and compiling for embedded SIMD architectures 2004-10-012008-01-04
2008-04-22
Mbou Eyole-MononoEnergy-efficient sentient computing ,
Rob Harle
2004-10-012008-01-03
2008-04-22
Darren EdgeTangible user interfaces for peripheral interaction: episodic engagement with objects of physical, digital and social significance 2004-10-012008-01-03
2008-04-22
Andrew Naish-GuzmanSparse and robust kernal methods ,
jgd
2003-10-012007-12-21
2008-04-22
Lauri PesonenA capability-based access control architecture for multi-domain publish/subscribe systems ,
km
2003-10-012007-12-21
2008-03-11
Gregory HughesLecture Adaptation for students with disabilities 2004-10-012007-12-17
2008-06-10
Wenjun HuA tale of two prototypes: Practical network coding for wireless mesh networks ,
TBA
2003-10-012007-11-22
2008-01-22
William HollingsworthUsing lexical chains to characterise scientific text ,
ejb
2003-10-012007-11-05
2008-03-11
Shahzad KhanNegation and antonymy in sentiment classification ,
2004-10-012007-10-08
2008-01-22
Investigating classification for natural language processing tasks 2004-10-012007-10-02
2008-01-22
Rebecca WatsonOptimising the speed and accuracy of a Statistical GLR Parser 2004-10-012007-09-10
2007-11-27
Michael ComptonFormal verification of process algebra systems ,
2002-10-012007-08-13
2008-03-11
Covert channel vulnerabilities in anonymity systems ,
rja
2002-10-012007-08-03
2007-11-27
,
Paul HunterComplexity and infinite games on finite graphs ,
amp
2002-10-012007-08-01
2007-11-27
Pan HuiPeople are the network: Experimental design and evaluation of social based forwarding algorithms ,
TBA
2004-10-012007-08-01
2007-11-27
Viktor VafeiadisModular fine-grained concurrency verification 2004-10-012007-07-23
2007-11-27
,
Vulnerability discovery & software security 2003-10-012007-07-03
2007-10-09
Simon HollisPulse-based, on-chip interconnect ,
pr
2003-10-012007-06-26
2007-10-09
Ian CaulfieldComplexity-effective superscalar embedded processors using instruction-level distributed processing ,
am
2002-10-012007-05-30
2007-10-09
Alan LawrenceOptimizing compilation with the value state dependence graph ,
mr
2002-10-012007-05-29
2007-11-27
Feng HaoOn using fuzzy data in security machanisms 2004-04-172007-05-24
2007-10-09
Doug SantryA cluster storage system for modern virtual machinesDr I. A. Pratt,
Dr S. M. Hand
2003-01-052007-05-17
2007-10-09
Richard SouthernAnimation manifolds for representing topological alteration ,
2003-10-012007-05-01
2008-06-10
Jacques FournierVector microprocessors for cryptography ,
rja
2003-10-012007-05-01
2007-10-09
Lucy Brace-EvansEvent structures with persistence ,
amp
2003-10-012007-04-27
2007-10-09
The Intelligent Book: technologies for intelligent and adaptive textbooks focussing on Discrete Mathematics ,
afb
2002-10-012007-04-25
2007-07-10
Martin VechevDerivation and evaluation of concurrent collectors ,
am
2003-10-012007-04-05
2007-10-09
Relationships for object-oriented programming languages ,
am
2003-10-012007-03-31
2007-10-09
Tal Sobol-ShiklerLe ton fait la musique: analysis of expressions in speech ,
2002-10-012007-03-31
2007-07-10
Ulrich PaquetBayesian inference for latent variable models ,
jgd
2003-10-012007-03-09
2007-06-12
Timothy MoretonA wide-area file system for migrating virtual machinesDr I. A. Pratt,
2002-10-012007-02-19
2007-04-17
Jolyon ClulowOn the security of real-world devices ,
mk
2003-10-012007-02-02
2007-07-10
Color, style and composition in image processing ,
pr
2001-01-052007-01-30
2007-07-10
Chi-kin ChauNetworks and disputesDr R. J. Gibbens,
jac
2003-10-012007-01-26
2007-05-27
Manuel CostaEnd-to-end containment of Internet worm epidemics ,
Miguel Castro
2003-10-012007-01-01
2007-04-17
Russ RossCluster storage for commodity computationDr I. A. Pratt,
Dr S. M. Hand
2003-04-102006-12-31
2007-04-17
,
Christopher PurcellScaling mount concurrency: scalability and progress in concurrent algorithmsK. A. Fraser,
Dr S. M. Hand
2003-10-012006-12-18
2007-02-27
Samuel StatonName-passing process calculi: operational models and structural operational semantics ,
gw
2002-10-012006-12-15
2007-06-12
Alexander HoUnderstanding systems with virtual machinesDr S. M. Hand,
iap
2002-10-012006-12-15
2007-04-17
Juliano IyodaTranslating HOL functions to hardware ,
djg
2002-10-012006-10-02
2007-01-09
ECCO: data centric asynchronous communication ,
jac
2002-10-012006-09-27
2006-11-14
Eng Keong LuaMassive scale collaborative grid environments through P2P ,
Prof. J.A. Crowcroft
2003-10-012006-08-25
2006-11-14
Structural traffic analysis for network security monitoring ,
iap
2002-10-012006-08-07
2007-05-24
Andrew TwiggCompact forbidden-set routing ,
rjg
2002-10-012006-06-23
2006-10-10
,
Ole H JensenMobile Processes in Bigraphs 1995-01-012006-06-05
2007-01-09
Boris DragovicCASPEr: containment-aware security for pervasive computing environments ,
iap
2002-10-012006-05-30
2006-07-04
Creating high-performance statically type-safe network applications ,
Mac
2002-10-012006-04-25
2006-10-10
Sarah ThompsonOn the application of program analysis and transformation to high reliability electronics ,
djg
2003-10-012006-04-18
2006-07-01
Gareth StoyleA theory of dynamic software updates ,
gmb
2001-10-012006-04-07
2006-11-21
Timothy DeeganThe main name system ,
Mac
2002-10-012006-04-07
2006-07-04
Maja VukovicContext aware service composition ,
afb
2003-01-052006-04-04
2006-10-10
Stephen RymillPsychologically-based simulation of human behaviour ,
pr
2002-10-012006-03-30
2006-10-11
,
Computational models for first language acquisition ,
Prof. A. A. Copestake
2002-04-102006-03-30
2006-04-21
Tolga UzunerEffective network complexity ,
Mac
2002-01-052006-03-01
2006-07-01
Eben UptonCompiling with data dependence graphs ,
am
2001-10-012005-12-22
2006-07-18
Hui-Yun LiSecurity evaluation at design time for cryptographic hardware 2003-01-052005-12-22
2006-04-21
Andrew WarfieldVirtual devices for virtual machinesDr S. M. Hand,
jac
2002-10-012005-12-16
2006-06-09
Calicrates Policroniades-BorrazDecomposing file data into discernible itemsDr I. A. Pratt,
2001-10-012005-12-12
2006-05-31
Meng How LimLandmark guided forwarding ,
iap
2002-10-012005-11-01
2006-02-09
Julian ChesterfieldJoint source-channel UEP coding for multimedia streaming in the wireless wide area network environment ,
iap
2002-10-012005-10-31
2006-02-09
Piotr ZielinskiMinimizing latency of agreement protocols ,
gw
2001-10-012005-09-30
2006-04-27
Karl JeacleTCP-XM ,
iap
2002-10-012005-09-14
2006-02-09
Anonymity and traceability in cyberspace ,
lcp
2000-10-012005-08-26
2005-11-17
,
David SpenceLocation based code placement in distributed systems ,
Dr S. M. Hand
2002-10-012005-08-01
2006-03-01
Matthew ParkinsonLocal reasoning for Java ,
gmb
2001-10-012005-08-01
2005-11-17
Moritz BeckerCASSANDRA: flexible trust management and its application to electronic health records ,
gmb
2001-10-012005-08-01
2005-09-22
Judita PreissProbabilistic word sense disambiguation ,
Prof. A. A. Copestake
2001-10-012005-07-28
2006-03-17
Marco Palomino-ZunigaDistributed creation and maintenance of web content indices ,
jmb
2000-10-012005-06-15
2005-10-15
Jia MengThe integration of higher order interactive proof with first order automatic theorem proving ,
2002-10-012005-06-01
2005-09-22
Mohamed HassanMultiresolution in geometric modelling: subdivision mark points and ternary subdivison ,
pr
2000-10-012005-05-01
2005-10-04
Alberto FernandesSpectrum management for revenue maximisation in DSL ,
TBA
2001-10-012005-05-01
2005-09-22
Using trust and risk for access control in global computing ,
djg
2002-01-052005-05-01
2005-06-16
Rana El-KalioubyMind-reading machines: automated inference of complex mental states ,
afb
2001-10-012005-03-30
2005-06-16
Jeremy SingerStatic program analysis based on virtual register renaming ,
am
2001-10-012005-03-29
2005-09-22
Carsten MoenningIntrinsic point-based surface processing ,
pr
2001-10-012005-01-21
2005-05-24
Hyun Jin ChoiSecurity protocol design by composition ,
2000-04-102004-12-22
2006-01-12
Ontology based visual information processing 2001-10-012004-12-17
2005-03-01
Joerg LeplerCooperation and deviation in market-based resource allocation 1999-01-012004-11-24
2005-01-05
Mark ShinwellThe fresh approach: functional programming with names and binders ,
2001-01-052004-11-22
2005-03-03
,
Evangelos KotsovinosGlobal public computingDr S. M. Hand,
iap
2001-10-012004-11-15
2005-02-26
Active privilege management for distributed access control systems ,
jmb
2001-10-012004-11-11
2005-06-16
James Roy BulpinOperating system support for simultaneous multithreaded processorsDr I. A. Pratt,
2000-10-012004-10-08
2005-02-26
Scott FairbanksHigh precision timing using self-timed circuits ,
pr
2001-10-012004-10-05
2005-02-26
Semi-invasive attacks - a new approach to hardware security analysis ,
2000-04-102004-09-22
2005-02-26
Arasnath KimisGeneric event services middleware 1999-10-012004-09-13
2004-11-11
Nicholas NethercoteDynamic binary analysis and instrumentation or building tools is easy ,
2001-10-012004-09-09
2004-11-11
Roongroj NopsuwanchaiDiscriminative training methods and their applications to handwriting recognition ,
afb
2000-10-012004-08-06
2004-10-27
Prem FernandoAutomatic recognition of ancient Syriac handwritingDr W. F. Clocksin,
afb
2000-10-012004-08-01
2004-11-11
Robert Gordon HagueEnd-user programming in multiple languages ,
afb
2000-10-012004-07-01
2004-11-11
Steven McKellarAn extension to the OSI model of network management for large-scale collaborative performance measurement ,
km
2000-10-012004-07-01
2004-10-14
Hardware synthesis from stream-processing functional language 2000-10-012004-06-30
2004-11-11
,
Code size optimization for embedded processors ,
mr
2000-10-012004-06-01
2004-10-14
Automated editing of sound and motion ,
nad
2000-10-012004-05-25
2004-10-14
Hasan AmjadCombining model checking and theorem proving ,
djg
2000-10-012004-03-29
2004-09-07
Andrei SerjantovOn the anonymity of anonymity systems ,
amp
2000-10-012004-03-18
2004-07-13
Brian ShandTrust for resource control: self-enforcing automatic rational contracts between computers ,
km
2001-01-052004-02-28
2004-04-27
Peter PietzuchHermes: a scalable event-based middleware ,
km
2000-10-012004-02-01
2004-04-27
,
Michael BondUnderstanding security APIs ,
lcp
2000-10-012004-01-30
2004-06-15
George DanezisBetter anonymous communications ,
lcp
2000-10-012004-01-06
2004-03-01
Andras BelokosztolszkiRole-based access control policy administration ,
jmb
2000-10-012003-11-25
2004-04-05
Silas BrownConversion of notations ,
afb
2000-10-012003-11-19
2004-06-15
Robert EnnalsAdaptive evaluation of non-strict programs ,
spj
2000-10-012003-11-13
2004-07-13
Panit WatcharawitchMulTEP: a multi-threaded embedded processor ,
pr
2000-10-012003-10-30
2004-04-20
Concise texture editing ,
pr
2000-01-052003-10-17
2004-02-10
Mark AshdownPersonal projected displays 1999-10-012003-09-30
2004-03-09
Pablo ArrighiRepresentations of quantum operations with applications to quantum cryptography ,
rja
2000-10-012003-09-30
2004-02-10
Keir Anthony FraserPractical lock-freedomDr I. A. Pratt1999-10-012003-09-26
2004-02-10
Advaith SiddharthanSyntactic simplification and text cohesion ,
ejb
2000-10-012003-08-05
2004-01-06
Timothy GrangerReconfigurable wavelengh-switched optical networks for the internet core 1998-10-012003-08-04
2004-02-10
David RicherbyFixed-point logics with choice ,
amp
1999-10-012003-07-01
2003-12-05
Sang-Bum SuhAn effective multiple access policy for the home telephone wiring in a home LAN 1998-10-012003-05-22
2006-07-11
Jianxin YanSecurity for online games ,
iap
1999-10-012003-03-31
2003-08-21
James HallMulti-layer network monitoring and analysis 1998-10-012002-12-31
2003-07-07
Richard SharpHigher-level hardware synthesis ,
2000-10-012002-12-05
2003-03-14
Donnla B Nic GearailtDictionary characteristics in cross-language information retrieval 1997-10-012002-10-01
2003-07-15
Walt YaoTrust management for widely distributed systems 1998-10-012002-09-30
2003-03-11
Alan AbrahamsDeveloping and executing electronic commerce applications with occurrences 1999-10-012002-09-15
2002-11-26
Michael J BlainAnimating Liquids 1997-10-012002-07-22
2003-02-11
Compromising emanations: eavesdropping risks of computer displays 1997-10-012002-06-25
2002-10-29
,
Alexis HombrecherReconciling event taxonomies across administrative domains 1998-10-012002-06-20
2002-10-29
Ulrich LangAccess policies for middleware ,
D Gollman
1998-10-012002-05-16
2003-05-27
Keith WansbroughSimple polymorphic usage analysis 1998-10-012002-04-02
2002-12-17
Charalampos ManifavasMicropayment transaction costs 1995-10-012002-02-28
2002-10-29
Jana SukkariehNatural language for knowledge representationDr S. G. Pulman1996-10-012002-02-26
2002-05-28
Austin N DonnellyResource control in network elements ,
Dr S. Crosby
1997-04-012002-01-28
2002-04-25
Susan PanchoContributions of formal security proofs 1998-10-012002-01-25
2003-11-14
Paul CunninghamVerification of asynchronous circuits 1998-10-012002-01-21
2002-05-28
Formal verification of probabilistic alogorithms 1998-10-012002-01-01
2002-05-30
David B StewartQuality of service for storage systems 1998-10-012001-12-20
2003-07-15
Umar SaifArchitectures for ubiquitous systems 1998-10-012001-11-30
2002-01-15
Lucian J WischikExplicit fusions: theory and implementationDr P. A. Gardner,
rm
1997-10-012001-11-05
2002-06-18
Internet traffic engineeringDr I. A. Pratt1997-10-012001-11-01
2002-04-24
Agathoniki TrigoniSemantic optimization of OQL queries 1998-10-012001-10-19
2002-01-15
Kerry RoddenEvaluating similarity-based visualisations as interfaces for image browsing 1995-10-012001-10-11
2002-01-15
The development of an uncertain reasoning system 1997-10-012001-09-30
2002-04-30
Aline VillavicencioThe acquisition of a unification-based generalised categorial grammar 1997-10-012001-09-12
2002-03-12
Subcategorization acquisition 1997-10-012001-09-12
2002-02-06
Daryl J StewartA uniform sematics for Verilog and VHDL suitable for both simulation and verification 1997-10-012001-09-05
2002-05-20
David C AbensourFinite state and statistical methods for natural language processingDr S. G. Pulman1997-10-012001-07-31
2002-01-15
Mantŝika MatooaneParallel systems in symbolic and algebraic computationDr A. C. Norman1998-04-012001-07-25
2001-11-27
Timothy M EdmondsAdaptation for mobile systems 1997-10-012001-06-25
2001-10-30
Mark F P GilliesPractical behavioural animation based on vision and attention 1998-01-012001-06-18
2001-10-30
Martin ChoquetteLocal evidence in document retrieval 1996-10-012001-05-30
2002-01-11
Measurement-based management of network resources 1997-10-012001-05-15
2002-02-12
Extensible virtual machinesDr S. Crosby1997-10-012001-04-01
2001-01-15
Asis UnyapothNomadic pi-calculi: expressing and verifying communication infrastructure for mobile computation 1996-10-012001-03-09
2001-05-29
Operational congruences for reactive systems 1995-10-012001-03-08
2001-07-11
Stephen O ChildsDisk quality of service in a general purpose operating system 1997-10-012001-03-05
2001-10-30
Dickon ReedThe effects of code layout on performance 1997-04-012001-02-09
2001-07-11
Ioannis PapaefstathiouIncreasing packet network bandwidth through low level compression 1997-10-012001-02-01
2001-05-29
Sylvia F KnightNatural language processing for Aerospace documentationDr S. G. Pulman1997-10-012001-01-08
2001-11-27
Jonathan D PfautzDepth perception in computer graphics 1996-10-012001-01-08
2001-02-13
Paul D HankinA study of objectsDr A. D. Gordon1995-10-012001-01-02
2001-05-08
Security for ubiquitous computing 1998-01-012001-01-02
2001-02-13
Rebecca IsaacsDynamic provisioning of resource-assured and programmable virtual private networks 1997-01-012000-12-21
2001-05-29
Paul B MenageResource control of untrusted code in an open programmable networkDr S. Crosby1996-10-012000-12-07
2000-10-24
Reuben R ThomasMite: a basis for ubiquitous virtual machines 1995-10-012000-11-23
2001-02-13
Tony PolichroniadisHigh level control of vitual actors 1997-10-012000-11-15
2001-05-08
Sheng F LiStateless client computing 1996-10-012000-11-15
2000-10-24
Proximity visualisation of abstract data 1997-10-012000-10-19
2001-01-23
Zhixue WuA New Approach To Implementing Atomic Data Types 1989-04-102000-10-19
1994-05-01
Variational inference in probabilistic modelsDr W. F. Clocksin1998-01-012000-10-13
2001-05-08
Andrew J PenroseExtending lossless image compression 1996-10-012000-09-25
2001-01-23
Radina StefanovaPower in radio networks 1996-10-012000-08-08
2002-08-16
Christian UrbanClassical logic and computationDr G. M. Bierman1996-10-012000-06-23
2000-11-14
David M LeaskLow power radio networking 1996-01-012000-06-21
2000-10-24
James E GainEnhancing spatial deformation for virtual sculpting 1997-04-012000-06-19
2000-10-24
Breton M SaundersFast animation dynamics 1995-10-012000-05-06
2000-10-24
Yolanta BeresnevichieneA role and context based security modelProf. R. M. Needham1994-10-012000-05-01
2000-10-24
Giampaola BellaThe inductive verification of cryptographic protocols 1996-10-012000-04-07
2000-07-18
Kan ZhangOn Secure Information Flow in Computer SystemsProf. R. M. Needham1994-10-012000-03-31
2000-07-18
Pavel T WojciechowskiNomadic pict: language and infrastructure design for mobile computation 1995-10-012000-02-01
2000-07-18
Mark D SpiteriAn architecture for the notification, storage and retrieval of events 1995-10-012000-02-01
2000-06-20
Donald O OparahAdaptive resource management in a multimedia operating system 1994-10-012000-02-01
2000-05-01
David M IngramIntegrated Quality of Service management 1996-10-012000-01-17
2000-06-20
Mohammad KhorsheedAutomatic recognition of words in Arabic manuscriptsDr W. F. Clocksin1997-04-012000-01-06
2000-10-24
Oi Yee (Olivia) KwongWord sense selection in texts: an integrated model 1996-10-012000-01-01
2000-10-24
Shaw ChuangSecurity management in ATM networks 1993-04-012000-01-01
2000-10-24
Jong-Hyeon LeeDesigning a reliable publishing framework 1996-10-012000-01-01
2000-05-01
Calum A M GrantSoftware visualization in Prolog 1996-10-012000-01-01
2000-05-01
Oliver SeidelMetadata support for connecting application components asynchronously 1995-10-011999-11-01
2000-01-01
Che-Hao (Albert) ChangReasoning about security protocolsProf. R. M. Needham1994-01-011999-11-01
2000-01-01
Hendrik J BosElastic network control 1995-10-011999-09-01
1999-10-01
Geraint PriceThe interaction between fault tolerance and securityProf. R. M. Needham1994-10-011999-06-01
1999-10-01
Information hiding and its application to copyright protection 1996-10-011999-06-01
1999-10-01
Clemens M BallarinComputer algebra and theorem proving 1996-01-011999-06-01
1999-10-01
Richard I TuckerAutomatic summarising and the CLASP system 1993-10-011999-05-01
1999-11-01
James R ThomasStretching a point: aspect and temporal discourseDr S. G. Pulman1994-10-011999-05-01
1999-10-01
Ben Y ReisSimulating music learning with autonomous listening agents: entropy, ambiguity and contextDr W. F. Clocksin1996-10-011999-05-01
1999-10-01
Bruno CrispoDelegation of responsibilityProf. R. M. Needham1996-10-011999-05-01
1999-10-01
Jacques D FleuriotA combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia 1995-10-011999-05-01
1999-06-01
Mark StaplesA mechanised theory of refinement 1994-10-011999-05-01
1999-05-01
Florian KammuellerModular reasoning in Isabelle 1995-10-011999-04-01
1999-10-01
Duncan P GrisbyA distributed adaptive window system 1995-10-011999-04-01
1999-10-01
Steven P WilcoxSynthesis of asynchronous circuits 1995-10-011999-01-01
1999-03-01
Richard J BradburyArchitectures for the control of home area networks 1995-10-011998-12-01
1999-02-01
Steven M HandProviding quality of service in memory management 1994-10-011998-11-01
1999-05-01
Jacobus E Van Der MerweOpen service support for ATM 1994-10-011998-10-01
1999-05-01
Declarative theorem proving for operational semantics 1994-10-011998-10-01
1999-03-01
Mohamed AfsharAn open parallel architecture for data-intensive applications 1992-10-011998-10-01
1999-03-01
Ralph BecketEfficient knowledge and action planning in first order logic ,
Dr E. Rayner
1993-10-011998-10-01
1999-01-01
Michael NorrishC formalised in HOL 1994-10-011998-09-01
1999-01-01
Andrew M R WardSensor-driven computing 1995-10-011998-08-01
1999-02-01
John B P NaylonA wireless ATM local area network 1994-10-011998-06-01
1999-01-01
Panayis Fourniotis PavlatosCompiler optimisation of typeless languages 1993-10-011998-05-01
1998-10-01
Malgorzata E StysA processing model of information structure in machine translation 1992-10-011998-04-01
1998-10-01
Giles J NelsonContext-aware and location systems 1993-10-011998-04-01
1998-06-01
John RooneyThe structure of open ATM control architectures 1995-01-011998-02-01
1998-06-01
Peter J C BrownSelective mesh refinement for rendering 1994-10-011998-02-01
1998-05-01
M Jennifer Li Kam WaA measurement-based approach to flow control in ATM networks 1993-10-011998-01-01
1998-07-01
PrologPF: parallel logic and functions on the Delphi MachineDr W. F. Clocksin1995-04-011998-01-01
1998-06-01
Ian PrattThe user-safe device I/O architecture 1993-10-011997-09-01
1999-02-01
Hyun S ParkThe Korean Core Language EngineDr S. G. Pulman1994-10-011997-09-01
1998-05-01
Stefan G HildManaging mobile connections 1994-10-011997-09-01
1998-02-01
Christopher T FaigleDMS-Splines and radiosityDr M. A. Sabin1994-04-011997-09-01
1998-02-01
Feng ShiAn architecture for scalable and deterministic video servers 1993-10-011997-09-01
1997-11-01
Stanley J MroseMultiresolution curve and surface design: theory and application of spline wavelets 1994-10-011997-08-01
1998-01-01
Daniel L GordonScheduling in optically based ATM switching fabrics 1992-10-011997-08-01
1998-01-01
Xiaobao ChenAn end-to-end communication support architecture for multi-service applications 1993-10-011997-08-01
1997-12-01
Timothy J MillsContent modelling in multimedia information retrieval systems: the Cobra retrieval system 1994-10-011997-07-01
1998-02-01
Joshua X RossAn evaluation based approach to process calculi 1992-10-011997-06-01
1998-12-01
Ian JacksonWho goes here? Confidentiality of location through anonymityProf. R. M. Needham1993-10-011997-05-01
1998-06-01
David A HallsApplying mobile code to distributed systems 1994-10-011997-05-01
1997-11-01
Cryptography and evidenceProf. R. M. Needham1992-10-011997-04-01
1997-06-01
Eirik HektoenStatistical parse selection using semantic cooccurrences 1991-10-011997-03-01
1997-06-17
Karl MacDormanSymbol grounding: learning categorical and sensorimotor predictions for coordination in autonomous robotsDr W. F. Clocksin1991-10-011997-03-01
1997-06-01
Tanya BowdenNatural language techniques for error correctionDr S. G. Pulman1992-10-011997-02-01
1997-07-11
Victor CarrenoTransition assertions: a higher-order logic based method for the specification and verification of real-time systems 1990-10-011997-02-01
1997-05-01
Gavin John StarkStream handling in multimedia communication systems 1990-10-011996-11-01
1997-01-01
Steven L PopeApplication support for mobile computing 1993-10-011996-10-01
1997-01-01
Kam Hong ShumAdaptive parallelism for computing on heterogeneous clusters 1993-04-011996-09-01
1996-11-01
Mark HumphrysAction selection methods using reinforcement learn 1992-10-011996-08-01
1997-01-01
George KirazComputational approach to non-linear morphologyDr S. G. Pulman1992-10-011996-08-01
1996-11-01
Paul BarhamDevices in a multi-service operating system 1992-10-011996-07-05
1996-10-01
Chai-keong TohProtocol aspects of mobile radio networks 1993-10-011996-07-01
1996-11-01
Theorem proving with the real numbers 1992-10-011996-07-01
1996-11-01
Monica Nesi TheryFormalising process calculi in higher order logic 1990-10-011996-04-19
1996-10-01
Scarlet SchwiderskiMonitoring the behaviour of distributed systems 1992-10-011996-04-01
1996-06-01
Richard JB HaytonAn open architecture for secure interworking services 1992-10-011996-04-01
1996-06-01
Jonathan SewellManaging complex models for computer graphics 1992-10-011996-03-01
1996-07-01
Video-augmented environments 1992-10-011996-02-01
1996-05-01
Michael HincheyStructural design and formal methods 1992-10-011996-01-01
1999-06-01
William S HarbisonTrusting in computer systemsProf. R. M. Needham1989-10-011996-01-01
1997-07-01
Andrew J KennedyProgramming languages and dimensions 1992-01-011995-11-01
1996-03-01
Sanjay SaraswatPerformance analysis of Delphi machineDr W. F. Clocksin1992-10-011995-10-01
1996-01-01
Noha AdlyManagement of replicated data in large scale systems 1992-01-011995-09-01
1995-11-01
Uwe NimscheckRendering for free form deformationsDr M. A. Sabin1992-10-011995-07-01
1995-10-01
Simon Andr CrosbyPerformance management in ATM networks 1990-10-011995-05-01
1995-10-01
Oliver Michael CastleSynthetic image generation for a multiple-view autostereo displayDr N. E. Wiseman1990-10-011995-05-01
1995-10-01
Arturo TrujilloLexicalist machine translation of spatial prepositions 1989-01-011995-04-01
1995-11-01
Timothy RoscoeThe structure of a multi-service operating system 1991-10-011995-04-01
1995-07-01
Richard J BlackExplicit network scheduling 1991-10-011994-12-15
1995-03-01
Names and higher-order functions 1991-10-011994-12-01
1995-05-01
Robust computer securityProf. R. M. Needham1992-01-011994-12-01
1995-05-01
Multithreaded processor design 1991-10-011994-10-01
1995-01-01
Feng HuangRestructuring virtual memory to support distributed computing environments 1990-10-011994-09-01
1995-07-01
Nicholas Benedict Van SomerenHigh Quality De-Interlacing Of Television ImagesDr N. E. Wiseman1990-10-011994-09-01
1995-01-01
Subir Kumar BiswasHandling Realtime Traffic In Mobile Networks 1990-10-011994-08-01
1994-10-01
Jane Louis HunterIntegrated sound synchronisation for computer animationDr N. E. Wiseman1991-01-011994-07-01
1994-10-01
Michael John TurnerThe Contour Tree Image encoding technique and file formatDr N. E. Wiseman1990-10-011994-05-01
1994-05-01
Narm Hee LeeRouting in high speed integrated services networksProf. R. M. Needham1991-01-011994-04-01
1995-10-01
Akira NakamuraAn investigation of real-time synchronisationProf. R. M. Needham1991-04-011994-01-01
1994-05-01
Eoin Andrew HydenOperating System Support For Quality Of Service 1990-10-011994-01-01
1994-05-01
John BatesPresentation support for distributed multimedia applications 1990-10-011994-01-01
1994-05-01
Simon R KelleyCongestion control for unreserved traffic in ATM networks 1990-01-011993-12-01
1994-06-01
Richard BoultonEfficiency In A Fully-Expansive Theorem Prover 1990-10-011993-12-01
1994-05-01
Gavin M BiermanOn intuitionistic linear logic 1990-10-011993-12-01
1994-05-01
Sai Lai LoA modular and extensible network storage architecture 1988-01-011993-11-01
1994-02-01
Pierre David WellnerInteracting with paper on the Digitaldesk 1991-01-011993-11-01
1994-01-01
Mark David HayterA workstation architecture to support multimedia 1990-10-011993-10-01
1994-12-01
Steven M G FreemanAn architecture for distributed user interfaces 1989-10-011993-10-01
1994-05-01
Adrian M T WrigleyReal-time ray tracing on a novel HDTV framestoreDr N. E. Wiseman1989-01-011993-10-01
1994-01-01
David M EversDistributed Computing With Objects 1989-10-011993-10-01
1994-01-01
James Doug GrundyA method of program refinement 1990-10-011993-10-01
1993-12-01
Barney D PellStrategy generation and evaluation for meta-game playingDr S. G. Pulman1989-10-011993-09-01
1993-10-01
Guanxing LiSupporting distributed realtime computing 1989-01-011993-08-01
1993-11-01
John Peter Van TasselFemto-Vhdl: The Semantics Of A Subset Of Vhdl And Its Embedding In The Hol Proof Assistant 1990-10-011993-08-01
1993-10-01
Michael R WarnerCharging and resource control for open dist systemsProf. D. J. Wheeler1990-04-011993-05-01
1993-07-01
Richard S CrouchThe Temporal Properties Of English Conditionals And ModalsDr S. G. Pulman1987-10-011993-04-01
1993-07-01
John CarrollPractical Unification-Based Parsing Of Natural Language 1992-02-011993-03-01
1993-10-01
J Matthew S DoarMulticast In The Asynchronous Transfer Mode Environment 1989-10-011993-02-01
1993-05-01
Kish ShenStudies of and/or parallelism in Prolog 1987-01-011993-01-01
1993-01-26
Strictness Analysis Of Lazy Functional Programs 1988-10-011992-12-01
1993-05-01
Cormac John SreenanSynchronisation services for digital continuous mediaProf. R. M. Needham1988-01-011992-11-01
1993-02-01
Andrew D GordonFunctional programming and Input/Output 1987-10-011992-11-01
1992-11-10
Eike RitterCategorical Abstract Machines For Higher-Order Typed Lambda Calculi 1989-10-011992-10-01
1993-03-01
David ElworthyThe semantics of noun phrase anaphora 1989-10-011992-10-01
1993-03-01
Innes FergusonTouring machines: an architecture for dynamic, rational, mobile agentsDr W. F. Clocksin1988-10-011992-10-01
1993-01-01
Lee FedderGenerating natural language text from the output of an application programDr S. G. Pulman1988-10-011992-10-01
1993-01-01
Kamiar SehatEvaluation of caches and cache coherency 1986-10-011992-08-01
1992-10-01
Paul W JardetzkyNetwork file server design for continuous mediaProf. R. M. Needham1988-10-011992-08-01
1992-10-01
John Michael LevineA flexible bidirectional dialogue systemDr S. G. Pulman1986-10-011992-07-01
1993-01-01
T Mark A LomasAspects of Computer Network SecurityProf. R. M. Needham1986-10-011992-07-01
1992-10-01
Image resamplingDr N. E. Wiseman1989-10-011992-05-01
1992-07-01
Ian BensonReasoning About Contingent Events In Distributed SystemsDr W. F. Clocksin1987-10-011992-04-28
1992-04-01
Martin D CoenInteractive program derivation 1988-10-011992-04-01
1992-10-01
Xiao Qian ChenCongestion control and routing in integrated broadband networks 1988-10-011992-04-01
1992-07-01
Rajeev GoréCut-Free Sequent And Tableau Systems For Propositional Normal Modal LogicsDr W. F. Clocksin1988-10-011992-03-01
1992-04-01
Timothy D WilsonIncreasing the performance of storage services for local area networks 1986-10-011992-02-01
1992-06-01
Chu Suan AngContinuous media in fast networks 1987-10-011992-01-01
1992-05-01
Rachel Cardell-OliverThe formal verification of hard real-time systems 1988-10-011992-01-01
1992-04-01
Xiaofeng JiangMultipoint digital video communications 1988-10-011992-01-01
1992-03-01
Siu Chi HsuComputer support for large character set languagesDr N. E. Wiseman1988-10-011991-12-01
1992-05-01
Mads RosendahlAbstract interpretation and attribute grammars 1987-01-011991-12-01
1992-04-01
Chaoying MaDesigning a universal name serviceProf. R. M. Needham1988-01-011991-11-01
1992-11-01
Thomas U VogelLearning In Large State Spaces With An Application To Biped Robot WalkingDr W. F. Clocksin1988-01-011991-11-01
1992-04-01
Wing Hung LauRealistic 3D image compositionDr N. E. Wiseman1988-10-011991-11-01
1992-01-01
Glenford E MappAn object-oriented approach to virtual memory management 1988-01-011991-11-01
1991-12-01
Stephen M V HailesThe Design And Implementation Of Troy, A Distributed Object-Based LanguageDr S. C. Crawley1987-10-011991-10-01
1992-02-01
Timothy F WiegandA parallel architecture for storage and retrieval of spatial dataDr N. E. Wiseman1988-01-011991-10-01
1992-01-01
A Daniel HallPipelined image processing for pattern recognitionDr N. E. Wiseman1988-10-011991-10-01
1992-01-01
Olivia R NagioffAlgorithms for Image Encoding 1985-01-011991-10-01
1991-02-01
Peter W DickmanDistributed Object Management In A Non-Small Graph Of Autonomous Networks With Few Failures 1987-10-011991-09-01
1992-02-01
Michael Joseph DixonSystem support for multi-service traffic 1987-10-011991-09-01
1992-01-01
Jeremy BallSEMORICA: a system examining motion and object representation issues in computer animationDr N. E. Wiseman1987-10-011991-09-01
1992-01-01
Roy CroleProgramming metalogics with a fixpoint type 1987-10-011991-07-01
1991-12-01
Mark T MayburyPlanning multisentential English text using communicative acts 1986-10-011991-07-01
1991-11-01
Heng WangModelling and image generationDr N. E. Wiseman1987-01-011991-07-01
1991-10-01
Benjamin MaciasAn incremental parser for govenment-binding theoryDr S. G. Pulman1986-10-011991-07-01
1991-10-01
John BradshawUsing Knowledge Of Purpose And Knowledge Of Structure As A Basis For Evaluating The Behaviour Of Mechanical SystemsProf. S. J. Young1987-10-011991-06-01
1991-10-01
David R MilwardAxiomatic grammar, non-constituent coordination and incremental interpretationDr S. G. Pulman1987-01-011991-04-01
1991-10-22
Derek G BridgeComputing presuppositions in an incremental natural language processing system 1986-10-011991-04-01
1991-07-01
Phillip YellandModels of modularity: a study of object-oriented programming 1986-10-011991-03-01
1991-07-01
David J BrownAbstraction of image and pixel - The Thistle Display SystemDr N. E. Wiseman1986-10-011991-03-01
1991-06-01
Juanito CamilleriPriority in process calculi 1987-10-011991-03-01
1991-05-01
Cosmos NicolaouA Distributed Architecture for Multimedia Communication Systems 1987-01-011991-01-01
1991-05-01
KwokYam LamA new approach for improving system availabilityProf. D. J. Wheeler1987-10-011991-01-01
1991-03-01
Andrew W MooreEfficient memory-based learning for robot controlDr W. F. Clocksin1987-01-011990-11-01
1991-05-01
Mian WeiA distributed compilation systemProf. R. M. Needham1983-10-011990-11-01
1991-03-01
Bhaskar R HaritaDynamic bandwidth management 1986-10-011990-11-01
1991-03-01
Susan E ThompsonA storage service for structured data 1986-10-011990-11-01
1991-02-01
Raphael YahalomManaging the order of transactions in widely-distruted data systems 1986-01-011990-10-01
1991-01-01
Kamal ChaudharyVLSI Routing 1987-10-011990-09-01
1991-01-01
Karen L WrenchA distributed and-or parallel Prolog network 1987-01-011990-08-01
1990-12-01
Donald A GaubatzLogic Programming Analysis Of Asynchronous Digital CircuitsProf. D. J. Wheeler1984-10-011990-07-01
1991-11-01
Michael Luke TunmerCombinator reduction on networks of small processorsDr A. C. Norman1986-10-011990-07-01
1990-11-01
Gianpaulo TommasiProcedural Methods In Computer GraphicsDr N. E. Wiseman1985-01-011990-07-01
1990-11-01
Richard C HutchingsThe computer comprehension of systematic metaphor 1986-10-011990-05-01
1990-11-01
Li GongCryptographic protocols for distributed systemsProf. D. J. Wheeler1987-10-011990-05-01
1990-11-01
Jonathan BillingtonExtensions to coloured Petri Nets and their application to protocols 1986-10-011990-05-01
1990-11-01
Paul CurzonA structured approach to the verification of low level microcode 1986-10-011990-05-01
1990-10-01
David A WolframThe clausal theory of types 1987-01-011990-04-01
1990-11-01
Andrew C HarterThree dimensional integrated circuit layout 1983-10-011990-04-01
1990-07-01
Victor PoznanskiA Relevance-Based Utterance Processing System 1985-10-011990-03-01
1991-06-01
Charles W RestivoDeductive synthesis and planningDr W. F. Clocksin1987-10-011990-03-01
1990-07-01
Eng Lim GohImage synthesis using parallel architecturesDr N. E. Wiseman1987-10-011990-03-01
1990-07-01
Stuart Philip HawkinsVideo replay in computer animationDr N. E. Wiseman1985-10-011989-12-01
1990-07-01
Jeffery J JoyceMulti-level verification of microproccesor- based 1986-10-011989-12-01
1990-05-01
Timothy GleesonAspects of abstraction in computingProf. R. M. Needham1986-10-011989-12-01
1990-05-01
Configuration and binding in distributed systems 1985-01-011989-09-01
1990-01-01
Thomas Frederick MelhamFormalising abstraction mechanisim for hardware ve 1984-10-011989-08-01
1990-05-01
Francisco CorellaFoundations of automatic therem proving 1986-10-011989-06-01
1990-03-01
Guo- Qiang ZhangThe logic of domains 1985-01-011989-06-01
1990-01-01
Stephen James Roger HarrisonRaytracing image synthesis techniquesDr N. E. Wiseman1985-10-011989-06-01
1989-11-01
Roger Stuart CalnanThe integration of Voice within a digital networkProf. R. M. Needham1984-10-011989-04-01
1989-05-01
Peter NewmanDesign of a multicast fast packet switchProf. R. M. Needham1985-01-011988-12-01
1989-05-01
Richard David WilliamsOrganisation and analysis of spatial dataDr N. E. Wiseman1985-01-011988-10-01
1989-03-01
David TennenhouseProf. R. M. Needham1985-01-011988-09-13
1988-12-13
Michael BurrowsCaching, migration and replication of files in a distributed file systemProf. D. J. Wheeler1984-10-011988-09-01
1989-02-01
Paul KargerImproving security and performance for capability 1986-01-011988-03-01
1988-11-01
Distribution of functions in computer networksProf. R. M. Needham1980-10-011988-02-01
1988-07-01
Alberto CamilleriExecuting behavioural definitions in higher order 1984-10-011988-02-01
1988-06-01
Thomas James W ClarkeSupport for heap-based programmingDr A. C. Norman1984-10-011987-12-01
1989-05-01
Miriam Ellen LeeserReasoning about the function & timing of integrateDr W. F. Clocksin1984-10-011987-11-01
1988-05-01
Murray P ShanahanSet-based processing of horn clausesDr W. F. Clocksin1984-10-011987-09-01
1988-02-01
Andrew Franklin SeaborneFiling in a heterogeneous network 1984-10-011987-08-01
1988-05-01
2007-10-01
2024-07-02
On Security of Machine Learning 2017-10-01
2022-04-26
Perceptual models for high-refresh-rate rendering 2016-10-01
2020-04-28
Martin Kleppmann2018-03-28
2018-10-01
Carole S KleinExploiting Or-parallelism in Prolog using multipleDr W. F. Clocksin1986-10-01
1990-05-08
The design of a metropolitan area backbone ring 1985-10-01
1990-05-08
Edward Ayers 2016-10-01
  • Newton catalogue: University Library Theses
  • Theses - Computer Science and Technology , Apollo - University of Cambridge Repository (We will automatically link to thesis copies uploaded to Apollo once that repository offers an API and captures the author’s CRSID.)
  • University A-Z
  • Contact the University
  • Accessibility
  • Freedom of information
  • Terms and conditions
  • Undergraduate
  • Spotlight on...
  • About research at Cambridge

computing cambridge phd

  • Study at Cambridge
  • About the University
  • Research at Cambridge
  • Colleges and departments
  • Email and phone search
  • For business
  • For current students
  • Libraries and facilities
  • Museum and collections

Search form

  • Events and open days
  • Fees and finance
  • Student blogs and videos
  • Why Cambridge
  • Qualifications directory
  • How to apply
  • Fees and funding
  • Frequently asked questions
  • International students
  • Continuing education
  • Executive and professional education
  • Course in education
  • Giving to Cambridge
  • How the University and Colleges work
  • Visiting the University
  • Spotlight on...
  • About research at Cambridge

Department of Engineering

  • Overview of the Department
  • 21st Century Engineers
  • Staff and Student Directory
  • Department Newsletter
  • Alumni Relations
  • How to Find Us
  • Keep in touch
  • Undergraduates Overview
  • Prospective Undergraduates
  • Information for Staff
  • Current Undergraduates
  • Postgraduates Overview
  • Taught courses (MPhil and MRes)
  • Centres for Doctoral Training (CDTs)

PhD in Engineering

  • MPhil in Engineering
  • Part-time study
  • Applying for taught courses and CDTs
  • Applying for research courses
  • Applying for part-time study
  • Requirements for postgraduate students
  • English language requirements
  • International equivalencies
  • Funding opportunities for applicants
  • Current Postgraduate Students
  • Information for staff
  • Research Overview
  • Energy, Fluids and Turbomachinery
  • Electrical Engineering
  • Mechanics, Materials and Design
  • Civil Engineering
  • Manufacturing and Management
  • Information Engineering
  • Energy, Transport and Urban Infrastructure
  • Manufacturing, Design and Materials
  • Bioengineering
  • Complex, Resilient and Intelligent Systems
  • Research news
  • Research Integrity
  • Collaboration Overview
  • Student Placements
  • Short Student Projects
  • Longer Projects and Frameworks
  • Academic Partnerships
  • Consulting and Other Services
  • Giving to the Department
  • Events and Outreach Overview
  • Events and Seminars
  • Work Experience at the Department of Engineering
  • Services Overview
  • Building and Estate Services
  • Design & Technical Services
  • Health and Safety
  • Printing Services
  • Centre for Languages and Inter-Communication

To obtain a PhD degree you must complete three years full-time training (or five years part-time) and carry out an original piece of research which makes a significant contribution to learning in one of the many research areas in the Department. At the same time, the Department expects that students will leave with the wider skills necessary to be successful in either an academic or a non-academic career. Research students are therefore expected to obtain an effective training in research and to broaden their background knowledge, as well as to undertake a novel research project. In their first year, students take a minimum of two taught modules from a wide range of courses offered by the Department. Modules consist of lectures and practical work, and each module involves about 80 hours of work. You will also participate in a researcher development programme during your first year, and you are expected engage in personal development opportunities throughout the PhD in order to develop important transferable skills.

As a research student working in the Department of Engineering, you will work most closely with your Supervisor , who is responsible for guiding your research and training. You can expect at least eight one hour-long individual meetings with your supervisor every calendar year, although it may be much more frequent. You will also have daily contact with the research group you are working within. In addition, you will be assigned an Adviser , who will take an active interest in your progress and be available to provide additional support and advice when needed.

All doctoral research takes place in University of Cambridge facilities. However, the Department and its supervisors have strong links to other institutions both in the UK and around the world. After their first year, students may therefore apply for permission to undertake research in other institutions for extended periods of time. There may also be opportunities to teach small groups of engineering undergraduates to widen your experience and gain valuable expertise in explaining engineering concepts.

At the end of your first year, you will write a 15,000 progress report on your research to date, and discuss your work with two assessors. Passing this assessment is a requirement to continue with the PhD beyond the first year. After completing three years of research, you will submit a 60,000 word thesis on your research and have an oral examination. The final deadline for submission of the thesis is four years after the start date (or seven years for part-time students), but we advise students to aim to submit by either the end of their tenth term, or the end of their funding, whichever is soonest.

The PhD in Engineering can be tailored to suit your particular interests. Applicants must identify a supervisor that they wish to work with on their application form, and contact them directly to discuss their research interests in advance of submitting an application. You can browse current topics of research in the department and identify potential supervisors via the research pages of our website. You should state the name of the supervisor(s) that you wish to work with on your application form, and should also give at least an indication of the topic you wish to undertake research on, so that we can direct your application appropriately.

Further information, including entrance requirements and how to apply, can be found on the online  Course Directory . The Engineering Postgraduate Students website contains resources for current students and may also be of interest to applicants:  www.graduate.eng.cam.ac.uk .

 Academics accepting PhD Students for 2023/24 can be found via the following links;

Electrical Engineering -  https://ee.eng.cam.ac.uk/index.php/graduate-studies/

Mechanics, Materials and Design -  http://www.eng.cam.ac.uk/research/academic-divisions/mechanics-materials-and-design/postgraduate-studies-research-students

Manufacture and Management -  https://www.ifm.eng.cam.ac.uk/education/phd/topics/

Information Engineering:  http://www.eng.cam.ac.uk/research/academic-divisions/information-engineering/postgraduate-studies

Suggestions or feedback?

MIT News | Massachusetts Institute of Technology

  • Machine learning
  • Sustainability
  • Black holes
  • Classes and programs

Departments

  • Aeronautics and Astronautics
  • Brain and Cognitive Sciences
  • Architecture
  • Political Science
  • Mechanical Engineering

Centers, Labs, & Programs

  • Abdul Latif Jameel Poverty Action Lab (J-PAL)
  • Picower Institute for Learning and Memory
  • Lincoln Laboratory
  • School of Architecture + Planning
  • School of Engineering
  • School of Humanities, Arts, and Social Sciences
  • Sloan School of Management
  • School of Science
  • MIT Schwarzman College of Computing

Testing spooky action at a distance

Press contact :.

The colorful assemblage of cables and circuits that make up a quantum computer are shown in close detail.

Previous image Next image

Researchers at MIT recently signed a four-year collaboration agreement with the Novo Nordisk Foundation Quantum Computing Programme (NQCP) at Niels Bohr Institute, University of Copenhagen (UCPH), focused on accelerating quantum computing hardware research.

The agreement means that both universities will set up identical quantum laboratories at their respective campuses in Copenhagen and Cambridge, Massachusetts, facilitating seamless cooperation as well as shared knowledge and student exchange.

“To realize the promise of quantum computing, we must learn how to build systems that are robust, reproducible, and extensible. This unique program enables us to innovate faster by exchanging personnel and ideas, running parallel experiments, and comparing results. Even better, we get to continue working with Professor Morten Kjaergaard, a rising star in the field, and his team in Copenhagen,” says William Oliver, the Henry Ellis Warren (1894) Professor within the MIT Department of Electrical Engineering and Computer Science (EECS), professor of physics, associate director of the Research Laboratory of Electronics, and the head of the Center for Quantum Engineering at MIT.

Oliver’s team will supervise the funded research, which will focus specifically on the development of fault-tolerant quantum computing hardware and quantum algorithms that solve life-science relevant chemical and biological problems. The agreement provides 18 million Danish kroner (approximately $2.55 million) from the Novo Nordisk Foundation Quantum Computing Program to support MIT’s part in the research.

“A forefront objective in quantum computing is the development of state-of-the-art hardware with consistent operation,” says Maria Zuber, MIT’s presidential advisor for science and technology policy, who helped facilitate the relationship between MIT and the Danish university. “The goal of this collaboration is to demonstrate this system behavior, which will be an important step in the path to practical application.”

“Fostering collaborations between MIT and other universities is truly essential as we look to accelerate the pace of discovery and research in fast-growing fields such as quantum computing,” adds Anantha Chandrakasan, chief innovation and strategy officer, dean of engineering, and the Vannevar Bush Professor of EECS. “The support from the Novo Nordisk Foundation Quantum Computing Programme will ensure the world’s leading experts can focus on advancing research and developing solutions that have real-world impact.”

“This is an important recognition of our work at UCPH and NQCP. Professor Oliver’s team at MIT is part of the international top echelon of quantum computing research,” says Morten Kjaergaard, associate professor of quantum information physics and research group leader at the Niels Bohr Institute at UCPH. “This project enables Danish research in quantum computing hardware to learn from the best as we collaborate on developing hardware for next-generation fault-tolerant quantum computing. I have previously had the pleasure of working closely with Professor Oliver, and with this ambitious collaboration as part of our the Novo Nordisk Foundation Quantum Computing Programme, we are able to push our joint research to a new level.”

Peter Krogstrup, CEO of NQCP and professor at Niels Bohr Institute, follows up, “We are excited to work with Will Oliver and his innovative team at MIT. It aligns very well with our strategic focus on identifying a path with potential to enable quantum computing for life sciences. The support aims to strengthen the already strong collaboration between Will and Morten’s team, a collaboration we hope to make an important part of the NQCP pathfinder phase over the coming years.”

Share this news article on:

Related links.

  • Center for Quantum Engineering
  • Research Laboratory of Electronics
  • Department of Electrical Engineering and Computer Science
  • Department of Physics
  • Niehls Bohr Institute at the University of Copenhagen

Related Topics

  • Collaboration
  • Quantum computing
  • Mathematics
  • International initiatives
  • Electrical Engineering & Computer Science (eecs)

Related Articles

A futuristic quantum computer chip is made of a grid with qubits on the intersections. These red spherical qubits emit flame-like energy between them.

MIT scientists tune the entanglement structure in an array of qubits

Superconducting qubit architecture resembling a cross, has blue “T” in center and four squares on longer ends.

New qubit circuit enables quantum operations with higher accuracy

William D. Oliver

Transforming quantum computing’s promise into practice

Previous item Next item

More MIT News

At left, Cynthia Breazeal and two mentees converse in a lab. At right, Ming Guo sits and is surrounded by graduate students

From large labs to small teams, mentorship thrives

Read full story →

Molecule with six atoms. Nickel is labeled at the center of each, and two are highlighted with red arrows that say "exciton hopping"

Physicists report new insights into exotic particles key to magnetism

Joshua Bennett

The study and practice of being human

On a sunny day in the Arctic, 15 people bundled in cold-weather gear stand in a line with flags for Australia, France, Canada, United Kingdom, and USA waving on poles above them.

Researchers return to Arctic to test integrated sensor nodes

Marcel Torne Villasevil and Pulkit Agrawal stand in front of a robotic arm, which is picking up a cup

Precision home robots learn with real-to-sim-to-real

A schematic of the shoe shows the different parts of it, including the new sole that has sensors.

Helping Olympic athletes optimize their performance, one stride at a time

  • More news on MIT News homepage →

Massachusetts Institute of Technology 77 Massachusetts Avenue, Cambridge, MA, USA

  • Map (opens in new window)
  • Events (opens in new window)
  • People (opens in new window)
  • Careers (opens in new window)
  • Accessibility
  • Social Media Hub
  • MIT on Facebook
  • MIT on YouTube
  • MIT on Instagram

Graduate Programmes Admissions List 2024/25

' src=

The Academic Registrar,  Makerere University  has released the admission list to Graduate Programmes (Postgraduate Diplomas,  Masters and Doctoral Degree Programmes) for the  2024/2025  Academic Year. 

The list is here below:

Lumumba Hall renovated to perfection

FoodLAND Project Research Dissemination: Nakaseke District Farmers Sensitized on Modern Agricultural Practices & Proper Nutrition

computing cambridge phd

You may like

computing cambridge phd

On Friday 26 th July 2024, the Contractor- National Enterprise Corporation (NEC) handed over the renovated Lumumba Hall of Residence to the Vice Chancellor, Prof. Barnabas Nawangwe.

Inspecting the renovated Lumumba Hall, the Vice Chancellor disclosed that NEC had performed as per the guidelines and quality standards provided hence fulfilling the expectations of Management, students, alumni, staff and stakeholders in general.

The UGX 9 billion renovation works, which commenced on 27 th June 2023 involved undertaking an overhaul aimed at restoring Lumumba Hall to its original beauty. At the site handover in 2023, the Vice Chancellor stated that Lumumba Hall which was built in the 1960s and officially opened in 1971 was the biggest Hall of Residence, but there had been no major renovation since the time it was constructed.

computing cambridge phd

After 12 months of renovation, the Vice Chancellor was delighted to receive the renovated Lumumba Hall from NEC.   “You can think this Hall has just been built. It has been restored. This points to the wonderful quality works by NEC,” remarked Prof. Nawangwe. He thanked NEC for the quality work and high level of professionalism in the execution of the entire project.

The Vice Chancellor applauded the Government of Uganda for providing all the resources for the renovation of Lumumba Hall as well as Mary Stuart Hall of residence, whose renovation works commenced on Friday 31 st May 2024.

On behalf of the students, the Guild President Vincent Lubega Nsamba acknowledged the Government of Uganda and the Makerere University Management for embarking on the renovation of Halls of Residence within the University.

computing cambridge phd

“The resources have been put to good use leading to a beautiful and magnificent edifice of a new Lumumba Hall. The facility is user friendly for students living with disabilities, which clearly aligns to the broader commitment of inclusivity and diversity,” said Lubega Nsamba.

Commending the quality works, the University Secretary, Mr. Yusuf Kiranda pointed out that the engagement of local companies such as NEC not only contributes to national development, but also showcases the local expertise in the different sectors.

computing cambridge phd

Eng. Brian Buhanda who represented the Managing Director of NEC-Lt. Gen. James Mugira appreciated Makerere University for providing NEC with an opportunity to showcase its potential in the construction sector. He indicated that NEC had gained valuable expertise from this project, which would enrich future ventures.

With the ongoing renovation of Mary Stuart Hall also undertaken by NEC, Lumumba Hall will be occupied by the residents of Mary Stuart Hall. In the University setting, Lumumba Hall and Mary Stuart Hall form the Lumbox solidarity.

computing cambridge phd

Lumumba Hall was named after Patrice Lumumba, a freedom fighter and the first Prime Minister of the Republic of Congo (currently Democratic Republic of Congo). The hall has the capacity to accommodate approximately 752 students.

Prof. Buyinza Mukadasi Appointed Acting DVC Academic Affairs

Prof. Buyinza Mukadasi, The Academic Registrar, Makerere University, Kampala Uganda, East Africa.

The Academic Registrar, Professor Buyinza Mukadasi has been appointed Acting Deputy Vice Chancellor (Academic Affairs) of Makerere University , for a period of six (6) months effective 11 th July 2024 to 10 th January 2025 or until a substantive First Deputy Vice Chancellor (Academic Affairs) is appointed whichever comes earlier.

He is a Professor of Forestry Resource Economics and served as the Director, Directorate of Research and Graduate Training (DRGT), Makerere University from 2014 to October 2022. Buyinza holds a PhD in Forest Economics from Gadjah Mada University (UGM), Yogyakarta Indonesia. He holds a number of professional enhancement certificates and Diplomas.

As Director DRGT he was charged with the oversight responsibility of all institutional research grants and graduate training in the university. Prof Buyinza served as the Deputy Director in Charge of Administration and Graduate Training (2010 – 2013); Head, Department of Community Forestry and Extension, Faculty of Forestry and Natural Resources (2003 – 2005, 2008-2010) at Makerere University .  Buyinza grew though the University ranks from a Tutorial Assistant (1993 – 1998) at Gajah Mada University, Indonesia to becoming a Lecturer (1999); Senior Lecturer (2004); Assoc. Professor (2007) and Full Professor (2010) at Makerere University .  He has over 20 years experience of University research and teaching in the field of Forestry and Natural Resource Economics.  He has successfully supervised over 50 MSc. and 10 PhD students in the fields of forestry, environment and natural resources. He has also acted as an external examiner in many regional and international universities. He is a member of many professional bodies and served as the Chairperson, Board of Directors of the National Forestry Authority (2007 – 2013). He was the Institutional Focal person (2010-2022) and Chair of the Board of Management of the Consortium for Advanced Research Training in Africa (CARTA), 2014 – 2018.

Buyinza has published widely in the field of forest resource economics, environmental incomes, economics of biodiversity conservation, and Environmental Incomes for Rural Income and livelihoods. He has authored more than 150 papers in International peer-reviewed referred journals, 4 book Chapters, attended more than 70 conference proceedings and has presented in more than 140 conferences/seminars/workshops.

Buyinza has built a very strong international network of collaborations in research administration and has tremendous capacity for resource mobilization. He has been Principal investigator (PI) of 15 research projects and as Co-Principal Investigator in many other institutional research grants. He is the Coordinator of various externally funded research capacity building initiatives at  Makerere University . He has a wealth of research management experience with special focus on in the field of natural resources economics, and environmental governance.

Advert: Mature Age Entry Scheme – Private Sponsorship 2024/2025

Students sit for an exam in the pre-COVID era, Makerere University, Kampala Uganda.

The Academic Registrar, Makerere University invites applications for the Undergraduate Programmes under the Mature Age Entry Scheme only for Private Sponsorship for 2024/2025 Academic Year. Non-Refundable Application fee of Shs. 50,000/= for Ugandans OR $75 Equivalent for Internationals, plus bank charge should be paid in any of the banks used by Uganda Revenye Authority after generating a Payment Reference Number (PRN).

  • Apply using the Institution’s Applications Portal URL: https: //apply.mak.ac.ug
  • Application is for candidates who passed the Mature Age Entry Examinations of December 17, 2022 and February 24, 2024 only.
  • Any candidate who passed the examinations in mentioned above and was not admitted on Government/ Private sponsorship for December 17, 2022 sitting, and for Government sponsorship for February 24, 2024 sitting, is eligible to apply for admission on Private Sponsorship for 2024 /2025 Academic Year.

The closing date for applying will be Friday 26th July, 2024.

Further details can be accessed by following this link.

Prof. Mukadasi Buyinza ACADEMIC REGISTRAR

Prof. Buyinza Mukadasi, The Academic Registrar, Makerere University, Kampala Uganda, East Africa.

Admission to Bachelor of Education Degree (EXTERNAL) 2024/25

The representative of Makerere University Vice Chancellor, also Dean SFEGS, Dr Revocatus Twinomuhangi handing over signed MoU to the Vice President of NUIST. Makerere University-Nanjing University of Information Science and Technology (NUIST) MoU Signing to formalize collaboration in teaching and learning, research and publication, technology transfer, and resource mobilization, 12th July 2024, School of Forestry, Environmental, and Geographical Sciences (SFEGS) Board Room, College of Agricultural and Environmental Sciences (CAES), Kampala Uganda, East Africa.

Mak, Nanjing University of Information Science & Technology Sign Collaboration Agreement

Dr. Harald on a courtesy visit to the VC. Makerere University partnership with the Centre for Sustainable Finance at SOAS University of London and the World Resources Institute (WRI) to launch the Resilience and Adaptation Mainstreaming Program (RAMP) training Ministry of Finance, Planning, and Economic Development (MoFPED) officials to navigate the complex landscape of climate finance, Courtesy call on the Vice Chancellor, Professor Barnabas Nawangwe, Frank Kalimuzo Central Teaching Facility, Kampala Uganda, East Africa.

Building Resilience: Makerere Leads Climate Finance Training for Finance Officials

computing cambridge phd

computing cambridge phd

Events Calendar

computing cambridge phd

Physics PhD Thesis Defense: Jeffrey Krupa

Thursday, August 08, 2024 at 3:00pm

Building 24, 24-506 60 VASSAR ST, Cambridge, MA 02139

Dear Colleagues,

You are cordially invited to attend the following thesis defense.

’’Exploring New Frontiers in High Energy Physics: Boosted Resonances Decaying To Quarks, Foundation Models, and Heterogeneous Computing at the CMS Experiment’’ Presented by Jeffrey Krupa Date: Thursday, August 8, 2024 Time: 3 pm Location: Room #24-506  Also available on Zoom at  https://mit.zoom.us/j/92783771430 Committee:   Philip Harris, Michael Williams, Lina Necib Best of luck to Jeffrey!

Conferences/Seminars/Lectures , Thesis defense

MIT Community

School of Science

Defense , thesis , physics , phd

https://physics.mit.edu/academic-prog...

[email protected]

People Interested

No activity yet

RESOURCES Add/Edit Events (MIT only) Register a DLC/Group (MIT only) FAQ's/Help

  • Contact the Events Calendar Team
  • Academic Calendar
  • Visitor Information
  • Campus tours and Info Sessions
  • Info Center
  • Directions and Parking
  • Accessibility

Follow MIT at

  • Twitter: @MITEvents , @MIT
  • Facebook: facebook.com/MITnews
  • Instagram: @MIT

This website is maintained by Institute Events and Institute Office of Communications .

Massachusetts Institute of Technology 77 Massachusetts Avenue Cambridge, MA 02139-4307

MIT

Powered by the Localist Community Events Calendar ©

Login to MIT Events Calendar

Login to interact with events, personalize your calendar, and get recommendations.

  • Skip to main content
  • Prospective Students
  • Current Students
  • Apply Apply
  •   Follow Us

Moody Graduate Logo@2x-2

Career Guide: Electrical and Computer Engineer Jobs with a PhD

A person sits at a desk in front of multiple monitors displaying images of cars and technical diagrams, with a high-tech industrial background.

A PhD in Electrical and Computer Engineering is an elite credential.

It opens up a world of advanced technical roles at the forefront of innovation. Upon graduation, ECE doctorates can pursue fulfilling careers as research scientists, respected university professors, senior engineering experts, and executive-level technical leaders. 

With unparalleled knowledge and valuable research abilities, PhD graduates in electrical and computer engineering can elevate their earnings potential while preparing for coveted senior technical and academic positions.

If these opportunities interest you, it’s time to explore the top career paths and opportunities awaiting those with a PhD in electrical and computer engineering.

Overall ECE Salary Potential for PhD Graduates

According to Payscale , electrical and computer engineering PhDs have an average salary of $149,000 in 2021.

While the PhD journey requires substantial effort, this elite credential pays in the long run. ECE PhDs can expect premium salaries along with accelerated advancement into leadership roles thanks to their elevated expertise.

Electrical and Computer Engineering Jobs for PhD Grads

A woman works on a piece of machinery at a workstation with computer monitors. Other individuals are visible in the background, also focused on similar tasks.

Research Scientist

As research scientists, ECE doctorates pearhead cutting-edge studies and development projects to solve complex technical challenges. Their primary responsibilities involve:

  • Identifying problems or knowledge gaps
  • Formulating hypotheses
  • Designing and executing experiments
  • Analyzing data
  • Developing or enhancing technologies based on their findings.

Professionals with a PhD in electrical engineering earn an average salary of $137,525 per year as research scientists according to PayScale.  

Employers eagerly seek the extensive research training and specialized technical prowess that ECE PhDs gain through years of intensive study culminating in their doctoral dissertations. Their proven hands-on experience planning and executing original research from conception to publication gives them a distinct edge for research scientist roles.

Where you can work

  • Major technology leaders like Microsoft, IBM, Intel, Apple, and Qualcomm
  • Government agencies like NASA and the Department of Defense
  • Top research universities and national laboratories
  • Medical and biotech firms

Earning a PhD is a requirement for securing a tenure-track faculty position. As professors in university ECE departments, PhDs can:

  • Teach courses
  • Develop curricula
  • Advise students
  • Conduct research
  • Publish scholarly papers
  • Secure research grants
  • Serve in administrative roles. 

Most especially, electrical and computer engineering professors impart advanced technical knowledge across areas like electronics, telecommunications, computer architecture, embedded systems, VLSI, photonics, and more — while earning an average of $144,115 per year, according to Salary.com .

Many top-ranked engineering programs actively recruit PhDs for ECE professor roles. Smaller colleges and universities also hire these doctorates to teach and conduct research.

Senior Hardware/Software Innovator

Senior hardware and software engineers are elite technical experts who lead complex, pioneering projects. With a PhD in ECE, engineers may head teams developing next-generation computer hardware including:

  • Quantum hardware
  • Biometric hardware
  • Wearable ecosystems
  • Sustainable technologies
  • Embedded IoT devices
  • Groundbreaking software for AI, machine learning, robotics, cybersecurity and more.

Salary.com data shows senior hardware engineers with PhDs earn $114,930 per year on average, while their senior software counterparts with doctorates average $120,906 to $126,967 annually .

The rigorous, hands-on doctoral research required provides hardware and software engineers with the specialized knowledge and advanced problem-solving abilities to succeed in senior technical roles. Their proven capacity to tackle complex challenges through novel research makes PhD holders very attractive hires.

Innovative technology leaders like Apple, Google, Nvidia, Qualcomm, AMD, and others aggressively recruit PhDs for elite senior engineering roles to accelerate the development of products and services.

Engineering Leader

At the director and VP levels, engineering leaders must have skills (and the credentials to prove it), so they can carry out their important work:

  • Managing large technical teams
  • Spearheading strategic initiatives. 
  • Providing vital technical vision, guidance and mentorship in areas like computer architecture, hardware design, networking, embedded systems, and beyond.

According to Glassdoor, a Vice President of Electrical Engineering earns an average base salary of $140,000 to $241,000 per year.

Through expertise gained in their doctoral research, ECE PhDs position them well for executive engineering leadership at major corporations including:

  • Lockheed Martin

Taking Advantage of Career Opportunities in ECE: Keys to Success

When launching their careers, ECE PhDs should look beyond the obvious company types and roles. Their rare combination of deep technical knowledge, research abilities, analytical skills, and problem-solving expertise has remarkable value across diverse industries.

  • Networking: Building connections through your academic network can prove invaluable. Alumni associations, advisors, and professors can facilitate introductions to companies of interest
  • Attending conferences: Events related to your specialization fosters great connections too.
  • Nailing interviews:  Highlighting tangible achievements like published papers, patents, products, implemented solutions, and other concrete examples showcases your capabilities you bring employers.

A rewarding career is possible with the right education: SMU Moody's PhD in ECE program has you covered

Earning your PhD in computer engineering and electrical engineering is a “high-reward” degree. 

With the right information, a well-chosen program, and strong advocates by their side, ECE doctorates are perfectly positioned for professional success across academia, government, and virtually every industry in need of elite engineering expertise.

Looking for those things doesn’t have to be a hassle — download our resource, A Complete Guide to Earning Your Ph.D. in Electrical and Computer Engineering , and take the next step towards earning the degree that’s propelling society forward.

Download the Guide

Request more

Information.

Complete the form to reach out to us for more information

computing cambridge phd

Published On

More articles, recommended articles for you, what can you do with a phd in history.

You’re a history buff — the person everyone wants on their trivia team. You can rattle off the...

What Is Biostatistics? A Look at a High Impact Field

What do you know about biostatistics? Chances are, not a lot. Many people have  misconceptions about...

The Importance of Interdisciplinary Chemistry Research

“Creativity is seeing what everyone else has seen, and thinking what no one else has thought.” –...

Browse articles by topic

Subscribe to.

  • Graduate School of Education
  • Academic Programs
  • UB Directory
  • Department of Learning and Instruction >
  • News and Events >
  • Latest News >
  • New Computer Science Education Program keeps teachers up to date on changing technologies

campus news

New Computer Science Education Program helps teachers reach goals of rigid state criteria

A teacher and students use a computer together to work on a robotics project.

By ALEXANDRA SACCONE

Graduate student, Department of Environment and Sustainability

Published July 24, 2024

Chris Proctor.

The Graduate School of Education is offering a new computer science fluency and preparation program for K-12 teachers this fall that aims to help them meet New York’s Computer Science and Digital Fluency Standards , a series of rigid criteria for K-12 curricula developed by the Board of Regents in 2020. 

The Computer Science Teacher Preparation Program, one of the first in the state, was first offered to a pilot group in summer of 2023. Considered a resounding success, program director Chris Proctor gave the go-ahead to open registration for fall 2024. The timing is no coincidence: Beginning Sept. 1, all computer science teachers in New York State must be certified, ensuring all K-12 students receive the same standard of computer science education.

“Recognizing the upcoming need for high-quality computer science teachers committed to educational excellence and equity, UB’s Graduate School of Education decided to create a computer science teacher preparation program,” explains Proctor, assistant professor of learning and instruction. 

The program has varying tracks, depending on students’ needs. For working computer science (CS) teachers, the additional certification track is a flexible sequence of five remote courses designed to fit teachers’ schedules. “The goal of this track,” Proctor says, “is for teachers to learn CS and how to teach CS at the same time, drawing on their prior experience as teachers.”

The signature track — the initial/professional certificate track — is designed for preservice teachers looking to receive a CS certification along with their master’s degree in education.  

“It’s the best possible preparation for a career as a CS teacher and it’s a great deal. This is a two-year program — after a year of coursework, students have a yearlong apprenticeship in a CS classroom. You come out with initial and professional certification, along with a master’s,” Proctor says. 

Preservice teachers currently earning certification in another area can add a CS certification through the program, even if they have no prior background in CS. 

This course is just the beginning of creating a better future for the next generation, Proctor says. He hopes to see Western New York regain its historic role as a leader in innovation and social change, with CS and technological literacy at the forefront. He cites social movements, such as abolitionism and women’s rights, as examples of Western New York’s long-standing position as a leader of world-changing movements.

“I want our youth to see a bright future in Western New York — both for economic prosperity and the chance to work toward issues such as social justice and climate resilience,” he says. “CS is a key part of this vision. We need every child to have the opportunity to study CS, and through CS we need to transform our education systems so they work better for every child.”

Applications for fall 2024 are now open now, and Proctor  is available to meet with current and future CS teachers interested in the program. 

University of Cambridge

Study at Cambridge

About the university, research at cambridge.

  • Undergraduate courses
  • Events and open days
  • Fees and finance
  • Postgraduate courses
  • How to apply
  • Postgraduate events
  • Fees and funding
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Term dates and calendars
  • Visiting the University
  • Annual reports
  • Equality and diversity
  • A global university
  • Public engagement
  • Give to Cambridge
  • For Cambridge students
  • For our researchers
  • Business and enterprise
  • Colleges & departments
  • Email & phone search
  • Museums & collections
  • Department of Computer Science and Technology

Sign in with Raven

  • People overview
  • Research staff
  • PhD students
  • Professional services staff
  • Affiliated lecturers
  • Overview of Professional Services Staff
  • Seminars overview
  • Weekly timetable
  • Wednesday seminars
  • Wednesday seminar recordings ➥
  • Wheeler lectures
  • Computer Laboratory 75th anniversary ➥
  • women@CL 10th anniversary ➥
  • Job vacancies ➥
  • Library resources ➥
  • How to get here
  • William Gates Building layout
  • Contact information
  • Department calendar ➥
  • Accelerate Programme for Scientific Discovery overview
  • Data Trusts Initiative overview
  • Pilot Funding FAQs
  • Research Funding FAQs
  • Cambridge Ring overview
  • Ring Events
  • Hall of Fame
  • Hall of Fame Awards
  • Hall of Fame - Nominations
  • The Supporters' Club overview
  • Industrial Collaboration
  • Annual Recruitment Fair overview
  • Graduate Opportunities
  • Summer internships
  • Technical Talks
  • Supporter Events and Competitions
  • How to join
  • Collaborate with Us
  • Cambridge Centre for Carbon Credits (4C)
  • Equality and Diversity overview
  • Athena SWAN
  • E&D Committee
  • Support and Development
  • Targeted funding
  • LGBTQ+@CL overview
  • Links and resources
  • Queer Library
  • women@CL overview
  • About Us overview
  • Friends of women@CL overview
  • Twentieth Anniversary of Women@CL
  • Tech Events
  • Students' experiences
  • Contact overview
  • Mailing lists
  • Scholarships
  • Initiatives
  • Dignity Policy
  • Outreach overview
  • Women in Computer Science Programme
  • Google DeepMind Research Ready programme overview
  • Accommodation and Pay
  • Application
  • Eligibility
  • Raspberry Pi Tutorials ➥
  • Wiseman prize
  • Research overview
  • Application areas
  • Research themes
  • Algorithms and Complexity
  • Computer Architecture overview
  • Creating a new Computer Architecture Research Centre
  • Graphics, Vision and Imaging Science
  • Human-Centred Computing
  • Machine Learning and Artificial Intelligence
  • Mobile Systems, Robotics and Automation
  • Natural Language Processing
  • Programming Languages, Semantics and Verification
  • Systems and Networking
  • Research groups overview
  • Computer Architecture Group overview
  • Student projects
  • Energy and Environment Group overview
  • Declaration
  • Publications
  • EEG Research Group
  • Past seminars
  • Learning and Human Intelligence Group overview
  • Quantum Computing Group
  • Technical Reports
  • Admissions information
  • Undergraduate admissions overview
  • Open days and events
  • Undergraduate course overview overview
  • Making your application
  • Admissions FAQs
  • Super curricular activities
  • MPhil in Advanced Computer Science overview
  • Applications
  • Course structure
  • Funding competitions
  • Prerequisites
  • PhD in Computer Science overview
  • Application forms
  • Research Proposal
  • Funding competitions and grants
  • Part-time PhD Degree
  • Premium Research Studentship
  • Current students overview
  • Part IB overview
  • Part IB group projects overview
  • Important dates
  • Design briefs
  • Moodle course ➥
  • Learning objectives and assessment
  • Technical considerations
  • After the project
  • Part II overview
  • Part II projects overview
  • Project suggestions
  • Project Checker groups
  • Project proposal
  • Advice on running the project
  • Progress report and presentation
  • The dissertation
  • Supervisor briefing notes
  • Project Checker briefing notes
  • Past overseer groups ➥
  • Part II Supervision sign-up
  • Part II Modules
  • Part II Supervisions overview
  • Continuing to Part III overview
  • Part III of the Computer Science Tripos
  • Overview overview
  • Information for current Masters students overview
  • Special topics
  • Part III and ACS projects overview
  • Submission of project reports
  • ACS projects overview
  • Guidance for ACS projects
  • Part III projects overview
  • Guidance for Part III projects
  • Preparation
  • Registration
  • Induction - Masters students
  • PhD resources overview
  • Deadlines for PhD applications
  • Protocol for Graduate Advisers for PhD students
  • Guidelines for PhD supervisors
  • Induction information overview
  • Important Dates
  • Who is here to help
  • Exemption from University Composition Fees
  • Being a research student
  • Researcher Development
  • Research skills programme
  • First Year Report: the PhD Proposal
  • Second Year Report: Dissertation Schedule
  • Third Year Report: Progress Statement
  • Fourth Year: writing up and completion overview
  • PhD thesis formatting
  • Writing up and word count
  • Submitting your dissertation
  • Papers and conferences
  • Leave to work away, holidays, and intermission
  • List of PhD students ➥
  • PAT, recycling, and Building Services
  • Freshers overview
  • Cambridge University Freshers' Events
  • Undergraduate teaching information and important dates
  • Course material 2023/24 ➥
  • Course material 2024/25 ➥
  • Exams overview
  • Examination dates
  • Examination results ➥
  • Examiners' reports ➥
  • Part III Assessment
  • MPhil Assessment
  • Past exam papers ➥
  • Examinations Guidance 2023-24
  • Marking Scheme and Classing Convention
  • Guidance on Plagiarism and Academic Misconduct
  • Purchase of calculators
  • Examinations Data Retention Policy
  • Guidance on deadlines and extensions
  • Mark Check procedure and Examination Review
  • Lecture timetables overview
  • Understanding the concise timetable
  • Supervisions overview
  • Part II supervisions overview ➥
  • Part II supervision sign-up ➥
  • Supervising in Computer Science
  • Supervisor support
  • Directors of Studies list
  • Academic exchanges
  • Advice for visiting students taking Part IB CST
  • Summer internship: Optimisation of DNN Accelerators using Bayesian Optimisation
  • UROP internships
  • Resources for students overview
  • Student SSH server
  • Online services
  • Managed Cluster Service (MCS)
  • Microsoft Software for personal use
  • Installing Linux
  • Part III and MPhil Machines
  • Transferable skills
  • Course feedback and where to find help overview
  • Providing lecture feedback
  • Fast feedback hotline
  • Staff-Student Consultative Forum
  • Breaking the silence ➥
  • Student Administration Offices
  • Intranet overview
  • New starters and visitors
  • Forms and templates
  • Building management
  • Health and safety
  • Teaching information
  • Research admin
  • Miscellaneous
  • Computer Architecture
  • Research groups
  • The department
  • Current students

The goal of human-centred computing is to create technologies that better meet human needs, through studying the needs of humans. Using diverse research methods from social science, experimental psychology, cognitive science and other disciplines, we address grand challenges such as social and emotional interaction with robots, or crossing the perceptual line between interaction with virtual and real worlds. We work with AI, machine learning and data science methods to build intelligent tools for digital life, supporting business and engineering, artistic expression and enquiry, and enabling collaborative design processes that address global challenges. Through addressing human priorities with a commitment to cross-disciplinary rigour, we make research contributions in core fields of computer science such as human-computer interaction, computer graphics, visualisation, and display technologies. Members of the group are also leaders in emerging specialist fields including affective computing, computer music, human-robot interaction, diagrammatic reasoning, computational photography, end-user programming and ubiquitous computing.

Related Links

  • Affective Intelligence & Robotics Lab Website
  • Affective Intelligence & Robotics Lab on Twitter
  • Cambridge Global Challenges

computing cambridge phd

Research Staff and Fellows

computing cambridge phd

PhD Students

computing cambridge phd

Department of Computer Science and Technology University of Cambridge William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD

About the department

Study here Research News Jobs How to get here About the department

Website privacy policy

Social media

Athena Swan bronze award logo

© 2024 University of Cambridge

  • Contact the University
  • Accessibility
  • Freedom of information
  • Privacy policy and cookies
  • Statement on Modern Slavery
  • Terms and conditions
  • University A-Z
  • Undergraduate
  • Postgraduate
  • Research news
  • About research at Cambridge
  • Spotlight on...

Computational Science and Engineering

Program finder image

Graduate Program

The Computational Science and Engineering (CSE) master’s program, led by faculty from Computer Science, Applied Math and the Engineering Sciences, provides rigorous training in the mathematical and computational foundations of CSE. The master’s program offers students experience with mathematical techniques for modeling and simulation of complex systems; parallel programming and collaborative software development; and methods for organizing, exploring, visualizing, processing and analyzing very large data sets.

University of Cambridge

Study at Cambridge

About the university, research at cambridge.

  • Undergraduate courses
  • Events and open days
  • Fees and finance
  • Postgraduate courses
  • How to apply
  • Postgraduate events
  • Fees and funding
  • International students
  • Continuing education
  • Executive and professional education
  • Courses in education
  • How the University and Colleges work
  • Term dates and calendars
  • Visiting the University
  • Annual reports
  • Equality and diversity
  • A global university
  • Public engagement
  • Give to Cambridge
  • For Cambridge students
  • For our researchers
  • Business and enterprise
  • Colleges & departments
  • Email & phone search
  • Museums & collections

Postgraduate Study

  • Why Cambridge overview
  • Chat with our students
  • Cambridge explained overview
  • The supervision system
  • Student life overview
  • In and around Cambridge
  • Leisure activities
  • Student unions
  • Music awards
  • Student support overview
  • Mental health and wellbeing
  • Disabled students
  • Accommodation
  • Language tuition
  • Skills training
  • Support for refugees
  • Courses overview
  • Course Directory
  • Department directory
  • Qualification types
  • Funded studentships
  • Part-time study
  • Research degrees
  • Visiting students
  • Finance overview
  • Fees overview
  • What is my fee status?
  • Part-time fees
  • Application fee
  • Living costs
  • Funding overview
  • Funding search
  • How to apply for funding
  • University funding overview
  • Research Councils (UKRI)
  • External funding and loans overview
  • Funding searches
  • External scholarships
  • Charities and the voluntary sector
  • Funding for disabled students
  • Widening participation in funding
  • Colleges overview
  • What is a College?
  • Choosing a College
  • Applying overview
  • Before you apply
  • Entry requirements
  • Application deadlines
  • How do I apply? overview
  • Application fee overview
  • Application fee waiver
  • Life Science courses
  • Terms and conditions
  • Continuing students
  • Disabled applicants
  • Supporting documents overview
  • Academic documents
  • Finance documents
  • Evidence of competence in English
  • AI and postgraduate applications
  • Terms and Conditions
  • Applicant portal and self-service
  • After you apply overview
  • Confirmation of admission
  • Student registry
  • Previous criminal convictions
  • Deferring an application
  • Updating your personal details
  • Appeals and Complaints
  • Widening participation
  • Postgraduate admissions fraud
  • International overview
  • Immigration overview
  • ATAS overview
  • Applying for an ATAS certificate
  • Current Cambridge students
  • International qualifications
  • Competence in English overview
  • What tests are accepted?
  • International events
  • International student views overview
  • Akhila’s story
  • Alex’s story
  • Huijie’s story
  • Kelsey’s story
  • Nilesh’s story
  • Get in touch!
  • Events overview
  • Upcoming events
  • Postgraduate Open Days overview
  • Discover Cambridge: Master’s and PhD Study webinars
  • Virtual tour
  • Research Internships
  • How we use participant data
  • Postgraduate Newsletter

MPhil in Advanced Computer Science

Primary tabs.

  • Overview (active tab)
  • Requirements
  • How To Apply

Course closed:

Advanced Computer Science is no longer accepting new applications.

The aim of the course is to provide preparation appropriate for undertaking a PhD programme in computer science. Students select five taught modules from a wide range of advanced topics in computer science from networking and systems measurements to category theory, and topics in natural language processing.  Additionally, students take a mandatory, ungraded course in research skills which includes core and optional topics. 

Students also undertake a research project over two terms and submit a project report in early June. Research topic selection and planning occurs in the first term and the work is undertaken in subsequent terms. The taught modules are delivered in a range of styles. For example, there are traditional lecture courses, lecture courses with associated practical classes, reading clubs, and seminar style modules.

The course aims to:

  • give students, with relevant experience at a first-degree level, the opportunity to carry out directed research in the discipline;
  • give students the opportunity to acquire or develop skills and expertise relevant to their research interests;
  • provide preparation appropriate for undertaking a PhD programme in computer science;
  • provide the Faculty with an extended period in which to train students and then to judge the suitability of students for PhD study; and
  • offer a qualification that is valuable and highly marketable in its own right that equips its graduates with the computer science related research skills and expertise to play leading roles in industrial and public-sector research.

Learning Outcomes

By the end of the programme, the students will have:

  • a comprehensive understanding of techniques, and a thorough knowledge of the literature, applicable to their chosen area;
  • demonstrated some originality in the application of knowledge, together with an understanding of how research and enquiry are used to create and interpret knowledge in their chosen area;
  • shown abilities in the critical evaluation of current research and research techniques and methodologies; and
  • demonstrated some self-direction and originality in tackling and solving problems, and acted autonomously in the planning and implementation of research.

The minimum requirement for continuation to the PhD programme in computer science is that MPhil students achieve an overall pass in the taught modules and, separately, the project. The pass mark is 60 per cent; however, higher minimum requirements may be set at the discretion of the Department and Degree Committee.  Continuation to the PhD degree is dependent on the approval of the Department and Degree Committee.

The Postgraduate Virtual Open Day usually takes place at the end of October. It’s a great opportunity to ask questions to admissions staff and academics, explore the Colleges virtually, and to find out more about courses, the application process and funding opportunities. Visit the  Postgraduate Open Day  page for more details.

See further the  Postgraduate Admissions Events  pages for other events relating to Postgraduate study, including study fairs, visits and international events.

Key Information

9 months full-time, study mode : taught, master of philosophy, department of computer science and technology, course - related enquiries, application - related enquiries, course on department website, dates and deadlines:, michaelmas 2024 (closed).

Some courses can close early. See the Deadlines page for guidance on when to apply.

Funding Deadlines

These deadlines apply to applications for courses starting in Michaelmas 2024, Lent 2025 and Easter 2025.

Similar Courses

  • Computer Science PhD
  • Machine Learning and Machine Intelligence MPhil
  • Linguistics: Theoretical and Applied Linguistics PhD
  • Computation, Cognition and Language PhD

Postgraduate Admissions Office

  • Admissions Statistics
  • Start an Application
  • Applicant Self-Service

At a glance

  • Bringing a family
  • Current Postgraduates
  • Cambridge Students' Union (SU)

University Policy and Guidelines

Privacy Policy

Information compliance

Equality and Diversity

Terms of Study

About this site

About our website

Privacy policy

© 2024 University of Cambridge

  • Contact the University
  • Accessibility
  • Freedom of information
  • Privacy policy and cookies
  • Statement on Modern Slavery
  • University A-Z
  • Undergraduate
  • Postgraduate
  • Research news
  • About research at Cambridge
  • Spotlight on...

Undergraduate

Entrepreneurship

  • Thayer Express
  • Undergraduate Admissions
  • Graduate Admissions

Undergraduate Engineering at Dartmouth

Bachelor's Degrees

Undergraduate Experience

  • Engineering Design
  • Financial Aid & Funding
  • Life After Dartmouth
  • Project Spaces & Labs
  • Research & Entrepreneurship
  • Student Life & Housing
  • Study Abroad

Quick Links

  • Academic Calendar
  • Career Services
  • Course Descriptions
  • Course Schedules
  • Majors & Modified Majors
  • Programs & Courses Guide

Program Areas

Graduate Engineering at Dartmouth

Master's Degrees

Doctoral Degrees

Graduate Experience

  • Collaborative Programs
  • Degree Outcomes
  • Help & Support
  • Online Education
  • Scholarships, Fellowships, & Grants
  • Admissions Events
  • Student Handbook

Engineering Research at Dartmouth

Research by Program Area

  • Active Projects
  • Laboratories
  • Research News
  • Undergraduate Research

Engineering Entrepreneurship at Dartmouth

Startups listed by

Patents listed by

Links & Resources

  • Dartmouth NSF I-Corps Program
  • Dartmouth Tech Transfer
  • Entrepreneurship News
  • Magnuson Center for Entrepreneurship
  • Office of Entrepreneurship & Technology Transfer
  • PhD Innovation Program
  • Tuck School of Business

Dartmouth Engineering Community

Community Info

About Dartmouth Engineering

Thayer

Home  |  Graduate  |  MEng  |  Electrical/Computer On-Campus

MEng: Electrical/Computer Engineering On-Campus

Electrical/computer engineering leverages the fundamental principles surrounding electricity to advance today’s emerging technologies ranging from semiconductor devices to advanced communication networks, from self-powered sensors to electric cars, from wearable devices to cognitive medical imaging, and from autonomous vehicles to smart cities.

Students may focus on a single specialization within electrical and computer engineering, or build an individualized curriculum from a combination of complementary subfields within the track.

In This Section

Request Info

How to Apply

Course Requirements

The program consists of nine courses, of which five should be from the list of core courses. The remaining four electives can consist of any graduate-level engineering or science courses at Dartmouth. Please note: The information below reflects degree requirements, effective as of Fall 2023 .

5 courses


: Statistical Methods in Engineering
: Math for Machine Learning
: Bayesian Statistical Modeling and Computation
: Applied Machine Learning COSC 274: Machine Learning and Statistical Data Analysis
: Modern Information Technologies
: Advanced Digital System Design
COSC 55: Security and Privacy (Note: MEng students selecting this course will be required to gain permission of the instructor and be assigned additional coursework in order to receive graduate credit.)
COSC 258: Operating Systems
COSC 269: Topics in Computer Systems
COSC 278: Deep Learning



: Fourier Transforms and Complex Variables
: Signal Processing
: Digital Image Processing
: Image Visualization and Analysis
: Computational Imaging
: Modern Control Theory
: Mechatronics
: Introduction to Systems Identification
: Medical Imaging



: Advanced Topics in Semiconductor Devices
: Power Electronics and Electromechanical Energy Conversion
: Analog Integrated Circuits
: Biomedical Circuits and Systems
: Science of Solid State Materials
: Thin Films and Microfabrication Technology
: Molecular Sensors & Nanodevices in Biomedical Engineering
: Basic Biological Circuit Engineering
: Introduction to Bioelectronics
: Advanced Biological Circuit Engineering



: Computational Methods for Partial Differential Equations I
: Electromagnetic Waves: Analytical and Modeling Approaches
: Optics
: Optical Devices and Systems
: Electromagnetic Wave Theory
PHYS 105: Electromagnetic Theory I Winter
PHYS 106: Electromagnetic Theory II Spring



: Applied Machine Learning
: Power Electronics and Electromechanical Energy Conversion
: Biomedical Circuits and Systems
: Molecular Sensors & Nanodevices in Biomedical Engineering
: Intermediate Biomedical Engineering
: Introduction to Bioelectronics

4 courses


Any .



may take the following three-course sequence to partially fulfill the four-course elective requirement.
: Product Design and Development
: MEng Design Project Initiation
MEng Design Project Completion


may take one of the following options to partially fulfill the four-course elective requirement. The appropriate option will depend on each student’s prior experience and coursework since the two tracks require different prerequisites.

: Product Design and Development

: Engineering Design and Methodology Project Initiation : Engineering Design Methodology and Project Completion


Any graduate-level science course.

* Students may choose electives from any graduate-level engineering or science courses offered at Dartmouth. The courses listed here are for recommended students who seek additional further depth of study in their chosen track.

IMAGES

  1. Download PDF ePub Hodder Cambridge Lower Secondary Computing 9 Student

    computing cambridge phd

  2. Cambridge Quantum Computing

    computing cambridge phd

  3. Cambridge Primary Computing

    computing cambridge phd

  4. Cambridge Computing

    computing cambridge phd

  5. The Cambridge Handbook of Computing Education Research

    computing cambridge phd

  6. New book celebrates 75 years of Cambridge Computing Lab

    computing cambridge phd

VIDEO

  1. PhD Seminar: “Can new computing architectures help disentangle turbulence?” Miguel Pérez Encinar

  2. Universities are Medieval Guilds : #europe #history #guild #medieval #europeanhistory

  3. A week as a Cambridge PhD student

  4. Cambridge Primary Computing Digital Learner’s Book 1 content

  5. Computing in the 21st Century Conference 2016

  6. Formal Admission to office of the Vice-Chancellor

COMMENTS

  1. PhD in Computer Science

    The PhD is the primary research degree that can be taken in the Department of Computer Science and Technology. The Cambridge PhD is a three to four-year full-time (five to seven-year part-time) programme of individual research on a topic agreed by the student and the Department, under the guidance of a staff member as the student's supervisor.

  2. PhD in Computer Science

    Include "PhD application query" in the subject. Department of Computer Science and Technology William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD. Tel: +44 1223 334656 (NB may not be accessible during remote working) Postgraduate Admissions Office Academic Division Student Services Centre Bene't Street, New Museums Site Cambridge, CB2 ...

  3. PhD in Scientific Computing

    A common route for admission into our PhD programme is via the Centre's MPhil programme in Scientific Computing. The MPhil is offered by the University of Cambridge as a full-time course and introduces students to research skills and specialist knowledge. Covering topics of high-performance scientific computing and advanced numerical methods ...

  4. MPhil and PhD programmes

    Centre for Scientific Computing MPhil and PhD - The MPhil programme on Scientific Computing is offered by the University of Cambridge as a full-time course which aims to provide education of the highest quality at Master's level. A common route for admission into our PhD programme is via the Centre's MPhil programme in Scientific Computing.

  5. Department of Computer Science and Technology

    The Department of Computer Science and Technology (known as the Computer Laboratory) is an academic department within the University of Cambridge that encompasses Computer Science, along with many aspects of Technology, Engineering and Mathematics. The Department undertakes research in a broad range of subjects.

  6. PhD in Computation, Cognition and Language

    While the PhD is not a taught course, students will benefit from the availability of courses and seminars offered both within the MMLL Faculty and by other departments concerned with language science in Cambridge (e.g. Computer Science and Technology, Education, Engineering, Psychology, MRC Cognition and Brain Sciences Unit).

  7. Department of Computer Science and Technology

    Initiatives. Declaration. PhD student's long journey to Cambridge 5 of 5. Welcome to the 2024 Cambridge Open Days 1 of 5. Building future capacity in Computer Architecture research 2 of 5. Six colleagues receive Senior Academic Promotions 3 of 5. Celebrating 20 years of Women@CL 4 of 5. PhD student's long journey to Cambridge 5 of 5.

  8. MPhil in Advanced Computer Science

    MPhil in Advanced Computer Science. The MPhil in Advanced Computer Science (the ACS) is designed to prepare students for doctoral research, whether at Cambridge or elsewhere. Typical applicants will have undertaken a first degree in computer science or an equivalent subject, and will be expected to be familiar with basic concepts and practices.

  9. Graduate Applications

    Applications to start a PhD in October 2022 will be considered from November 2021 onwards. Successful applicants are likely to have a first class undergraduate degree in mathematics, physics or computer science, and should ideally also have an M.Sc. or equivalent qualification. Candidates considering applying directly from an undergraduate ...

  10. computing

    Cambridge to appoint DeepMind Chair of Machine Learning. 24 Jul 2018. The University of Cambridge will establish a DeepMind Chair of Machine Learning, thanks to a benefaction from the world-leading British AI company. Read more.

  11. PhD in Computation, Cognition and Language

    While the PhD is not a taught course, students will benefit from the availability of courses and seminars offered both within the MMLL Faculty and by other departments concerned with language science in Cambridge (e.g. Computer Science and Technology, Education, Engineering, Psychology, MRC Cognition and Brain Sciences Unit).

  12. PhD Programme in Advanced Machine Learning

    The Cambridge Machine Learning Group (MLG) runs a PhD programme in Advanced Machine Learning. The supervisors are Jose Miguel Hernandez-Lobato, Carl Rasmussen, Richard E. Turner, Adrian Weller, Hong Ge and David Krueger. Zoubin Ghahramani is currently on academic leave and not accepting new students at this time.. We encourage applications from outstanding candidates with academic backgrounds ...

  13. Computer Science, Ph.D.

    About. The PhD in Computer Science offered at The University of Cambridge is the primary research degree that can be taken in the Computer Laboratory. The Cambridge PhD is a three-year programme of individual research on a topic agreed by the student and the Laboratory, under the guidance of a staff member as the student's supervisor.

  14. Department of Computer Science and Technology: List of current PhD students

    student supervisor (co-supervisor) second adviser started expected finish subject Hugo Aaronson: Dr T. Gur: jv508: 2023-10-01: 2025-09-30: Quantum and classical sublinear algorithms

  15. Home

    The MPhil in Scientific Computing provides world-class education on high performance computing and advanced algorithms for numerical simulation at continuum and atomic-scale levels. ... Funding sources for postgraduate study are available from the University of Cambridge and external sources such as UK Research Councils and industry. Read more.

  16. MPhil in Scientific Computing

    Its main aims are: To provide education in Scientific Computing of the highest quality at a graduate level and to produce graduates of the calibre sought by industry, the professions, and the public service. To provide training for the academic researchers and teachers of the future. To encourage and pursue research of the highest quality in ...

  17. List of finished PhD students

    List of finished PhD students. Below is a list of all the PhD theses so far recommended by the Computer Science Degree Committee to the Board of Graduate Studies for approval (which can in some cases mean that there are still corrections to be made before final approval). Fully approved Cambridge PhDs are listed in the University Library thesis catalog.

  18. PhD in Engineering

    PhD in Engineering To obtain a PhD degree you must complete three years full-time training (or five years part-time) and carry out an original piece of research which makes a significant contribution to learning in one of the many research areas in the Department. At the same time, the Department expects that students will leave with the wider skills necessary to be successful in either an ...

  19. Get Your Money Out of These 3 Quantum Computing Stocks by 2025

    D-Wave Quantum (NYSE: QBTS) is the final quantum computing stock investors should avoid by 2025.D-Wave's Advantage system is meant for enterprises, rather than research laboratories or ...

  20. Overview

    The Master of Philosophy in Advanced Computer Science (the M.Phil in ACS) is designed to prepare students for doctoral research, whether at Cambridge or elsewhere. Typical applicants will have undertaken a first degree in computer science or an equivalent subject, and will be expected to be familiar with basic concepts and practices.

  21. Testing spooky action at a distance

    MIT has signed a four-year collaboration agreement with the Novo Nordisk Foundation Quantum Computing Programme (NQCP) at Niels Bohr Institute at the University of Copenhagen, ... means that both universities will set up identical quantum laboratories at their respective campuses in Copenhagen and Cambridge, Massachusetts, facilitating seamless ...

  22. Graduate Programmes Admissions List 2024/25

    The Academic Registrar, Professor Buyinza Mukadasi has been appointed Acting Deputy Vice Chancellor (Academic Affairs) of Makerere University, for a period of six (6) months effective 11 th July 2024 to 10 th January 2025 or until a substantive First Deputy Vice Chancellor (Academic Affairs) is appointed whichever comes earlier.. He is a Professor of Forestry Resource Economics and served as ...

  23. Physics PhD Thesis Defense: Jeffrey Krupa

    Dear Colleagues, You are cordially invited to attend the following thesis defense. ''Exploring New Frontiers in High Energy Physics: Boosted Resonances Decaying To Quarks, Foundation Models, and Heterogeneous Computing at the CMS Experiment'' Presented by Jeffrey Krupa Date: Thursday, August 8, 2024 Time: 3 pm Location: Room #24-506 Also available on Zoom at https://mit.zoom.us/j ...

  24. Doctor of Philosophy

    A Cambridge PhD is intellectually demanding and you will need to have a high level of attainment and motivation to pursue this programme of advanced study and research. In most faculties a candidate is expected to have completed one year of postgraduate study, normally on a research preparation masters course, prior to starting a PhD. ...

  25. Career Guide: Electrical and Computer Engineer Jobs with a PhD

    A PhD in Electrical and Computer Engineering is an elite credential. It opens up a world of advanced technical roles at the forefront of innovation. Upon graduation, ECE doctorates can pursue fulfilling careers as research scientists, respected university professors, senior engineering experts, and executive-level technical leaders. ...

  26. New Computer Science Education Program keeps teachers up to date on

    The Graduate School of Education is offering a new computer science fluency and preparation program for K-12 teachers this fall that aims to help them meet New York's Computer Science and Digital Fluency Standards, a series of rigid criteria for K-12 curricula developed by the Board of Regents in 2020.. The Computer Science Teacher Preparation Program, one of the first in the state, was ...

  27. Human-Centred Computing

    The goal of human-centred computing is to create technologies that better meet human needs, through studying the needs of humans. Using diverse research methods from social science, experimental psychology, cognitive science and other disciplines, we address grand challenges such as social and emotional interaction with robots, or crossing the perceptual line between

  28. Computational Science and Engineering

    Harvard Kenneth C. Griffin Graduate School of Arts and Sciences Harvard Graduate School of Design ... (CSE) master's program, led by faculty from Computer Science, Applied Math and the Engineering Sciences, provides rigorous training in the mathematical and computational foundations of CSE. The master's program offers students experience ...

  29. MPhil in Advanced Computer Science

    The minimum requirement for continuation to the PhD programme in computer science is that MPhil students achieve an overall pass in the taught modules and, separately, the project. The pass mark is 60 per cent; however, higher minimum requirements may be set at the discretion of the Department and Degree Committee. ... Gates Cambridge US round ...

  30. MEng: Electrical/Computer Engineering…

    Electrical/computer engineering leverages the fundamental principles surrounding electricity to advance today's emerging technologies ranging from semiconductor devices to advanced communication networks, from self-powered sensors to electric cars, from wearable devices to cognitive medical imaging, and from autonomous vehicles to smart cities.