computer science phd warwick

Log in
Site search

Computer Science - PhD

Entry requirements.

2:1 undergraduate degree (or equivalent) and preferably an MSc in a related subject.

English language requirements

You can find out more about our English language requirements. This course requires the following:

IELTS overall score of 6.5, minimum component scores not below 6.0.

Months of entry

Course content.

The PhD program is suitable for skilled and highly-motivated students to do research at the frontiers of Computer Science in a broad range of theoretical and applied topics. The program is meant to train students for high-profile jobs in both Academia and Industry.

Fees and funding

See University website

Qualification, course duration and attendance options

Campus-based learning is available for this qualification

Course contact details

Our cookies

We use cookies for three reasons: to give you the best experience on PGS, to make sure the PGS ads you see on other sites are relevant , and to measure website usage. Some of these cookies are necessary to help the site work properly and can’t be switched off. Cookies also support us to provide our services for free, and by click on “Accept” below, you are agreeing to our use of cookies .You can manage your preferences now or at any time.

Privacy overview

We use cookies, which are small text files placed on your computer, to allow the site to work for you, improve your user experience, to provide us with information about how our site is used, and to deliver personalised ads which help fund our work and deliver our service to you for free.

The information does not usually directly identify you, but it can give you a more personalised web experience.

You can accept all, or else manage cookies individually. However, blocking some types of cookies may affect your experience of the site and the services we are able to offer.

You can change your cookies preference at any time by visiting our Cookies Notice page. Please remember to clear your browsing data and cookies when you change your cookies preferences. This will remove all cookies previously placed on your browser.

For more detailed information about the cookies we use, or how to clear your browser cookies data see our Cookies Notice

Manage consent preferences

Strictly necessary cookies

These cookies are necessary for the website to function and cannot be switched off in our systems.

They are essential for you to browse the website and use its features.

You can set your browser to block or alert you about these cookies, but some parts of the site will not then work. We can’t identify you from these cookies.

Functional cookies

These help us personalise our sites for you by remembering your preferences and settings. They may be set by us or by third party providers, whose services we have added to our pages. If you do not allow these cookies, then these services may not function properly.

Performance cookies

These cookies allow us to count visits and see where our traffic comes from, so we can measure and improve the performance of our site. They help us to know which pages are popular and see how visitors move around the site. The cookies cannot directly identify any individual users.

If you do not allow these cookies we will not know when you have visited our site and will not be able to improve its performance for you.

Marketing cookies

These cookies may be set through our site by social media services or our advertising partners. Social media cookies enable you to share our content with your friends and networks. They can track your browser across other sites and build up a profile of your interests. If you do not allow these cookies you may not be able to see or use the content sharing tools.

Advertising cookies may be used to build a profile of your interests and show you relevant adverts on other sites. They do not store directly personal information, but work by uniquely identifying your browser and internet device. If you do not allow these cookies, you will still see ads, but they won’t be tailored to your interests.

Computer Science PhD

University of warwick, different course options.

Key information

Course Summary

Tuition fees, entry requirements, similar courses at different universities, key information data source : idp connect, qualification type.

PhD/DPhil - Doctor of Philosophy

Subject areas

Computer Science

Course type

The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment.

Course Overview

Research Themes

Theory and Foundations

Algorithm Design and Analysis; Approximation Online Algorithms and Constrained Optimisation; Automata Theory Model Checking Sublinear Algorithms and Combinatorics; Verification and Controller Synthesis.

High Performance and Scientific Computing; Business and Internet Computing; Fault Tolerant and Reliable Systems; Intelligent and Distributed Systems; Communication Networks and Data Science; Software Tools.

Artificial Intelligence

Multi-Agent Systems; Strategic Artificial Intelligence; Explainable AI; Multi-Agent Reinforcement Learning; Intelligent Cyber-Physical Systems; Deep Learning for Imaging Data; Intelligent Connected Vehicles.

Data Science

Data Management and Engineering; Data Analytics and Data Mining; Statistical / Machine Learning; Data Science Applications.

Applied Computing

Computational Neuroscience; Computational Pathology; Systems and Synthetic Biology; Digital Forensics; Multimedia Processing and Computer Vision.

Human-Centred Computing

Social Media Analytics; Health Informatics; Social Informatics; Smart Cities; Adaptivity and Personalisation; Educational Technology; Computer Science Education.

Teaching and Learning

Students are encouraged to attend Departmental seminars given by leading experts from the research community. Students can enrol in a Transferrable Skills Training program.

UK fees Course fees for UK students

For this course (per year)

International fees Course fees for EU and international students

Entry requirements 2:1 undergraduate degree (or equivalent) and preferably an MSc in a related subject.

MA Games Design

University for the creative arts, ma independent & serious games, msc human computer interaction, ma user experience design, ma immersive & virtual reality.

Interesting for you
My settings

Computer Science

The PhD in Computer Science at the University of Warwick offers exciting opportunities to do cutting-edge research in an internationally renowned environment.

University of Warwick Multiple locations Coventry , England , United Kingdom Top 0.5% worldwide Studyportals University Meta Ranking 4.4 Read 102 reviews

The PhD program at University of Warwick is suitable for skilled and highly-motivated students to do research at the frontiers of Computer Science in a broad range of theoretical and applied topics.

Features

The program is meant to train students for high-profile jobs in both Academia and Industry.

Programme Structure

Curriculum:

Artificial Intelligence and Human-Centred Computing
Applied Computing
Data Science, Systems and Security
Theory and Foundations
Computer Science

Key information

36 months

3 - 4 years

Start dates & application deadlines

Starting 2024-09-30 00:00:00 Application deadline not specified.

Disciplines

Academic requirements, english requirements, student insurance.

Make sure to cover your health, travel, and stay while studying abroad. Even global coverages can miss important items, so make sure your student insurance ticks all the following:

Additional medical costs (i.e. dental)
Repatriation, if something happens to you or your family
Home contents and baggage

We partnered with Aon to provide you with the best affordable student insurance, for a carefree experience away from home.

Starting from €0.53/day, free cancellation any time.

Remember, countries and universities may have specific insurance requirements. To learn more about how student insurance work at University of Warwick and/or in United Kingdom, please visit Student Insurance Portal .

Other requirements

General requirements.

2:1 undergraduate degree (or equivalent) and preferably an MSc in a related subject.

Tuition Fee

International, living costs for coventry.

The living costs include the total expenses per month, covering accommodation, public transportation, utilities (electricity, internet), books and groceries.

In order for us to give you accurate scholarship information, we ask that you please confirm a few details and create an account with us.

Scholarships Information

Below you will find PhD's scholarship opportunities for Computer Science.

Available Scholarships

You are eligible to apply for these scholarships but a selection process will still be applied by the provider.

Other interesting programmes for you

Our partners.

Go to your profile page to get personalised recommendations!

We value your privacy

We use cookies to allow this site to work for you, improve your user experience, and to serve you advertising tailored to your interests. Let us know if you agree to all cookies. You can manage your preferences at any time

Your Privacy

The information does not usually directly identify you, but it can give you a more personalised web experience.

You can accept all, or else manage cookies individually. However, blocking some types of cookies may affect your experience of the site and the services we are able to offer.

For more detailed information about the cookies we use, or how to clear your browser cookies data see our Cookies Notice

Manage consent preferences

These cookies are necessary for the website to function and cannot be switched off in our systems.

They are essential for you to browse the website and use its features.

You can set your browser to block or alert you about these cookies, but some parts of the site will not then work. We can’t identify you from these cookies.

If you do not allow these cookies we will not know when you have visited our site and will not be able to improve its performance for you.

Personalise what you see on this page.

Looking for.

Undergraduate courses
Clearing courses
Postgraduate courses

Change here for Clearing courses

CHOOSE ONE OR MORE

Popular universities

University of Kent
University of East Anglia UEA
University of Chester

Coventry University

University of Aberdeen
University of Portmouth
Nottingham Trent University
University of Sunderland
London Metropolitan University
London South Bank University

University of East London

BROWSE ALL UNIVERSITIES

Course search

Popular undergraduate courses.

Computer Science
LLB Bachelor of Laws
Biomedical Sciences
Physiotherapy
Sports Science

Open days search

Upcoming open days.

University of Wales Trinity Saint David
Anglia Ruskin University
Leeds Beckett University
University of Bedfordshire
Royal Agricultural University

Article search

You are looking at:

Courses starting in 2025

Looking for Clearing information?

Computer Science PhD University of Warwick

Course options

Qualification.

PhD/DPhil - Doctor of Philosophy

University of Warwick

TUITION FEES
ENTRY REQUIREMENT
UNIVERSITY INFO

Course summary

The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment.

Course Overview

Research Themes

Theory and Foundations

Artificial Intelligence

Data Science

Data Management and Engineering; Data Analytics and Data Mining; Statistical / Machine Learning; Data Science Applications.

Applied Computing

Computational Neuroscience; Computational Pathology; Systems and Synthetic Biology; Digital Forensics; Multimedia Processing and Computer Vision.

Human-Centred Computing

Social Media Analytics; Health Informatics; Social Informatics; Smart Cities; Adaptivity and Personalisation; Educational Technology; Computer Science Education.

Teaching and Learning

Students are encouraged to attend Departmental seminars given by leading experts from the research community. Students can enrol in a Transferrable Skills Training program.

Tuition fees

Afghanistan
Antigua & Barbuda
Bosnia and Herzegovina
Burkina Faso
Central African Republic
Congo (Democratic Republic)
Czech Republic
Dominican Republic
El Salvador
Equatorial Guinea
Guinea-Bissau
Ivory Coast
Korea DPR (North Korea)
Liechtenstein
Marshall Islands
Netherlands
New Zealand
Northern Ireland
Palestinian Authority
Papua New Guinea
Philippines
Puerto Rico
Republic of Ireland
Sao Tome and Principe
Saudi Arabia
Sierra Leone
Solomon Islands
South Africa
South Korea
South Sudan
St. Kitts & Nevis
Switzerland
Trinidad & Tobago
Turkmenistan
United Kingdom
United States
Vatican City
Western Samoa

£ 29,470 per year

Tuition fees shown are for indicative purposes and may vary. Please check with the institution for most up to date details.

University information

University league table, campus address.

University of Warwick, Coventry, Coventry, CV4 7AL, England

Subject rankings

Subject ranking.

5th out of 117 7

Entry standards

Graduate prospects

Student satisfaction

Suggested courses

Computer Science MSc

University league table

Computer Science PhD

University of Bath

Computer Science league table

MSc Computer Science

Is this page useful, sorry about that..., how can we improve it, thanks for your feedback.

Home »
University of Warwick »
Computer Science »
Computer Science

find your perfect postgrad program Search our Database of 30,000 Courses

University of warwick: computer science.

Institution
Department
Web
Email	[email protected]
Telephone	02476 524585

Doctor of Philosophy - PhD

Full-time, 4 years starts sep 2024.

The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment. The results of the 2021 REF rank Warwick Computer Science 4th out of 90 UK Computer Science departments. This cements our position as one of the top Computer Science departments in the UK, a position we have held for some time under different assessment methodologies.

This information is applicable for 2024 entry. Given the interval between the publication of courses and enrolment, some of the information may change. It is important to check our website before you apply.

Study type	Research
Level	RQF Level 8
Entry requirements	Minimum requirements 2:1 undergraduate degree (or equivalent) and preferably an MSc in a related subject. English language requirements You can find out more about our English language requirementsLink opens in a new window. This course requires the following: - Band A - IELTS overall score of 6.5, minimum component scores not below 6.0. International qualifications - We welcome applications from students with other internationally recognised qualifications.
Location	Main Site Academic Office University Road Coventry CV4 7AL

Part-Time, 7 years starts Sep 2024

Full-time, 4 years started oct 2023.

**Course overview** The PhD program is suitable for skilled and highly-motivated students to do research at the frontiers of Computer Science in a broad range of theoretical and applied topics. The program is meant to train students for high-profile jobs in both Academia and Industry.

Study type	Research
Level	RQF Level 8
Entry requirements	Minimum requirements 2:i undergraduate degree (or equivalent) and preferably an MSc in a related subject. English language requirements You can find out more about our English language requirements. This course requires the following: English language requirements - Band A - IELTS overall score of 6.5, minimum component scores not below 6.0. International Students We welcome applications from students with other internationally recognised qualifications. For more information please visit the international entry requirements page. International qualifications We welcome applications from students with other internationally recognised qualifications. For more information, please visit the international entry requirements page. Additional requirements There are no additional entry requirements for this course.
Location	Main Site Academic Office University Road Coventry CV4 7AL

Part-Time, 7 years started Oct 2023

Full-time, 1 years starts sep 2024.

The Computer Science MSc is for technically minded graduates with experience in computer science, mathematics or physical sciences. Ranked 4th in the UK (REF 2021), Warwick's Computer Science department will train you in using the latest techniques in academia and industry while providing you with a set of skills essential in your future career.

This course is designed for technically-minded graduates with a background in computer science, mathematics, or the physical sciences.

It provides a comprehensive preparation for the use of cutting-edge techniques in industry, though its research focus also makes it an excellent starting point for a research career, through PhD study or in a commercial setting.

Study type	Taught
Level	RQF Level 7
Entry requirements	Minimum requirements First Class Honours degree or a high 2:i undergraduate degree. The degree must be in Computer Science, Mathematics, Statistics, Physics, or another relevant quantitatively-focused degree. English language requirements You can find out more about our English language requirements. This course requires the following: - Band A - IELTS overall score of 6.5, minimum component scores not below 6.0. International qualifications We welcome applications from students with other internationally recognised qualifications. For more information, please visit the international entry requirements page. Additional requirements There are no additional entry requirements for this course.
Location	Main Site Academic Office University Road Coventry CV4 7AL

Full-Time, 1 years started Oct 2023

The Computer Science MSc is for technically minded graduates with experience in computer science, mathematics or physical sciences. Ranked 2nd in the UK (REF 2014), Warwick's Computer Science department will train you in using the latest techniques in industry and provide you with a set of skills essential in your future career.

**Course overview** This course is designed for technically-minded graduates with a background in computer science, mathematics or the physical sciences.

It provides a comprehensive preparation for the use of cutting-edge techniques in industry, though its research focus also makes it an excellent starting point for research career, through PhD study or in a commercial setting.

The University of Warwick is a world-class campus university, renowned for its excellent teaching and ground-breaking research. We are ranked 64th in the QS World University Guide 2023 and listed within the top ten UK universities in all three major national league tables. However, we are so much more than our rankings.

We provide a platform for the curious; we inspire, we excite, and we invigorate. Our students are our priority and at Warwick, they are challenged, supported, and guided by some of the world's finest minds. Whether you want to aim for a successful career after study or take …

Not what you are looking for?

Postgraduate Bursary Opportunity with Postgrad.com

Are you studying as a PG student at the moment or have you recently been accepted on a postgraduate program? Apply now for one of our £2000 PGS bursaries.

Exclusive bursaries Open day alerts Funding advice Application tips Latest PG news

Sign up now!

Take 2 minutes to sign up to PGS student services and reap the benefits…

The chance to apply for one of our 5 PGS Bursaries worth £2,000 each
Fantastic scholarship updates
Latest PG news sent directly to you.

Feng Hao Professor of Security Engineering Department of Computer Science University of Warwick, UK

Research team, e-voting book, supervision, professional service.

My research interest (and that of my research team) is primarily driven by tackling real-world security problems. With my former PhD advisers (Ross Anderson and John Daugman), I proposed the first solution to combine iris biometrics and cryptography, the two complementary security technologies. Our paper "Combining crypto with biometrics effectively" (IEEE Trans. on Computers, 2006) is ranked the top among the Google Scholar Classic Papers in the category of Computer Security & Cryptography . With colleagues, I designed a few cryptographic protocols: AV-net (so far the most efficient solution to the Dining Cryptographers problem), YAK (a PKI-based authenticated key exchange protocol that has stood against all attacks since 2010), J-PAKE (a password authenticated key exchange protocol that has been adopted as a de facto standard for IoT device enrollment, and standardized internationally in ISO/IEC 11770-4), Open Vote network (so far the most efficient decentralized e-voting protocol in terms of rounds, computation and bandwidth), DRE-i (the first E2E verifiable e-voting system without tallying authorities), DRE-ip (an alternative design to DRE-i based on a different real-time computation strategy; see YouTube demo ) and SEAL (so far the most efficient decentralised e-auction protocol). So far, none of these protocols have been broken. With Siamak Shahandashti, we found and fixed security weaknesses in SPEKE, a password-authenticated key exchange protocol that has been standardized in IEEE P1363.2 and ISO/IEC 11770-4. The attacks have been acknowledged by ISO/IEC SC 27 Work Group 2 and the standard has been revised in 2017 to incorporate our proposed fix.

Some of the protocols that we designed have been applied in practice. In particular, J-PAKE (see blog ) has been used in Palemoon sync , NXP Thread ( YouTube demo), ARM mbed , OpenThread ( YouTube demo), Nest Guard , Nest Detect , Bouncycastle , and adopted by Thread Group ( white paper ) as an open industry standard for the IoT commissioning process ( YouTube tutorial), and standardized internationally in ISO/IEC 11770-4:2017 and in RFC 8236 (together with RFC 8235 ). An independent study on the security of J-PAKE was presented by Abdalla, Benhamouda and MacKenzie in IEEE S&P 2015 ( YouTube presentation). A verifiable classroom voting system based on the DRE-i protocol has been developed and subsequently trialled in real classroom teaching with positive student feedback. The DRE-i protocol represents the first step in exploring a new generation of e-voting protocols that are end-to-end verifiable and also free from any tallying authority. I call this new direction "Self-Enforcing Electronic Voting" (SEEV). In 2012, I was awarded a 1.5 million euros ERC starting grant to support my further investigation on SEEV, and in 2015, a follow-up ERC Proof of Concept grant to support commercialization of SEEV (overall, about 4% of the ERC projects have produced a PoC grant). A prototype of the SEEV system (based on DRE-ip) was successfully trialled during the 2019 local elections in Gateshead, UK with positive voter feedback ( BBC , University press , CS news ).

Finally, I have a general interest in designing efficient computing algorithms. I modified the classic Dynamic Programming algorithm to make it more suitable for handwritten signature verification. I worked with John Daugman, the original inventor of iris recognition, and designed a fast search algorithm for iris recognition, which achieves a substantial speed-up over the traditional exhaustive search algorithm with a negligible loss of accuracy.

Publications

This paper is the journal version of an earlier conference paper published at ACM ASIA CCS'22. It extends the conference paper in three main aspects. First, we add support for ranking candidates with indifference, while the earlier work only allows strict preference. Second, for the choice of ranking with strict preference, we introduce a new technique to securely use only half of the matrix instead of a full matrix to reecord votes, thus reducing the computation by half. Third, we provide an updated open-source implementation that supports not only strict preference but also indifference.
This paper proposes an enhanced cuckoo filter-based intrusion detection system.
This paper details our experience of building an end-to-end verifiable online voting system based on DRE-ip and conducting a real-life trial among the resident of New Town, Kolkata, India as part of the 2022 Durga Puja festival celebration. This was the first time that an E2E online voting system had been built and tested in India.
This paper presents Camel, an end-to-end verifiable instant runoff voting (IRV) protocol without tallying authorities. We name the protocol "Camel" as Camels have multiple chambers in their stomach, which enables the processing of food in stages with the maximum extraction of nutrients and the minimum loss of water. This resembles how our protocol processes the encryption of votes in multiple stages.
This paper presents Owl, a new augmented password-authenticated key exchange (PAKE) scheme. Today, SRP-6a is the only widely deployed augmented PAKE schemes in the real world (e.g., used in Apple's iCloud). We show that Owl has systematic advantages over SRP-6a in terms of security, efficiency and crypto agility. Owl also presents a competitive alternative to OPAQUE (selected by IETF as a new standard in 2020) but is free from several issues faced by OPAQUE (e.g., leakage of password update information to passive attackers and the reliance on constant-time hash-to-curve functions).
This paper presents Caller ID Verification (CIV), a more secure and cost-effective solution than STIR/SHAKEN. STIR/SHAKEN has been mandated by FCC for all telecom providers in the USA to implement, but it has not delivered the promised benefits in preventing caller ID spoofing attacks. Ofcom recently conducted a public consultation on whether the UK should follow suit and adopt STIR/SHAKEN in the country. We urge Ofcom to seriously consider alternative solutions such as CIV before committing to STIR/SHAKEN (see our response to the Ofcom consultation here ).
This paper presents an effective template attack that successfully recovers the secret key of Ascon by analyzing only a small number of power traces. Ascon is the new NIST standard for lightweight cryptography applications. Our work shows that the quadruple use of the key in the initialization and finalization stages of Ascon - originally designed to support leveled implementations to prevent certain side-channel attacks - somehow makes the cipher weaker against a template attack.
This paper investigates the order-robustness of existing transaction fee mechansisms such as EIP-1559 in Decentralized Finance (De-Fi) applications.
This paper studies the security of mobile point-of-sale (PoS) terminals and shows several vulnerabilities associated with the security design of the mPoS controlling app on mobile phones. This paper won the NSS 2023 Best Student Paper Award .

This paper shows that with the mere knowledge of a hidden camera's serial number, an attacker can capture the camera's video/audio stream, and furthermore, take complete control of the camera as a bot to attack other devices in a home network behind a firewall. It is estimated that the uncovered vulnerabilities affect millions of hidden cameras, mostly sold in America, Europe and Asia. The (insecure) peer-to-peer network that is used by the affected cameras is also being used by 50 million IoT devices as a general communication platform.
This paper proposes a symmetric key searchable encryption scheme for phrase search that minimises the leakage of information from search patterns and access patterns.
This paper presents a thorough and systematic review of the PAKE field, a summary of the state-of-the-art, a taxonomy to categorize existing protocols, and a comparative analysis of protocol performance using representative schemes from each taxonomy category. It also reviews real-world applications, summarizes lessons learned, and highlights open research problems related to PAKE protocols.
This paper presents a one-round distributed key generation protocol.
This paper presents a physical unclonable function (PUF) design based on probabilistic trap emissions in nano-scaled transistors.
This paper presents an end-to-end verifiable e-voting system called VERICONDOR to support Condorcet voting. Our system is self-enforcing without needing any tallying authorities. It's also exceptionally efficient with O(n^2) computation complexity, which is close to the best one may hope for based on using a [n, n] comparison matrix to record a Condorcet ballot.
This paper presents an end-to-end verifiable e-voting system for cumulative voting. Cumulative voting is commonly used for online participatory budgeting in European cities.
This paper analyses new threats emerging from the increasingly popular deployment of mobile point-of-sale terminals and proposes a countermeasure to prevent attacks without changing the existing usage model in contactless payment.
This paper presents a retrospective review of the recent IETF PAKE selection process, discusses technical and management issues, and proposes a set of recommendations for improving practices in security standardisation in the future .
This paper presents a comprehensive analysis of secure e-voting over blockchain in three different settings: decentralized voting, centralized remote voting and centralized polling station voting. The content of this paper forms the basis of a technical report that was submitted to the Economist Cybersecurity Challenge jointly organised by the Economist and Kaspersky Lab , and was ranked third place .
This paper applies formal analysis to confirm that the payment protocol standard BIP70 is vulnerable against the Bitcoin refund attacks reported in FC'16, and to verify that our proposed revised protocol addresses the identified security flaws.
This paper proposes a new anti-counterfeiting method for polymer banknotes based on analysing the inevitable imperfection in the opacity coating layer. This method makes the counterfeiting of polymer banknotes dramatically more difficult even if the counterfeiters have obtained the same printing equipment and ink as used by a legitimate government. This work is featured in the University Press and demonstrated on YouTube . We make the datasets openly available ( Part 1/2 and Part 2/2 ).
This paper proposes a sharing-is-caring (SIC) framework for distributed entities to compute security alert scores while preserving the privacy of each individual security policy.
This paper proposes the first self-tallying decentralised e-voting protocol for a ranked-choice voting system based on Borda count.

This paper reports a verifiable e-voting trial conducted at Gateshead as part of the UK local elections on 2 May 2019. This is the first trial of a fully electronic voting system with E2E verifiability for polling station voting in the UK - and the first in the world. The questionnaire used in the user survey can be found here . A video demonstration of the verifiable e-voting prototype can be found at YouTube .
This paper proposes a trust model that evaluates the aggregate trustworthiness of content creators in a crowdsourced group based on the weighted tallying of trust scores.
This paper presents a self-enforcing reputation management system for an IoT application.
This paper presents the first auctioneer-free sealed-bid auction protocol with a linear computation and communication complexity with respect to the bit length of the bid price. This work establishes to date the best computation and communication complexity for sealed-bid auctions without involving any auctioneers.
This paper proposes a privacy-preserving collaborative system to allow telecom providers to identify spammers more quickly and reliably.
This paper proposes a self-enforcing e-voting system that supports weighted tallying. This is suitable for shareholder voting where each shareholder has a weight corresponding to the number of the shares that they have.
This paper proposes a self-enforcing method to perform password-based authentication in SIP without involving trusted third parties.
This paper presents a solution to preserve the integrity of DOM when it is rendered in the browser in the presence of malicious web extensions installed in the browser.
This paper presents a DRE-based Borda count electoral system with end-to-end verifiability without requiring any tallying authorities.
This paper surveys fraud methods and solutions in three different yet related consumer-facing applications: credit card payment, mobile phone payment and telephone communication.
This is a journal version of the earlier paper published at ESORCIS'15.
This paper presents a new 2-round MPC protocol called PriVeto to compute the boolean-OR function. Compared with AV-net, PriVeto requires all participants to commit their inputs in the first round instead of in the second round. It prevents the last participant in the second round from making any run-time change and limits every participant to learn nothing more than their own input and the final output.
This paper presents a collaborative crowdsourcing-based vehicle reputation system in a connected vehicular network.
This paper cryptanalyzes a chaotic image encryption algorithm proposed in International Journalof Bifurcation and Chaos (2018).
This is a journal version of the earlier conference paper published in ARES'17.
This paper shows that the image encryption algorithm proposed by Ye and Huang in IEEE Multimedia (2016) is insecure.
This paper presents a decentralized reputation system for customers to rate retailers in an online marketplace.

This is a journal version of our SSR'14 paper . It extends the earlier conference paper by adding a formal analysis of the patched SPEKE, and details of how our proposed patch is accepted and published in the latest ISO/IEC 11770-4 (2017) standard.
This paper presents a method to tally votes among a subset of voters who are trusted by the assessor without disclosing which voters are trusted.

This paper presents the first practical verifiable classroom voting (VCV) system, which has been used regularly in real classroom teaching, as well as academic prize competitions, at Newcastle University with positive user feedback since 2013. This paper lays the groundwork for my 2015 ERC Proof of Concept grant .
This paper presents a comprehensive analysis of threats imposed by malicious extensions in modern browsers.
This RFC describes J-PAKE, which is a password-authenticated key exchange protocol first published at SPW'08 (Hao, Ryan). In 2008, I wrote a blog asking for public scrutiny on the security of J-PAKE. Ten years on, the J-PAKE protocol has stood against all known attacks.
This RFC describes Schnorr NIZK, which is an important Zero Knowledge Proof (ZKP) primitive. This technique is used in J-PAKE, but it is described in a standalone RFC as it is generally useful, e.g., also used in AV-net , YAK and OV-net .
This paper proposes a decentralized protocol to aggregate the reputation scores for machines in an IoT network.
This is an extended journal version of the earlier workshop paper presented at FC Bitcoin'15.

This paper presents a new technique to uniquely fingerprint a paper document by extracting the random translucent patterns (which we call "paper texture") when light shines through the paper. It differs from all previous techniques (e.g., Nature 2005, IEEE S&P 2009 and CCS 2011) in that it exacts features from the paper texture using transmissive light rather than the paper surface using reflective light, and we show the paper texture contains much richer information than the paper surface and is much more reliable for fingerprinting. This paper is featured in The Economist , Wall Street Journal , Newcastle University press release , Chronicle Live , Digital Trends , DNA India , ITV News , New Atlas , Phys.org , Science Daily , Zee News India , 36Kr , Correio Braziliense , Mehr News , PlayTech , Sohu .
This is a journal version of the earlier conference paper published in EuroUSEC'16. This research work is covered in Newcastle University Press Office BBC , The Guardian , The Telegraph , The Independent , Dailymail , New York Post , The Sun , The Australian , The Economic Times , TechCrunch , Engadget , Popular Science , Science Friday CBC News , German Public Radio Deutschlandfunk , Die Welt (German national daily newspaper) , Sina (Chinese) , Sohu (Chinese) , Masjable (French) , Lavoz (Spanish) , Khorasan (Iranian) , ars Technica
This paper presents the first implementation of a decentralized Internet voting protocol with maximum voter privacy over Ethereum's blockchain. It lays the technical basis for Newcastle University's solution that won 3rd place in the 2016 Economist Cybersecurity Challenge . This work is featured in CoinDesk .
This paper highlights the card-collision problem in NFC payments, the inconsistency between the current NFC terminal implementation and the EMV specification, and how that inconsistency may be exploited by an attacker to compromise user privacy during contactless payments.
This paper presents a new "self-enforcing e-voting" system called DRE-ip. Similar to DRE-i (Hao et al. USENIX JETS 2014), DRE-ip provides end-to-end (E2E) verifiability without tallying authorities. But, instead of using pre-computation as in DRE-i, DRE-ip opts for real-time computation and provides a stronger guarantee of ballot privacy.
This paper presents an improved attack (over our earlier work ) on stealing the user's PINs via mobile sensors. It further presents a user study to evaluate the user awareness of the data leakage problem caused by the sensors. The results indicate that users are generally not aware of the data generated by sensors and how that data might be used to undermine security and privacy.
This paper reviews proposals that aim to address the scalability problem in Bitcoin by facilitating "off-chain transactions".
It's an extended journal version of an earlier conference paper presented at ESORICS'14, with Xun Yi and Elisa Bertino.

This edited book consolidates the state-of-the-art in the research field of e-voting in a real-world setting as of end of 2015. Here are the ToC , foreword (by Josh Benaloh), preface , references , index , and a publisher flyer .
It's a contributing book chapter that describes a 10-year research journey leading to the invention of "self-enforcing e-voting".
It presents two attacks on the standard BIP70 Bitcoin Payment protocol and a countermeasure. Both attacks and the countermeasure have been acknowledged by the two largest Bitcoin processors, Bitpay and Coinbase.

It reports a significant security flaw in the current specification of W3C regarding the JavaScript's unrestricted access to the sensor data in a browser on a mobile phone. The W3C community and major browser vendors (Mozilla, Google, Apple, Opera) have acknowledged our work and are implementing some of our suggested countermeasures. This paper is a journal version of the one presented earlier at ASIACCS'15.
This paper presents a new solution on preventing Mafia attacks in NFC payment by leveraging the highly correlated vibrations induced by physical tapping between two NFC-enabled devices. Our solution is arguably simpler and more cost-effective than previous solutions that are usually based on distance bounding or ambient environment measurements.
It proposes a new category of authenticated key exchange (AKE) protocols, which bootstrap trust entirely from the block chain (as opposed to PKI or shared passwords). This work fills in an important gap, which is currently not covered by any key exchange standards (e.g., IEEE, ISO/IEC).
It presents a technique to distribute a high-entropy secret using secret sharing and later retrieve the secret with a low-entropy password.
It challenges the fundamental trust assumption underpinning "Trusted Computing" in light of Snowden revelations and proposes to redesign the TPM/HSM APIs based on a new "Trust-but-Verify" paradigm.
It presents a cryptographic protocol to make the data deletion operations more transparent and verifiable.
It presents J-PAKE+ and SPEKE+, the group variants of J-PAKE and SPEKE (both of which have been used in practical applications). Our work establishes a new record of round efficiency for Group PAKE, and is close to the best achievable that one may hope for.
It presents the first attack on breaching privacy of a mobile user via JavaScript, which, in contrast to all previous app-based attacks, does not require installing any software (app) on the user's device, and hence is potentially more dangerous.
It outlines a design of next-generation Botnets that may leverage the BitCoin blockchain for stealthy and fast Comand & Control, and discusses preemptive countermeasures.
It points out two security issues with the SPEKE protocol, as currently defined in the IEEE P1363.2 and ISO/IEC 11770-4 standards, and also proposes a solution to address the attacks. Both attacks have been acknowledged by the technical commiteee in ISO/IEC SC 27, work group 2, with our proposed fix being included into ISO/IEC 11770-4 standard.
It presents a compiler to construct two-server PAKE from any secure two-party PAKE based on identity-based encryption.
It is a journal version of the earlier short paper presented at DPM'13. It adds the response from the browser industry and acknowledgement of our work.
This paper lays the foundation for my 2012 ERC starting grant on "self-enforcing e-voting". It challenges the traditional view on the role of trustworthy tallying authorities in E2E verifiable voting protocols and argues if such a role is as indispensable as many have believed over the past twenty years. Since the initial publication as an IACR report in 2010, the paper was repeatedly rejected by top conferences in the security field. In the final acceptance in 2014, the basic DRE-i protocol remains unchanged from its initial specification in 2010.
It presents a comprehensive security analysis of the current state of private browsing as implemented in major browsers. The testing software is released here as open source. Some identified issues have been acknowledged by browser vendors and fixed accordingly in newer versions of browsers (see the extended journal version of the paper for details).
It points out that the omission of public key validation renders the Dragonfly protocol (a recent Internet draft submitted to IETF) completely insecure. Our attack has been acknowledged and fixed accordingly in the newer version of the Dragonfly specification in IETF and the final RFC publication .
In this paper, we propose - and have implemented - the first verifiable classroom voting system.
It is an invited contribution as a book chapter on password authenticated key exchange protocols.
It presents a vision about the next-generation e-voting.
It reviews the practical issues and challenges encountered in the UK e-voting trials.
It reports two attacks on a multi-factor authenticated key exchange, proposed by Pointcheval and Zimmer at ACNS'08.
This is the journal version of the YAK paper that was first presented at FC'10. See my response to a cryptanalysis paper that claims to find several attacks on YAK.
It describes how to add fairness and resistance to disruptions in decentralized e-voting.
It describes the sync problem and compares solutions by different browsers.
It proposes a DRE-i protocol to ensure integrity for a DRE-based voting system.

It is a journal version of the J-PAKE paper, which was first presented at SPW'08. Since 2015, J-PAKE has been adopted by the Thread Group (an IoT consortium including ARM, Google Nest, Samsung, NXP, Qualcomm, Silicon Labs, Yale etc) as a stanard key establishment mechanisim to bootrap the initial trust for adding a new IoT device to a Thread network. The Thread commissioning protocol based on J-PAKE can be found on the Thread Group website .

This paper lays the foundation for my 2012 EPSRC First Grant; also see the journal version of the paper here . It presents two new attacks on the HMQV protocol (a candidate being standardized by IEEE P1363). These attacks highlight the caution one should take when interpreting the provable results from a formal model. The attacks were discussed by IEEE P1363 Working Group in 2010, and since then the standardization of HMQV in IEEE P1363 has been paused. The paper also presents a new authenticated key agreement protocol called YAK. The YAK protocol is designed based on understanding the importance of zero-knowledge proof (ZKP), and is the first scheme that integrates ZKP (Schnorr NIZK) into public-key authenticated key exchange securely and efficiently. The protocol has robustly resisted all known attacks since 2010.
It shows a counter-example to explain that the claim about the on-line dictionary attack resistance in SRP-6 is not valid. This does not threaten the practical security of SRP-6, but serves to highlight the risk of making heuristic claims without any proof.

It presents a decentralized e-voting scheme called Open Vote Network. Our scheme is more efficient than the previous Kiayias-Yung (PKC'02) and Groth (FC'04) solutions in every aspect, including the number of rounds, the computational load and the bandwidth usage. A proof-of-concept implementation of the Open Vote Network over the Ethereum blockchain won third place in the 2016 Economist Cybersecurity Challenge .
Feng Hao , Peter Ryan, "Password Authenticated Key Exchange by Juggling (Transcript of Discussion) ," Proceedings of the 16th Workshop on Security Protocols (SPW'08), Cambridge, UK, LNCS 6615, pp. 172-179, 2008. [ Paper ]
It is a transcript of discussion for the presentation of J-PAKE at SPW'08.
Feng Hao , Peter Ryan, "Password Authenticated Key Exchange by Juggling," Proceedings of the 16th Workshop on Security Protocols (SPW'08), Cambridge, UK, LNCS 6615, pp. 159-171, 2008. [ Paper ][ Slides ][ Java code ][ Blog ]
It proposes a crypto protocol called Password Authenticated Key Exchange by Juggling (J-PAKE). J-PAKE is designed based on understanding the importance of zero-knowledge proof (ZKP), and is the first scheme that utilises ZKP, particularly Schnorr's signature, but in a way that is provably secure and practically efficient. The paper was initially rejected by a major crypto conference as no one had used ZKP in PAKE before. After J-PAKE was first presented in SPW'08, it was implemented in OpenSSL and Mozilla browser. Later, it was adopted as an industry standard for IoT authentication as part of Thread, and standardised in ISO/IEC 11770-4 (also see IETF RFC 8236 ). Today, J-PAKE has been deployed in real-life applications such as browser sync by Palemoon and IoT authentication by Google Nest, ARM, NXP, D-Link, Qualcomm, Texas Instruments and so on.
It proposes a fast search algorithm for iris recognition, which achieves a substantial speed-up over exhaustive search with a negligible loss of precision.
Feng Hao , "Kish's Key Exchange Scheme Is insecure," IEE Information Security , Vol. 153, No. 4, pp. 141-142, 2006. [ Paper ]
It points out that a "totally secure" communication system, featured in Science (2005), is seriously flawed. It tells a lesson that in security design, one cannot make security assumptions arbitrarily.
Feng Hao , Piotr Zielinski, "A 2-Round Anonymous Veto Protocol (Transcript of Discussion)," 14th International Workshop on Security Protocols (SPW'06), Cambridge, UK, LNCS 5087, pp. 212-214, 2009. [ Springer ]
It is a discussion of transcript of the av-net workshop paper.
Feng Hao , Piotr Zielinski, "A 2-Round Anonymous Veto Protocol," Proceedings of the 14th International Workshop on Security Protocols (SPW'06), Cambridge, UK, LNCS 5087, pp. 202-211, 2006. [ Paper ] [ Slides ][ Springer ]
It proposes an exceptionally efficient solution to the Dining Cryptographers problem (Chaum, 1988). Our scheme is the most efficient among all available solutions proposed since 1988.

Feng Hao , Ross Anderson, John Daugman, "Combining Crypto with Biometrics Effectively," IEEE Transactions on Computers , Vol. 55, No. 9, pp. 1081-1088, 2006. [ Paper ] [ report ]
This paper proposes the first practical and secure way to integrate the iris biometric into cryptographic applications. It was my first paper during the PhD study. It was repeatedly rejected by top security conferences before we decided to submit it to IEEE TC and it was accepted with almost no revision. Ten years later, in 2017, this paper tops the Google Scholar Classic Papers in the category of Computer Security & Cryptography .
Feng Hao , "Combining Crypto with Biometrics: a New Human-Security Interface," 13th International Workshop on Security Protocols (SPW'05), Cambridge, UK, LNCS 4631, pp. 133-138, 2005. [ Paper ]
It presents a transcript of discussion on combining crypto with biometrics.
Feng Hao , Choog-Wah Chan, "Online Signature Verification Using a New Extreme Points Warping Technique," Pattern Recognition Letters , Vol. 24, No. 16, pp. 2943-2951, 2003. [ Paper ]
It modifies the classic Dynamic Programming algorithm to better suit the requirements of handwritten signature verification.
Feng Hao , Choog-Wah Chan, "Private Key Generation from On-line Handwritten Signatures," Information Management & Computer Security , Vol. 10, No. 4, 159-164, 2002. [ Paper ]
It proposes to apply quantisation to derive stable bits from handwritten signatures.

Other publications

Feng Hao , Basil Thomas, Steve Smith, "Response to the Federal Communications Commission's Notice of Inquiry (FCC 22-81)", 14 May, 2024 [ ECFS ] [ PDF ]
This document is a written ex parte submitted to the FCC in response to the Notice of Inquiry (FCC 22-81), which seeks comments on caller ID authentication technologies for non-IP networks. In this response, we explain the major weaknesses of the STIR/SHAKEN system and present an alternative solution called Caller ID Verification (CIV) based on our paper .
Feng Hao (on behalf of Warwick University Research Team), "Response to Ofcom's public consultation on calling line identification (CLI) authentication", 23 June, 2023 [ Ofcom Consultation ] [ PDF ]
This document presents a response to Ofcom's consultation on Calling Line Identification (CLI) authentication. In our response, we explain the weaknesses of STIR/SHAKEN and argue that it cannot be an effective solution for the UK deployment. On 1 February 2024, Ofcom formally announced rejecting STIR/SHAKEN, citing our contributed response in several places in their final assessment report .
Feng Hao , "Oral evidence to the House of Lords", 23 June 2022 [ PDF ]
This document is a transcript of my invited oral evidence, presented to the Fraud Act 2006 and Digital Fraud Committee at the House of Lords on the landscape of telecommunication frauds and countermeasures. On 12 November 2022, the House of Lords published a report entitled " Fighting Fraud: Breaking the Chain ", which cites my oral evidence and previous research on this subject.
Feng Hao , "Answers to IETF PAKE Selection Questions on the J-PAKE Nomination", July 2019 [ PDF ]
This document lists my answers to the questions asked during the IETF PAKE selection process . In the end, CPace and OPAQUE were selected as the two winners. However, several important issues with the winning protocols have remained unaddressed. Here is a review of the IETF PAKE selection published at the IEEE Communication Standards Magazine .
Feng Hao , "Comments on 'Cryptanalysis of a robust key agreement based on public key authentication'", September 2019 [ PDF ]
My response to a cryptanalysis paper that claims to find several attacks on the YAK protocol
Robert Cragie, Feng Hao , "Elliptic Curve J-PAKE Cipher Suites for Transport Layer Security," 2016 [ Internet Draft ]
An internet draft submitted to IETF about using J-PAKE for bootstrapping secure communication in IoT applications.
Feng Hao , Matthew Nicolas Kreeger, "Electronic voting apparatus and method," 2011 [ Link ]
A pending international patent on a secure large-scale e-voting scheme without involving trusted authorities.
Feng Hao , "The Challenge of Being an Engineer - Reflections from a Security Engineer," 2014 [ white paper ]
Reflections from my career experience in the past 10 years starting from 2004 when I first started my PhD study
Feng Hao , "Rationale for Inclusion of J-PAKE in ISO/IEC 11770-4", February 2014 [ PDF ]
This document presents rationale for the inclusion of J-PAKE in ISO/IEC 11770-4. As a result, ISO/IEC 11770-4 has been revised to include J-PAKE and the revised standard formally published in 2017.
Feng Hao , "On Using Fuzzy Data in Security Mechanisms," PhD dissertation, Computer Laboratory, University of Cambridge, 2007. [ Tech report ]
My PhD dissertation completed within three years with three papers published on high-ranking journals (IEEE/Springer Transactions) covering three different research topics. It's probably the shortest dissertation among those submitted by PhD graduates in the computer laboratory. See all technical reports .
Feng Hao , "Cryptosystem with private key generation from dynamic properties of human hand signature," M.Eng dissertation, School of Electrical and Electronic Engineering, Nanyang Technological University, 2002. [ Link ] [ PDF ]
My M.Eng dissertation completed in 20 months (four months shorter than the normal course) with two papers published on high-ranking journals covering two different research topics.
Warwick University Security Reading sessions [ Link ]
An informal reading session every Friday to review latest publications in the security field.
Newcastle University Security Research wiki [ Link ]
An informal wiki system that I created and maintained while I was at Newcastle University to coordinate security research activities in the School of Computing Science, Newcastle University.
Newcastle University Security Research Blog [ Security Upon Tyne ]
A blog that I created while I was at Newcastle University to facilitate two-way communication: 1) to disseminate our research results to people outside Newcastle University; 2) to allow anyone to freely comment, scrutinize and criticize our work.

Top Streams

Data Science Courses in USA
Business Analytics Courses in USA
Engineering Courses in USA
Tax Courses in USA
Healthcare Courses in USA
Language Courses in USA
Insurance Courses in USA
Digital Marketing Courses in USA

Top Specialization

Masters in Data Analytics in USA
Masters in Mechanical Engineering in USA
Masters in Supply Chain Management in USA
Masters in Computer Science in USA
MBA in Finance in USA
Masters in Architecture in USA

Top Universities

Cornell University
Yale University
Princeton University
University of California Los Angeles
University of Harvard
Stanford University
Arizona State University
Northeastern University
Scholarships to Study in USA
Project Management Courses in Australia
Accounting Courses in Australia
Medical Courses in Australia
Psychology Courses in Australia
Interior Designing Courses in Australia
Pharmacy Courses in Australia
Social Work Courses in Australia
MBA in Australia
Masters in Education in Australia
Masters in Pharmacy in Australia
Masters in Information Technology in Australia
BBA in Australia
Masters in Teaching in Australia
Masters in Psychology in Australia
University of Melbourne
Deakin University
Carnegie Mellon University
Monash University
University of Sydney
University of Queensland
RMIT University
Macquarie University
PR Courses in Australia
SOP for Australia Student Visa
Data Science Courses in Canada
Business Management Courses in Canada
Supply Chain Management Courses in Canada
Project Management Courses in Canada
Business Analytics Courses in Canada
Hotel Management Courses in Canada
MBA in Canada
MS in Canada
Masters in Computer Science in Canada
Masters in Management in Canada
Masters in Psychology in Canada
Masters in Education in Canada
MBA in Finance in Canada
Masters in Business Analytics in Canada
University of Toronto
University of British Columbia
McGill University
University of Alberta
York University
University of Calgary
Algoma University
University Canada West
IELTS requirement for Canada Student Visa
Canada Visa Interview
Top cities in Canada for International Students
Project Management Courses in UK
Data Science Courses in UK
Public Health Courses in UK
Digital Marketing Courses in UK
Hotel Management Courses in UK
Nursing Courses in UK
Medicine Courses in UK
Interior Designing Courses in UK
Masters in Computer Science in UK
Masters in Psychology in UK
MBA in Finance in UK
MBA in Healthcare Management in UK
Masters in Education in UK
Masters in Marketing in UK
MBA in HR in UK
University of Oxford
University of Cambridge
Coventry University
University of East London
University of Hertfordshire
University of Birmingham
Imperial College London
University of Glasgow

Top Resources

Universities in Germany
Study in Germany
Masters in Germany
Courses in Germany
Bachelors in Germany
Germany Job Seeker Visa
Cost of Living in Germany
Best Universities in Germany

Top Courses

Masters in Data Science in Germany
MS in Computer Science in Germany
Marine Engineering in Germany
MS Courses in Germany
Masters in Psychology in Germany
Hotel Management Courses in Germany
Masters in Economics in Germany
Paramedical Courses in Germany
Karlsruhe Institute of Technology
University of Bonn
University of Freiburg
University of Hamburg
University of Stuttgart
Saarland University
Mannheim University
MBA in Ireland
Phd in Ireland
Masters in Computer Science Ireland
Cyber Security in Ireland
Masters in Data Analytics Ireland
Ms in Data Science in Ireland
Pharmacy courses in ireland
Business Analytics Course in Ireland
Universities in Ireland
Study in Ireland
Masters in Ireland
Courses in Ireland
Bachelors in Ireland
Cost of Living in Ireland
Ireland Student Visa
Part Time Jobs in Ireland
Trinity College Dublin
University College Dublin
Dublin City University
University of Limerick
Dublin Business School
Maynooth University
University College Cork
National College of Ireland

Colleges & Courses

Masters in France
Phd in France
Study Medicine in France
Best Universities in Frankfurt
Best Architecture Colleges in France
ESIGELEC France
Study in France for Indian Students
Intakes in France
SOP for France Visa
Study in France from India
Reasons to Study in France
How to Settle in France

More About France

Cost of Living in France
France Study Visa
Cost of Living in Frankfurt
France Scholarship for Indian Students
Part Time Jobs in France
Stay Back in France After Masters

About Finland

Universities in Finland
Study in Finland
Courses in Finland
Bachelor Courses in Finland
Masters Courses in Finland
Cost of Living in Finland
MS in Finland
Average Fees in Finland Universities
PhD in Finland
Jobs in Finland
Bachelor Degree in Medicine & Surgery
MBBS Courses in Georgia
MBBS Courses in Russia
Alte University
Caucasus University
Georgian National University SEU
David Tvildiani Medical University
Caspian International School Of Medicine
Asfendiyarov Kazakh National Medical University
Kyrgyz State Medical Academy
Cremeia Federal University
Bashkir State Medical University
Kursk State Medical University
Andijan State Medical Institute
IELTS Syllabus
IELTS Prepration
IELTS Eligibility
IELTS Test Format
IELTS Band Descriptors
IELTS Speaking test
IELTS Writing Task 1
IELTS score validity
IELTS Cue Card

IELTS Reading Answers Sample

Animal Camouflage
Types Of Societies
Australia Convict Colonies
A Spark A Flint
Emigration To The Us
The History Of Salt
Zoo Conservation Programmes
The Robots Are Coming
The Development Of Plastic

IELTS Speaking Cue Card Sample

Describe A Puzzle You Have Played
Describe A Long Walk You Ever Had
Describe Your Favourite Movie
Describe A Difficult Thing You did
Describe A Businessman You Admire
Memorable Day in My Life
Describe Your Dream House
Describe A Bag You Want to Own
Describe a Famous Athlete You Know
Aquatic Animal

IELTS Essay Sample Sample

Best Education System
IELTS Opinion Essay
Agree or Disagree Essay
Problem Solution Essays
Essay on Space Exploration
Essay On Historical Places
Essay Writing Samples
Tourism Essay
Global Warming Essay
GRE Exam Fees
GRE Exam Syllabus
GRE Exam Eligibility
Sections in GRE Exam
GRE Exam Benefits
GRE Exam Results
GRE Cutoff for US Universities
GRE Preparation
Send GRE scores to Universities

GRE Exam Study Material

GRE Verbal Preparation
GRE Study Material
GRE AWA Essays
GRE Sample Issue Essays
Stanford University GRE Cutoff
Harvard University GRE Cutoff
GRE Quantitative Reasoning
GRE Verbal Reasoning
GRE Reading Comprehension
Prepare for GRE in 2 months

Other Resources

Documents Required For Gre Exam
GRE Exam Duration
GRE at Home
GRE vs GMAT
Improve GRE Verbal Scores

Free GRE Ebooks

GRE Preparation Guide (Free PDF)
GRE Syllabus (Free PDF)
GMAT Eligibility
GMAT Syllabus
GMAT Exam Dates
GMAT Registration
GMAT Exam Fees
GMAT Sections
GMAT Purpose

GMAT Exam Study Material

How to prepare for GMAT?
GMAT Score Validity
GMAT Preparation Books
GMAT Preparation
GMAT Exam Duration
GMAT Score for Harvard
GMAT Reading Comprehension
GMAT Retake Strategy

Free GMAT Ebooks

GMAT Guide PDF
Download GMAT Syllabus PDF
TOEFL Exam Registration
TOEFL Exam Eligibility
TOEFL Exam Pattern
TOEFL Exam Preparation
TOEFL Exam Tips
TOEFL Exam Dates
Documents for TOEFL Exam
TOEFL Exam Fee

TOEFL Exam Study Material

TOEFL Preparation Books
TOEFL Speaking Section
TOEFL Score and Results
TOEFL Writing Section
TOEFL Reading Section
TOEFL Listening Section
TOEFL Vocabulary
Types of Essays in TOEFL

Free TOEFL Ebooks

TOEFL Exam Guide (Free PDF)
PTE Exam Dates
PTE Exam Syllabus
PTE Exam Eligibility Criteria
PTE Test Centers in India
PTE Exam Pattern
PTE Exam Fees
PTE Exam Duration
PTE Exam Registration

PTE Exam Study Material

PTE Exam Preparation
PTE Speaking Test
PTE Reading Test
PTE Listening Test
PTE Writing Test
PTE Essay Writing
PTE exam for Australia

Free PTE Ebooks

PTE Syllabus (Free PDF)
Duolingo Exam
Duolingo Test Eligibility
Duolingo Exam Pattern
Duolingo Exam Fees
Duolingo Test Validity
Duolingo Syllabus
Duolingo Preparation

Duolingo Exam Study Material

Duolingo Exam Dates
Duolingo Test Score
Duolingo Test Results
Duolingo Test Booking

Free Duolingo Ebooks

Duolingo Guide (Free PDF)
Duolingo Test Pattern (Free PDF)

NEET & MCAT Exam

NEET Study Material
NEET Preparation
MCAT Eligibility
MCAT Preparation

SAT & ACT Exam

ACT Eligibility
ACT Exam Dates
SAT Syllabus
SAT Exam Pattern
SAT Exam Eligibility

USMLE & OET Exam

USMLE Syllabus
USMLE Preparation
USMLE Step 1
OET Syllabus
OET Eligibility
OET Prepration

PLAB & LSAT Exam

PLAB Exam Syllabus
PLAB Exam Fees
LSAT Eligibility
LSAT Registration
PLAB Accepted Countries
TOEIC Result
Study Guide

Application Process

LOR for Masters
SOP Samples for MS
LOR for Phd
SOP for Internship
SOP for Phd
Check Visa Status
Motivation Letter Format
Motivation Letter for Internship
F1 Visa Documents Checklist

Career Prospects

Popular Courses after Bcom in Abroad
Part Time Jobs in Australia
Part Time Jobs in USA
Salary after MS in Germany
Salary after MBA in Canada
Average Salary in Singapore
Higher Studies after MBA in Abroad
Study in Canada after 12th
Most Demanding Engineering Fields

Country Guides

Study in UK
Study in Canada
Study in USA
Study in Australia
SOP Samples for Canada Student Visa
US F1 Visa Guide for Aspirants

Exams Guides

Duolingo Test Pattern

GPA CALCULATOR Convert percentage marks to GPA effortlessly with our calculator!

Expense calculator plan your study abroad expenses with our comprehensive calculator, ielts band calculator estimate your ielts band score with our accurate calculator, education loan calculator discover your eligible loan amount limit with our education calculator, university partner explore growth and opportunities with our university partnership, accommodation discover your perfect study abroad accommodation here, experience-center discover our offline centers for a personalized experience, our offices visit us for expert study abroad counseling..

18002102030

Computer Science (PhD) at The University of Warwick
The University of Warwick

Coventry, UK Duration : 3 Years

Expenses gbp inr, intake session, similar courses view all.

BSc (Hons) Computer Science

University of plymouth , uk, intake session.

BSc (Hons) Computer Science - Part Time

BSc ComputerScience

University of hull , uk, explore accelerator programs view all.

MBA with Work Placement

University of roehampton.

Online : 11 Months
On-campus : 1 Year 9 Months
Online : INR 3,05,000
On-campus: GBP 13,900

Check Eligibility Know More

MSc Global Business Management with Work Placement

On-campus: GBP 13,233

MSc Data Science with Work Placement

Online : 8 Months
On-campus: GBP 12,900

Courses in The University of Warwick

Ancient Literature and Thought (MA)
Non-destructive Evaluation (EngD)
Big Data and Digital Futures MSc PGDip
Behavioural and Economic Science (MSc)
Behavioural and Economic Science (Economics) (MSc)
Behavioural and Data Science MSc
Arts, Enterprise and Development (MA)
Applied Theatre Arts Action Change MA
Applied Screen Studies (PhD)
Applied Linguistics MPhil PhD
Ancient Visual and Material Culture (MA)
MSc Electrical and Electronic Engineering
Analytical Sciences and Instrumentation (MSc)
Analytical and Polymer Science (MSc)
Advanced Mechanical Engineering MSc
Advanced Legal Studies (LLM)
Advanced Clinical Practice PGCert PGDip MSc
Advanced Clinical Practice Critical Care PGCert PGDip MSc
Advance the Deployment of Future Mobility Technologies EngD PhD
Adult Education and Lifelong Learning (PhD)

Computer Science (PhD) in UK

MSc in Advanced Computer Science
BSc Computer Science and Physics
Computer Science with Management & a year abroad BSc
Computer Science BSc
BSc in Computer Science with Foundation
Computer Science MComp
Human-Computer Interaction MSc
Computer Science MSc
Computer Science with Industrial Experience MSCI HONS
Advanced Computer Science MSc

Top Specialization in UK

MS in Public Health in UK
MS in Computer Science in UK
MS in Data Science in UK
MS in International Business in UK
MS in Business Analytics in UK
MS in Cyber Security in UK
MS in Human Resource Management in UK
MS in Biomedical Engineering in UK
MS in Accounting and Finance in UK
MS in Artificial Intelligence in UK
MS in Mechanical Engineering in UK
MS in Civil Engineering in UK
MS in Digital Marketing in UK
MS in Biotechnology in UK
MS in Data Analytics in UK
Bachelors in Computer Science in UK
Bachelors in Nursing in UK
Bachelors in Hotel Management in UK
Bachelors in Hospitality Management in UK
Bachelors in Mechanical Engineering in UK
Bachelors in Psychology in UK
Bachelors in Economics in UK
Bachelors in Sports Management in UK
Bachelors in Paramedic in UK
Bachelors in Psychiatry in UK
Bachelors in Plastic Surgery in UK
Bachelors in Physiology and Physiotherapy in UK
Bachelors in Physical Medicine And Rehabilitation in UK
Bachelors in Pharmacy in UK
Bachelors in Pediatrics in UK

Top Destinations

Masters programs.

MBA in Germany, IU
MIM in Germany, IU
MS in CS in Germany, IU
MS in Data Analytics in USA, Clark University
MS in Project Management in USA, Clark University
MS in IT in USA, Clark University
MS in Data Analytics & Visualization in USA, Yeshiva University
MS in Artificial Intelligence in USA, Yeshiva University
MS in Cybersecurity, Yeshiva University

Study Abroad Important Blogs

Cost of Study:
Cost of Studying in Canada
Cost of Studying in Ireland
Cost of Studying in Australia
Cost of living:
Cost of living in UK
Cost of living in Australia
Cost of living in Germany
Cost of living in Ireland
Cost of living in Canada
Cost of Living in Singapore
Cost of Living in Netherlands
Career Opportunities:
Career Opportunities in Australia
Career Opportunities in Germany
Job Opportunities in After MS in Canada
Job Opportunities After MBA in Australia
Job Opportunities After MS in UK
IELTS Exam Resources:
IELTS Registration
Academic IELTS
IELTS Band Score
IELTS Writing Task 2
IELTS Slot Booking
IELTS Band Score Chart
IELTS Score for UK
IELTS Score for USA
Validity of IELTS Score
IELTS Speaking Topics
IELTS Reading Tips
How to Prepare for IELTS at Home Without Coaching
IELTS Preparation Books
Types of IELTS Exam
IELTS Academic vs General
IELTS Exam Fee
IELTS Exam Pattern
IELTS Results
IELTS Essay
IELTS Exam Dates
Top Streams:
Fashion Designing Courses in Australia
Accounting Courses in Canada
Management Courses in Canada

Report a problem

Thank you, your report has been submitted. We will deal with the issue as soon as possible. If you have any other questions, please send an email to [email protected] .

Your Programmes

Phd msc msc(res) pgce computer science.

1 in 3 applicants to this programme received an offer.

Data shown above is for entry in academic year 2018/19 (sources) .

Previous Years

Data source.

FOI Request by KAI CHEN. May 2019.

The acceptance rate , or offer rate, represents the fraction of applicants who received an offer. Note that this will be generally lower the acceptances rates (acceptances divided by applicants) published by many other sources. This article explains it in more detail. The acceptances generally indicate the number of offer holders who accepted the offer and fulfilled its conditions. For some universities, however, it denotes the number of applicants who accepted the offer, regardless of whether they subsequently met its conditions.

Data Reliability

Unless otherwise noted, the data presented comes from the universities and is generally reliable. However, some of the differences between years and/or courses may be due to different counting methodologies or data gathering errors. This may especially be the case if there is a sharp difference from year to year. If the data does not look right, click the "Report" button located near the top of the page.

Follow Us On Twitter/X

Get university advice on The Student Room app

Teacher training
Bangor University
Birmingham City University
Sheffield Hallam University
University of Aberdeen
University of East Anglia
University of Hull
University of Kent
University of Reading
A-level choices
GCSE choices and university
Choosing a course
Making firm and insurance choices
University open days
Top questions to ask at a university open day
Ucas Extra explained
Understanding conditional offers
University offers: what they mean and what to do next
Getting the most from Ucas university fairs
What do I need to get into Oxbridge?
What to do if you don’t get an offer from your first choice university
What you need to know about getting a university scholarship, grant or bursary
AS and A-levels explained
Is a higher or degree apprenticeship right for you?
Universities

Computer Science

University of Warwick

UCAS Code: G400 | Bachelor of Science (with Honours) - BSc (Hons)

Similar Courses

Entry requirements

To include grade A* in Mathematics. Offers exclude General Studies and Critical Thinking.

International Baccalaureate Diploma Programme

39 with 7,6,6 in three Higher Level subjects including 7 in Higher Level Mathematics (‘Analysis and Approaches’ only).

UCAS Tariff

We've calculated how many Ucas points you'll need for this course.

About this course

Course option.

Full-time | 2024

Computer science

Computer Science is one of the most established courses in the UK, designed for students with a talent for mathematics and a passion for technology. At Warwick you will work closely with industry leaders, enabling you to develop industrially relevant subject knowledge and transferable skills.

If you have a talent for mathematics and a passion for technology, this exciting, accredited course will enable you to acquire technical skills in software engineering, algorithm analysis and system design, as well as experience of project management, research and scientific methods.

As one of the most established courses in the UK, our focus is on the principles and underpinnings of computer science, an understanding of which will give you the ability to adapt to change and new developments throughout your career.

In short, while we teach using many of the latest technologies, our emphasis on fundamentals will prepare you to engage with any technology. You will work closely with industry leaders, enabling you to develop industrially relevant subject knowledge and transferable skills, such as teamwork, communication and planning. In your third year, you will undertake an individual project, where you will apply your knowledge to an area of your choice under the supervision of world-leading academics.

The course is taught from first principles, which means you do not need prior knowledge of computer science or programming before you arrive. Our only requirements are that you have a strong background in mathematics and the desire to succeed, we will support you through our commitment to teaching excellence and a stimulating academic community.

You may choose to spend a year in industry, research institutions, or study abroad between Years Two and Three of your degree. This will be reflected in your degree title.

This course is accredited by BCS, The Chartered Institute for IT.

Tuition fees

Select where you currently live to see what you'll pay:

What students say

We've crunched the numbers to see if overall student satisfaction here is high, medium or low compared to students studying this subject(s) at other universities.

How do students rate their degree experience?

The stats below relate to the general subject area/s at this university, not this specific course. We show this where there isn’t enough data about the course, or where this is the most detailed info available to us.

Teaching and learning

Assessment and feedback, resources and organisation, student voice, who studies this subject and how do they get on, most popular a-levels studied (and grade achieved), after graduation.

The stats in this section relate to the general subject area/s at this university – not this specific course. We show this where there isn't enough data about the course, or where this is the most detailed info available to us.

What are graduates doing after six months?

This is what graduates told us they were doing (and earning), shortly after completing their course. We've crunched the numbers to show you if these immediate prospects are high, medium or low, compared to those studying this subject/s at other universities.

Top job areas of graduates

This is a newly-classified subject area for this kind of data, so we don’t currently have very much information to display or analyse yet. The subject is linked to important and growing computing industries, and over time we can expect more students to study them — there could be opportunities that open up for graduates in these subjects as the economy develops over the next few years.

What about your long term prospects?

Looking further ahead, below is a rough guide for what graduates went on to earn.

The graph shows median earnings of graduates who achieved a degree in this subject area one, three and five years after graduating from here.

Note: this data only looks at employees (and not those who are self-employed or also studying) and covers a broad sample of graduates and the various paths they've taken, which might not always be a direct result of their degree.

What's it like studying a degree in Computer science

Explore these similar courses...

Share this page

Find the course that's right for you.

This is what the university has told Ucas about the criteria they expect applicants to satisfy; some may be compulsory, others may be preferable.

Have a question about this info? Learn more here

This is the percentage of applicants to this course who received an offer last year, through Ucas.

This is what the university has told Ucas about the course. Use it to get a quick idea about what makes it unique compared to similar courses, elsewhere.

Course location and department:

Teaching excellence framework (tef):.

We've received this information from the Department for Education, via Ucas. This is how the university as a whole has been rated for its quality of teaching: gold silver or bronze. Note, not all universities have taken part in the TEF.

This information comes from the National Student Survey, an annual student survey of final-year students. You can use this to see how satisfied students studying this subject area at this university, are (not the individual course).

This is the percentage of final-year students at this university who were "definitely" or "mostly" satisfied with their course. We've analysed this figure against other universities so you can see whether this is high, medium or low.

This information is from the Higher Education Statistics Agency (HESA), for undergraduate students only.

You can use this to get an idea of who you might share a lecture with and how they progressed in this subject, here. It's also worth comparing typical A-level subjects and grades students achieved with the current course entry requirements; similarities or differences here could indicate how flexible (or not) a university might be.

Post-six month graduation stats:

This is from the Destinations of Leavers from Higher Education Survey, based on responses from graduates who studied the same subject area here.

It offers a snapshot of what grads went on to do six months later, what they were earning on average, and whether they felt their degree helped them obtain a 'graduate role'. We calculate a mean rating to indicate if this is high, medium or low compared to other universities.

Graduate field commentary:

The Higher Education Careers Services Unit have provided some further context for all graduates in this subject area, including details that numbers alone might not show

The Longitudinal Educational Outcomes dataset combines HRMC earnings data with student records from the Higher Education Statistics Agency.

While there are lots of factors at play when it comes to your future earnings, use this as a rough timeline of what graduates in this subject area were earning on average one, three and five years later. Can you see a steady increase in salary, or did grads need some experience under their belt before seeing a nice bump up in their pay packet?

The Uni Guide and The Student Room are both part of The Student Room Group.

Promoted universities

Durham University
Lancaster University
University of Glasgow
University of the Arts London
University of Southampton
Aston University, Birmingham
Swansea University
Ulster University
Cardiff University

Browse expert advice

Oxbridge applications
Ucas application
Personal statements
Ucas deadline 2024 countdown
Clearing and results day
Preparing for university
Student accommodation
Student life
Student finance
Advice for parents

About this site

Cookie policy
List of universities and colleges
Privacy notice
Terms and conditions
Where we get our info

Who we work with

Your account settings

Ad privacy settings

Popular tools and features

A-level Explorer
Course search

Connect with us

Browse by Year
Browse by Warwick Author
Browse by Department
Browse by Funders

Browse by Theses by Department

Advanced Search

Alharthi, Khalid Ayed (2023) The terminator : an AI-based framework to handle dependability threats in large-scale distributed systems. PhD thesis, University of Warwick.

Alotaibi, Naif (2022) English-Arabic cross-language plagiarism detection. PhD thesis, University of Warwick.

Algamdi, Abdullah M. (2022) Action recognition and tracking using capsule networks. PhD thesis, University of Warwick.

Alhajaili, Sara (2022) Towards reliable logging in the internet of things networks. PhD thesis, University of Warwick.

Awan, Ruqayya (2022) Deep learning based frameworks for patient selection. PhD thesis, University of Warwick.

Alturki, Aseel Fahad (2022) Resilience, robustness and community structure of complex networks : applied to a real-world transport network. PhD thesis, University of Warwick.

Aldawood, Mansour (2021) Secure virtual machines allocation in cloud computing environments. PhD thesis, University of Warwick.

Almujally, Nouf (2021) Investigating the application of knowledge management systems in Saudi HEIs : a design science approach. PhD thesis, University of Warwick.

Adam, Zakiyya (2021) Commuting : perceptions and subjective well-being. PhD thesis, University of Warwick.

Alharbi, Alwaleed (2021) Towards accurate predicate detection in wireless sensor networks. PhD thesis, University of Warwick.

Ascott, Katherine (2020) Geological resources: perception and impact for enhancing sustainability and resilience in urban settings. PhD thesis, University of Warwick.

AlShahrani, Abdulaziz (2020) A novel real-time feedback tool to enhance learning and teaching in lecture theatres. PhD thesis, University of Warwick.

Alghamdi, Mohammed (2020) Developing the parallelization techniques for finding the all-pairs shortest paths in graphs. PhD thesis, University of Warwick.

Abdul Wahab, Monisa (2019) Raising engagement and motivation through gamified e-portfolio: A student perspective. PhD thesis, University of Warwick.

Al-Fraihat, Dimah (2019) Evaluating the success of e-learning systems : the case of Moodle LMS at the University of Warwick. PhD thesis, University of Warwick.

Alsubaie, Najah Mohammed (2018) Automatic analysis of lung adenocarcinoma histology whole slide images. PhD thesis, University of Warwick.

Al-Zaidi, Maram S. (2017) A micro note taking approach : the student experience. PhD thesis, University of Warwick.

Alamri, Afaf (2016) Adaptive social e-learning for Saudi students: virtual project and group formation recommendation acceptance. PhD thesis, University of Warwick.

Adamu-Fika, Fatimah (2016) LnCm fault model : complexity and validation. PhD thesis, University of Warwick.

Al Fayez, Reem Qadan (2016) Taming web data : exploiting linked data for integrating medical educational content. PhD thesis, University of Warwick.

Al Qudah, Dana (2016) A framework for adaptive personalised e-advertisements. PhD thesis, University of Warwick.

AlAdraj, Resala A. (2015) Security and collaborative groupware tools usage. PhD thesis, University of Warwick.

Ardeshir-Larijani, Ebrahim (2014) Automated equivalence checking of quantum information systems. PhD thesis, University of Warwick.

Awan, M. S. K. (Malik Shahzad K.) (2013) Performance characterization of computational resources for time-constrained job execution in P2P environments. PhD thesis, University of Warwick.

Adamaszek, Anna (2012) Approximation algorithms for geometric, caching and scheduling problems. PhD thesis, University of Warwick.

Al-Ghamdi, M. (2012) Predictive dynamic resource allocation for web hosting environments. PhD thesis, University of Warwick.

Aziz, Haris (2009) Algorithmic and complexity aspects of simple coalitional games. PhD thesis, University of Warwick.

Aziz, H. , Paterson, Michael S. and Leech, Dennis (2007) Efficient algorithm for designing weighted voting games. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report).

Adler, Micah , Fitch, Faith , Goldberg, Leslie Ann and Paterson, Michael S. (2000) Tight size bounds for packet headers in narrow meshes. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Al-Ammal, Hesham , Goldberg, Leslie Ann and MacKenzie, Phil (1999) Binary exponential backoff is stable for high arrival rates. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Amos, Martyn (1997) DNA computation. PhD thesis, University of Warwick.

Allderidge, James , Beynon, Meurig , Cartwright, Richard and Yung, Yun Pui (1997) Enabling technologies for empirical modelling in graphics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Agarwala, Richa , Bafna, Vineet , Farach, Martin , Paterson, Michael S. and Thorup, Mikkel (1997) On the approximability of numerical taxonomy (fitting distances by tree metrics). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Amos, Martyn , Gibbons, Alan (Alan M.) and Hodgson, D. A. (1996) Error-resistant implementation of DNA computations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Axford, T. H. and Joy, Mike (1993) List processing in parallel languages. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Atherton, T. J. , Kerbyson, D. J. and Nudd, G. R. (1992) An heterogeneous M-SIMD architecture for Kalman Filter controlled processing of image sequences. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Axford, Tom and Joy, Mike (1991) List processing in parallel. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1980) Structured Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1979) R for semantics. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1979) Some common misconceptions about Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1977) Scope structures and defined functions in Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Ashcroft, Edward A. and Wadge, William W. (1976) Lucid, a nonprocedural language with iteration. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Bashir, Raja Muhammad Saad (2023) Learning with minimal annotations in computational pathology. PhD thesis, University of Warwick.

Brown, Dominic (2020) Higher-order particle representation for a portable unstructured particle-in-cell application. PhD thesis, University of Warwick.

Batra, Vishwash (2020) Neural models for stepwise text illustration. PhD thesis, University of Warwick.

Bradbury, Matthew S. (2018) Near optimal routing protocols for source location privacy in wireless sensor networks: modelling, design and evaluation. PhD thesis, University of Warwick.

Barbosa, Rafael da Ponte (2017) New algorithms for distributed submodular maximization. PhD thesis, University of Warwick.

Bunt, Richard A. (2016) Performance engineering unstructured mesh, geometric multigrid codes. PhD thesis, University of Warwick.

Bird, Robert F. (2016) Performance modelling and optimisation of inertial confinement fusion simulation codes. PhD thesis, University of Warwick.

Beckingsale, David A. (2015) Towards scalable adaptive mesh refinement on future parallel architectures. PhD thesis, University of Warwick.

Byrd, Jonathan M. R. (2010) Parallel Markov Chain Monte Carlo. PhD thesis, University of Warwick.

Boyatt, Russell and Sinclair, Jane (2007) Investigating post-completion errors with the alloy analyzer. University of Warwick. Department of Computer Science. (Unpublished)

Beynon, Meurig and Harfield, Antony (2005) Empirical modelling in support of constructionism : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berenbrink, Petra , Friedetzky, Thomas and Martin, R. (2004) Dynamic diffusion load balancing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berenbrink, Petra , Goldberg, Leslie Ann , Goldberg, Paul W. and Martin, R. (Russell) (2004) Utilitarian resource assignment. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Bhalerao, Abhir and Summers, Paul (2001) Angiotool : a tool for interactive visualization of MRI vector and tensor fields. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berenbrink, Petra , Friedetzky, Thomas and Goldberg, Leslie Ann (2001) The natural work-stealing algorithm is stable. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Bhalerao, Abhir and Wilson, Roland (2000) Unsupervised image segmentation combining region and boundary estimation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig , Cartwright, Richard , Rungrattanaubol, Jaratsri and Sun, Pi-Hwa (1999) Interactive situation models for systems development. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig and Sun, Pi-Hwa (1998) Interactive situation models for program comprehension. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig , Rungrattanaubol, Jaratsri , Sun, Pi-Hwa and Wright, Amanda (1998) Explanatory models for open-ended human-computer interaction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berry, Vincent and Gascuel, Olivier (1998) Inferring evolutionary trees with strong combinatorial evidence. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1998) Modelling state in mind and machine. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Berry, Vincent (1998) An improved polynomial time algorithm for computing the refined Buneman tree. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig , Cartwright, Richard , Cartwright, Alan and Yung, Yun Pui (1996) Abstract geometry for design in an empirical modelling context. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig , Ness, Paul Edward and Russ, Steve (1996) Worlds before and beyond words. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig , Cartwright, Alan and Yung, Yun Pui (1995) Databases from an agent-oriented perspective. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig and Russ, Steve (1994) Empirical modelling of requirements. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Baude, Francoise (1992) PRAM implementation on fine-grained MIMD multicomputers. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig (1992) Programming principles for the semantics of the semantics of programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig and Russ, Steve (1992) The interpretation of states : a new foundation for computation? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Bhalerao, Abhir (1991) Multiresolution Image Segmentation. PhD thesis, University of Warwick.

Beynon, Meurig , Slade, Mike and Yung, Yun Pui (1990) Protocol specification in concurrent systems software development. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Bhalerao, Abhir and Wilson, Roland (1990) Multiresolution image segmentation combining region and boundary information. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Buckle, John Francis (1989) Computational aspects of lattice theory. PhD thesis, University of Warwick.

Bhalerao, Abhir and Wilson, Roland (1989) Multiresolution image segmentation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig , Norris, M. T. , Russ, Steve , Slade, M. D. , Yung, Yun Pui and Yung, Y. W. (1989) Software construction using definitions : an illustrative example. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig , Russ, Steve , Slade, M. D. , Yung, Yun Pui and Yung, Y. W. (1989) Definitive principles and the specification of software. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1989) Definitive programming for parallelism. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Russ, Steve (1989) The development and use of variables in mathematics and computer science. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1988) Evaluating definitive principles for interaction in graphics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig , Norris, M. T. and Slade, M. D. (1988) Definitions for modelling and simulating concurrent systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig , Slade, M. D. and Yung, Y. W. (1988) Parallel computation in definitive models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig (1987) Monotone Boolean functions as combinatorially piecewise linear maps. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig (1987) Definitive principles for interactive graphics. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Yung, Y. W. (1987) Implementing a definitive notation for interactive graphics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Beynon, Meurig (1986) The LSD notation for communicating systems. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1986) ARCA : a notation for displaying and manipulating combinatorial diagrams. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig , Angier, David , Bissell, Tim and Hunt, Steve (1986) DoNaLD : a line-drawing system based on definitive principles. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Buckle, John Francis (1985) Computation equivalence and replaceability in finite algebras. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1984) Monotone Boolean functions computable by planar circuits. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1984) Replaceability and computational equivalence in finite distributive lattices. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1983) A definition of the ARCA notation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig (1982) Coset enumeration as closure computation. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Beynon, Meurig and Iliopoulos, C. S. (Costas S.) (1981) Gauss' algorithm for the solution of quadratic diophantine equations. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Beynon, Meurig (1981) On Raney's binary encoding for continued fractions, generalisations of Pell's Equation, and the theory of factorisation. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Beynon, Meurig (1978) On the structure of free finite state machines. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Cunningham, Teddy (2022) Generating and sharing differentially private spatio-temporal data using real-world knowledge. PhD thesis, University of Warwick.

Chen, Zhiyan (2022) Optimizing task offloading for mobile edge cloud systems. PhD thesis, University of Warwick.

Chester, Dean Gordon (2021) An applications approach to benchmarking and performance modelling low latency interconnection networks. PhD thesis, University of Warwick.

Chuah, Edward (2020) Features correlation-based workflows for high-performance computing systems diagnosis. PhD thesis, University of Warwick.

Chang, Ching-Chun (2019) Privacy-preserving information hiding and its applications. PhD thesis, University of Warwick.

Chotvijit, Sarunkorn (2019) Social care service provision using spatial-temporal data analytics. PhD thesis, University of Warwick.

Crosby, Henry James (2018) Road distance and travel time for spatial urban modelling. PhD thesis, University of Warwick.

Coetzee, Peter (2017) Platforms for deployment of scalable on- and off-line data analytics. PhD thesis, University of Warwick.

Chen, Chao (2016) Performance-oriented service management in clouds. PhD thesis, University of Warwick.

Chaudhary, Nadeem (2013) Optimizing performance of workflow executions under authorization control. PhD thesis, University of Warwick.

Chester, Adam P. (2011) Towards effective dynamic resource allocation for enterprise applications. PhD thesis, University of Warwick.

Chen, Xinuo (2009) Parallelisation for data-intensive applications over peer-to-peer networks. PhD thesis, University of Warwick.

Chan, Zhan En (2009) Towards efficacious groupware development: an empirical modelling approach. PhD thesis, University of Warwick.

Care, Charles (2008) From analogy-making to modelling : the history of analog computing as a modelling technology. PhD thesis, University of Warwick.

Cosma, Georgina (2008) An approach to source-code plagiarism detection investigation using latent semantic analysis. PhD thesis, University of Warwick.

Cosma, Georgina and Joy, Mike (2006) Source-code plagiarism : a UK academic perspective. University of Warwick. Department of Computer Science. (Unpublished)

Cosma, Georgina and Joy, Mike (2006) Source-code plagiarism : an academic perspective. University of Warwick. Department of Computer Science. (Unpublished)

Care, Charles (2006) A chronology of analogue computing. University of Warwick. Department of Computer Science. (Computer Science Research Report). (Unpublished)

Care, Charles (2005) The analogue computer as a scientific instrument. University of Warwick. Department of Computer Science. (Computer Science Research Report). (Unpublished)

Cormode, Graham (2003) Sequence distance embeddings. PhD thesis, University of Warwick.

Chen, Yih-Chang (2001) Empirical modelling for participative business process reengineering. PhD thesis, University of Warwick.

Cao, Junwei (2001) Agent-based resource management for grid computing. PhD thesis, University of Warwick.

Cryan, Mary (1999) Learning and approximation algorithms for problems motivated by evolutionary trees. PhD thesis, University of Warwick.

Chen, Guo-Huei and Wilson, Roland (1999) Image segmentation based on the multiresolution Fourier transform and Markov random fields. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cormode, Graham , Paterson, Michael S. , Sahinalp, Suleyman Cenk and Vishkin, Uzi (1999) Communication complexity of document exchange. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cartwright, Richard (1998) Geometric aspects of empirical modelling : issues of design and implementation. PhD thesis, University of Warwick.

Cryan, Mary , Goldberg, Leslie Ann and Goldberg, Paul W. (1998) Evolutionary trees can be learned in polynomial time in the two-state general Markov model. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1998) Programs that model themselves. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cryan, Mary , Goldberg, Leslie Ann and Phillips, Cynthia A. (1997) Approximation algorithms for the fixed-topology phylogenetic number problem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1996) Multi-agent systems : a risk to freedom. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cross, Nicola and Wilson, Roland (1995) Neural networks for object recognition. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1995) A perspective on multi-agent systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1995) Formal techniques in the development of blackboard systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1995) The formal specification of ELEKTRA. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Cross, Nicola and Wilson, Roland (1994) Object representation using circular harmonics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1994) Agents that model themselves. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Clarke, C. T. and Nudd, G. R. (1994) Highly non-linear encoders for current mode multiple-valued logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Clarke, C. T. and Nudd, G. R. (1994) Three dimensional CORDIC with reduced iterations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Clarke, Christopher Turrall (1993) The implementation and applications of multiple-valued logic. PhD thesis, University of Warwick.

Craig, Iain D. (1993) A new interpretation of the blackboard architecture. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Clarke, C. T. and Nudd, G. R. (1992) A redundant arithmetic CORDIC system with a unit scale factor. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1992) Replacing Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1992) The new implementation of Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Czumaj, Artur (1992) Parallel algorithm for the matrix chain product problem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1992) Where do you want to go on holiday? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Czumaj, Artur (1992) An optimal parallel algorithm for computing a near-optimal order of matrix multiplications. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Calway, Andrew David , Knutsson, Hans and Wilson, Roland (1991) Multiresolution estimation of 2-d disparity using a frequency domain approach. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) The role of formal specification in rule-based real-time AI (extended abstract). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Extending Cassandra. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Making Cassandra parallel and distributed. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Elektra : a reflective production system. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Formal specification of AI systems : four case studies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Logicism and meaning : the case against (draft). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Meanings and messages. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) Rule interpreters in ELEKTRA. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1991) The formal specification of a blackboard framework. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Chown, Paul , Walton, D. W. and Nudd, G. R. (1990) VLSI design of a pipelined CORDIC processor. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Chown, Paul (1990) GROVER : a graph plotting program for Sun workstations. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Chown, Paul (1990) Notes on the design of a barrel shifter for the Warwick pipelined CORDIC processor. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Campbell-Kelly, Martin (1990) The Airy Tape : an early chapter in the history of debugging. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report).

Clewlow, Les (1989) Cellular automata and dynamical systems. PhD thesis, University of Warwick.

Calway, Andrew David (1989) The multiresolution Fourier transform : a general purpose tool for image analysis. PhD thesis, University of Warwick.

Clippingdale, Simon (1988) Multiresolution image modelling and estimation. PhD thesis, University of Warwick.

Craig, Iain D. (1988) WINNSOME : a neural network simulation package. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. and Thomas, Robert F. (1987) Learning to program : a cognitive model for an ITS. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) Blackboard systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Calway, Andrew David and Wilson, Roland (1987) Hierarchical descriptors for nonstationary 1 and 2 dimensional signal processing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Campbell-Kelly, Martin (1987) Charles Babbage's table of logarithms (1827). University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. and Wilson, David H. (1987) CONFER : a knowledge system for bio-process control. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) The blackboard architecture : a definition and its implications. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) The blackboard architecture : example systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) SeRPenS : a production rule interpreter. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) The BB-SR system. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) CASSANDRA-II : a distributed blackboard system. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) A distributed blackboard architecture. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Craig, Iain D. (1987) An overview of CASSANDRA-II. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Croarken, Mary (1985) The centralization of scientific computation in Britain, 1925-1955. PhD thesis, University of Warwick.

Deshpande, Srijay Parag (2023) Generative AI for computational pathology. PhD thesis, University of Warwick.

Dall'Agnol, Marcel (2023) Classical and quantum sublinear algorithms. PhD thesis, University of Warwick.

Dixon, Alex (2022) Vector addition systems and their applications in the verification of computer programs. PhD thesis, University of Warwick.

Devlin, Ciaran (2021) Digital planning in the smart city : the transition towards digital urban planning in English local authorities. PhD thesis, University of Warwick.

Du, Bowen (2021) Gait recognition with event cameras. PhD thesis, University of Warwick.

Dickens, Charlie (2021) On the efficiency of finding and using tabular data summaries : scalability, accuracy, and hardness. PhD thesis, University of Warwick.

Devilly, Oran Zane (2021) The impact of an adaptive learning environment on students’ classroom related and learning related emotions. PhD thesis, University of Warwick.

Davies, Eleanor (2021) Modular reasoning about combining modular compiler phases. PhD thesis, University of Warwick.

Dark, Jacques (2020) Finding structure in data streams : correlations, independent sets, and matchings. PhD thesis, University of Warwick.

Davies, Peter (2018) Radio network algorithms for global communication. PhD thesis, University of Warwick.

Dickson, James (2018) Towards application-centric I/O benchmarking for parallel scientific applications. PhD thesis, University of Warwick.

Davis, James A. (2017) Analytical modelling for the performance prediction and optimisation of near-neighbour structured grid hydrodynamics. PhD thesis, University of Warwick.

Davidson, Timothy A. S. (2012) Formal verification techniques using quantum process calculus. PhD thesis, University of Warwick.

Dimovski, Aleksandar (2007) Compositional software verification based on game semantics. PhD thesis, University of Warwick.

Dimovski, Aleksandar and Lazic, Ranko (2004) CSP representation of game semantics for second-order idealized Algol. University of Warwick. Department of Computer Science. (Department of Computer Science research report).

Dyer, Martin , Goldberg, Leslie Ann , Jerrum, Mark and Martin, R. (2004) Markov chain comparison. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dimovski, Aleksandar and Lazic, Ranko (2004) Software model checking based on game semantics and CSP. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dyer, Martin , Goldberg, Leslie Ann , Greenhill, Catherine , Istrate, Gabriel and Jerrum, Mark (2000) Convergence of the iterated prisoner's dilemma game. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dyer, Martin , Goldberg, Leslie Ann , Greenhill, Catherine and Jerrum, Mark (2000) On the relative complexity of approximate counting problems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dancík, Vladimír (1994) Expected length of longest common subsequences. PhD thesis, University of Warwick.

Davies, Andrew Richard (1993) Image feature analysis using the Multiresolution Fourier Transform. PhD thesis, University of Warwick.

Dain, Julia Anne (1992) A practical minimum distance method for syntax error handling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Davies, Andrew Richard and Wilson, Roland (1991) Curve and corner extraction using the multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dain, Julia Anne (1991) Syntax error handling in language translation systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Davies, Andrew Richard and Wilson, Roland (1990) Linear feature extraction using the multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dain, Julia Anne (1989) Automatic error recovery for LR parsers in theory and practice. PhD thesis, University of Warwick.

Dain, Julia Anne (1989) Women and computing : some responses to falling numbers in higher education. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dain, Julia Anne (1988) Recruitment and performance of female and male students in science. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dain, Julia Anne (1988) Getting women into computing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dain, Julia Anne (1987) Minimum distance error correction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Dain, Julia Anne (1985) Error recovery for YACC parsers. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dain, Julia Anne (1984) Error recovery schemes in LR parsers. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Daykin, Jacqueline (1984) Monotonic functions of finite posets. PhD thesis, University of Warwick.

Dunne, Paul E. (1984) Techniques for the analysis of monotone Boolean networks. PhD thesis, University of Warwick.

Daykin, J. W. (1984) Inequalities for the number of monotonic functions of partial orders. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dunne, Paul E. (1984) Some results on replacement rules in monotone Boolean networks. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Dunne, Paul E. (1983) Improved upper bounds on the area required to embed arbitrary graphs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Daykin, D. E. , Daykin, J. W. and Paterson, Michael S. (1983) On log concavity for order-preserving and order-non-reversing maps of partial orders. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Ekanayake, Peduru Hewage Suneth Dasantha (2023) Communication-avoiding optimizations for large-scale unstructured-mesh applications with OP2. PhD thesis, University of Warwick.

Evans, Richard Anthony (1988) Self-organising techniques for tolerating faults in 2-dimensional processor arrays. PhD thesis, University of Warwick.

Fang, Zheng (2023) Topic modelling for computational grounded theory. PhD thesis, University of Warwick.

Feng, Ruiqing (2022) Exploring the impact of health and lifestyle factors on brain function in humans : insights from large-scale neuroimaging data. PhD thesis, University of Warwick.

Flores Armas, Denys (2019) Theory and practice of proactive database forensics. PhD thesis, University of Warwick.

Fasoulakis, Michail (2017) Computing approximate Nash equilibria. PhD thesis, University of Warwick.

Franks, Henry P. W. (2013) Supporting cooperation and coordination in open multi-agent systems. PhD thesis, University of Warwick.

Foss, Jonathan G. K. (2012) Manual and automatic authoring for adaptive hypermedia. PhD thesis, University of Warwick.

Fearnley, John (2010) Strategy iteration algorithms for games and Markov decision processes. PhD thesis, University of Warwick.

Foley, Brian Patrick (2009) Addressing concerns in performance prediction : the impact of data dependencies and denormal arithmetic in scientific codes. PhD thesis, University of Warwick.

Forrest, Michael (2008) Biophysics of Purkinje computation. PhD thesis, University of Warwick.

Farkas, Monica , Beynon, Meurig and Yung, Yun Pui (1993) Agent-oriented modelling for a billiards simulation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ferreira, W. , Hill, M. R. and Joseph, Mathai (1992) Automated timing analysis of real-time programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Fischer, Michael J. and Paterson, Michael S. (1992) Fishspear : a priority queue algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Francis, Nicholas David (1991) Parallel architectures for image analysis. PhD thesis, University of Warwick.

Faustini, Antony Azio (1982) The equivalence of an operational and a denotational semantics for pure dataflow. PhD thesis, University of Warwick.

Faustini, A. A. (1981) An operations semantics for pure dataflow. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Grosso, Jasmine (2021) Reliable many-to-many routing in wireless sensor networks using ant colony optimisation. PhD thesis, University of Warwick.

Gupta, Neha (2018) Exploring happiness indicators in cities and industrial sectors using Twitter and Urban GIS data. PhD thesis, University of Warwick.

Gu, Chen (2018) Source location privacy in wireless sensor networks under practical scenarios : routing protocols, parameterisations and trade-offs. PhD thesis, University of Warwick.

Gu, Zhuoer (2017) Mining previously unknown patterns in time series data. PhD thesis, University of Warwick.

Guan, Xin (2017) On reducing the data sparsity in collaborative filtering recommender systems. PhD thesis, University of Warwick.

Gkiokas, Alexandros (2016) Imitation learning in artificial intelligence. PhD thesis, University of Warwick.

Gurumdimma, Nentawe (2016) Towards efficient error detection in large-scale HPC systems. PhD thesis, University of Warwick.

Gao, Bo (2015) Developing energy-aware workload offloading frameworks in mobile cloud computing. PhD thesis, University of Warwick.

Guan, Yu (2015) Covariate-invariant gait recognition using random subspace method and its extensions. PhD thesis, University of Warwick.

Ge, Tian (2013) Some novel models and methods for neuroimaging data analysis. PhD thesis, University of Warwick.

Ghali, Fawaz (2010) Social personalized e-learning framework. PhD thesis, University of Warwick.

Gay, S. J. , Nagarajan, Rajagopal and Papanikolaou, N. K. (2007) QMC : a model checker for quantum systems. University of Warwick. Department of Computer Science. (Unpublished)

Griffiths, Nathan and Chao, Kuo-Ming (2004) Experience-based trust : enabling effective resource selection in a grid environment. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Griffiths, Nathan (2004) Task delegation using experience-based multi-dimensional trust. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Goldberg, Leslie Ann , Jerrum, Mark and Paterson, Michael S. (2001) The computational complexity of two-state spin systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Paul W. (2000) When can two unsupervised learners achieve PAC separation? University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Griffiths, Nathan (2000) Motivated cooperation in autonomous agents. PhD thesis, University of Warwick.

Goldberg, Leslie Ann , Jerrum, Mark , Kannan, Sampath and Paterson, Michael S. (2000) A bound on the capacity of backoff and acknowledgement-based protocols. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and Jerrum, Mark (1999) Counting unlabelled subtrees of a tree is #P-complete. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Paul W. (1999) Learning fixed-dimension linear thresholds from fragmented data. University of Warwick. Department of Computer Science. (Computer science research report). (Unpublished)

Goldberg, Leslie Ann (1999) Randomly sampling unlabelled structures. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and Jerrum, Mark (1998) The 'Burnside process' converges slowly. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann , MacKenzie, Phil , Paterson, Michael S. and Srinavasan, Aravind (1998) Contention resolution with constant expected delay. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and MacKenzie, Phil (1997) Contention resolution with guaranteed constant expected delay. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Giridhar, P. , Kumar, Vinod and Joseph, Mathai (1997) The mine pump problem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann , Paterson, Michael S. , Srinavasan, Aravind and Sweedyk, Elizabeth (1996) Better approximation guarantees for job-shop scheduling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann and Jerrum, Mark (1996) Randomly sampling molecules. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann , Goldberg, Paul W. , Phillips, Cynthia A. and Sorking, Gregory B. (1996) Constructing computer virus phylogenies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goldberg, Leslie Ann , Hart, W. E. and Wilson, D. B. (1996) Learning foraging thresholds for lizards. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gent, Ian (1993) Analytic proof systems for classical and modal logics of restricted quantification. PhD thesis, University of Warwick.

Gibbons, Alan (Alan M.) (1992) A tutorial introduction to distributed memory models of parallel computation. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Paterson, Michael S. (1992) Dense edge-disjoint embedding of binary trees in the mesh. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goh, Wooi Boon and Martin, Graham R. (1991) Deriving optical flow in noisy image sequences. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gent, Ian (1991) Finding problems in knowledge bases using modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gent, Ian and Cohn, A. G. (1991) Reasoning about hybrid reasoning : a discussion. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gent, Ian (1990) A sequent system for Lewis's counterfactual logic VC. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gibbons, Alan (Alan M.) and Ziani, R. (1990) The balanced binary tree technique on mesh connected computers. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1989) Optimally edge-colouring outerplanar graphs is in NC. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) (1988) Dynamic expression evaluation in one of a class of problems which are efficiently solvable on mesh-connected computers. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Goswami, Asis and Joseph, Mathai (1988) A semantic model for the specification of real-time processes. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gibbons, Alan (Alan M.) , Israeli, Amos and Rytter, Wojciech (1987) Parallel O(log(n)) time edge-colouring of trees and Halin graphs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1987) Observations on the disjointness problem for rational subsets of free partially commutative monoids. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) Fast parallel algorithms for vertex and edge colouring of Halin graphs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) On the decidability of some problems about rational subsets of free partially commutative monoids. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) A fast parallel algorithm for optimal edge-colouring of outerplanar graphs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1986) An optimal parallel algorithm for dynamic expression evaluation and its applications. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Golshani, Forouzan (1982) Varqa : A functional query language based on an algebraic approach and conventional mathematical notation. PhD thesis, University of Warwick.

Haldar, Aparajita (2022) Hypergraph-based optimisations for scalable graph analytics and learning. PhD thesis, University of Warwick.

Hickey, Christopher J. A. (2021) Streaming interactive proofs. PhD thesis, University of Warwick.

Houlden, Victoria (2019) Bringing cities to life: The relationship between urban greenspace and mental wellbeing. PhD thesis, University of Warwick.

Herdman, Andy (2017) The readying of applications for heterogeneous computing. PhD thesis, University of Warwick.

Hadzidedic, Suncica (2017) Introducing emotion-based personalisation to cancer websites : the impact of emotions on website personalisation and reuse intentions. PhD thesis, University of Warwick.

Hendrix, Maurice (2010) Supporting authoring of adaptive hypermedia. PhD thesis, University of Warwick.

Harfield, Antony (2007) Empirical modelling as a new paradigm for educational technology. PhD thesis, University of Warwick.

Heng, PeyShan , Joy, Mike , Boyatt, Russell and Griffiths, Nathan (2005) Evaluation of the BOSS online submission and assessment system. University of Warwick. Department of Computer Science. (Computer Science Research Report). (Unpublished)

Hseu, Hsing-Wen , Bhalerao, Abhir and Wilson, Roland (1999) Image matching based on the co-occurrence matrix. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Harper, J. S. , Kerbyson, D. J. and Nudd, G. R. (1998) Analytical modeling of set-associative cache behaviour. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Harper, J. S. , Kerbyson, D. J. and Nudd, G. R. (1997) Predicting the cache miss ratio of loop-nested array references. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hamilton, Ross (1997) Continuous path : the evolution of process control technologies in post-war Britain. PhD thesis, University of Warwick.

Hogan, Jer (1997) An analysis of OO software metrics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hoek, W. van der (Wiebe) and Rijke, Maarten de (1996) Interleaved contractions. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hsu, Tao-I and Wilson, Roland (1995) A two-component model of texture for analysis and synthesis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hovsepian, Felix (1992) A metalogical analysis of vagueness : an exploratory study into the geometry of logic. PhD thesis, University of Warwick.

Hsu, Tao-I , Calway, Andrew David and Wilson, Roland (1992) Analysis of structured texture using the multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Howarth, Rolf M. and Francis, Nick D. (1988) Cluster programming language definition and user manual. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Howarth, Rolf M. (1987) A heterogeneous pyramid array architecture for image understanding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Hitchcock, Peter (1974) An approach to formal reasoning about programs. PhD thesis, University of Warwick.

Iranmanesh, Sima (2023) Efficient similarity assessment techniques for large-scale networks. PhD thesis, University of Warwick.

Ibrahim Teo, Noor Hasimah (2019) Ontologies for automatic question generation. PhD thesis, University of Warwick.

Ismail, Amirah (2009) A metametadata framework to support semantic searching of pedagogic data. PhD thesis, University of Warwick.

Iliopoulos, C. S. (1983) Computational problems in the theory of Abelian groups. PhD thesis, University of Warwick.

Iliopoulos, C. S. (Costas S.) (1982) On the computation of the structure of an Abelian group represented by a set of defining relations. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Iliopoulos, C. S. (Costas S.) (1982) Composition and characters of binary quadratic forms. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Iliopoulos, C. S. (Costas S.) (1981) Algorithms in the theory of integral binary quadratic forms. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Johnson, Nicholas E. (2018) Studies in urban informatics: tools and techniques to explore socio-ecological urban systems. PhD thesis, University of Warwick.

Jia, Ning (2016) View-invariant feature selector and its application on gait recognition. PhD thesis, University of Warwick.

Jantjies, Mmaki (2014) A framework to support multilingual mobile learning : a South African perspective. PhD thesis, University of Warwick.

Jarvis, Stephen A. and Nudd, G. R. (2004) Review of the e-science demonstrators and their compatibility with the Warwick middleware project. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Jarvis, Stephen A. , He, Ligang , Spooner, Daniel P. and Nudd, G. R. (2004) The impact of predictive inaccuracies on execution scheduling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A. , Hill, J. M. D. , Siniolakis, C. and Vasilev, V. P. (2001) Portable and architecture independent parallel performance tuning. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A. , Mirsky, Jason S. , Peden, John F. and Saunders, Nigel J. (2000) Finding secret messages in DNA microdots. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Jarvis, Stephen A. , Mirsky, Jason S. , Peden, John F. and Saunders, Nigel J. (2000) Identification of horizontally acquired DNA using genome signature analysis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Janowski, Tomasz and Joseph, Mathai (1996) Dynamic scheduling in the presence of faults : specification and verification. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Janowski, Tomasz (1994) Fault-tolerant bisimulation and process transformations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Janowski, Tomasz (1994) Stepwise transformations for fault-tolerant design of CCS processes. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joy, Mike (1993) Ginger : a simple functional language. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joy, Mike and Axford, Tom (1992) Parallel combinator reduction : some performance bounds. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joy, Mike and Axford, Tom (1990) GCODE : a revised standard for a graph representation for functional programs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike (1989) The translation of high-Level functional languages to FLIC. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joseph, Mathai and Goswami, Asis (1989) Relating computation and time. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joseph, Mathai and Goswami, Asis (1988) Formal description of real-time systems : a review. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joseph, Mathai and Goswami, Asis (1988) What's 'real' about real-time systems? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joseph, Mathai (1988) Software engineering : theory, experiment, practice or performance. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Joseph, Mathai and Pandya, Paritosh K. (1987) Specification and verification of total correctness of distributed programs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike and Rayward-Smith, V. J. (1987) NP-Completeness of a combinator optimisation problem. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Joy, Mike and Axford, Tom (1987) A standard for a graph representation for functional programs. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Kamalakkannan, Kamalavasan (2023) High-level FPGA accelerator design for structured-mesh-based numerical solvers. PhD thesis, University of Warwick.

Klemmer, Konstantin (2022) Improving neural networks for geospatial applications with geographic context embeddings. PhD thesis, University of Warwick.

Kenny, Melissa (2020) Planning in practice for resilience and climate change in extreme and extreme-ing urban environments. PhD thesis, University of Warwick.

Koohbanani, Navid Alemi (2020) Working with scarce annotations in computational pathology. PhD thesis, University of Warwick.

Kirk, Richard Oliver (2020) Data structure abstraction and parallelisation of multi-material hydrodynamic applications. PhD thesis, University of Warwick.

Kulkarni, Tejas (2019) Efficient estimation of statistical functions while preserving client-side privacy. PhD thesis, University of Warwick.

Kirton, Jack (2019) Source location privacy-aware data aggregation scheduling for wireless sensor networks. PhD thesis, University of Warwick.

Kochkina, Elena (2019) Rumour stance and veracity classification in social media conversations. PhD thesis, University of Warwick.

Khan, Javed Arif (2018) A visual adaptive authoring framework for adaptive hypermedia. PhD thesis, University of Warwick.

Khadidos, Alaa (2016) Medical image segmentation using edge-based active contours. PhD thesis, University of Warwick.

Khan, Adnan M. (2014) Algorithms for breast cancer grading in digital histopathology images. PhD thesis, University of Warwick.

Krishna, Ritesh V. (2009) From gene-expressions to pathways. PhD thesis, University of Warwick.

Krishna, Ritesh V. (2005) Derivation of process algebraic models of biochemical systems. MSc thesis, University of Warwick.

Krokhin, Andrei and Larose, Benoit (2004) Maximum constraint satisfaction on diamonds. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Katugampala, Nilantha and Wilson, Roland (2003) Parameter estimation of two dimensional component Gaussian mixtures. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Klasing, Ralf (1998) Improved compressions of cube-connected cycles networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Klasing, Ralf (1998) Methods and problems of wavelength-routing in all-optical networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Khanna, Sanjeev , Muthukrishnan, S. and Paterson, Michael S. (1998) On approximating rectangle tiling and packing. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kurtonina, Natasha and Rijke, Maarten de (1997) Expressiveness of first-order description logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kurtonina, Natasha and Rijke, Maarten de (1996) Directed simulations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

King, Andrew and Wilson, Roland (1993) Multiresolution image analysis based on local symmetries. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Koizumi, Hirotaka , Maruoka, Akira and Paterson, Michael S. (1993) Consistency of natural relations on sets. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Kerbyson, Darren James (1992) A multiple-SIMD architecture for image and tracking analysis. PhD thesis, University of Warwick.

Kanda, Akira (1980) Effective solutions of recursive domain equations. PhD thesis, University of Warwick.

Kanda, Akira and Park, David (1979) When are two effectively given domains identical? University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Kanda, Akira (1977) Data types as effective objects. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Kestner, Simon (1974) The information rate and other parameters of probabilistic context free grammars and their parsers. PhD thesis, University of Warwick.

Lisowski, Grzegorz (2022) An algorithmic analysis of deliberation and representation in collective behaviour. PhD thesis, University of Warwick.

Luo, Man (2021) Deep spatio-temporal learning for dynamic urban shared mobility systems. PhD thesis, University of Warwick.

Li, Junyu (2020) Accelerating the processing of deep neural networks. PhD thesis, University of Warwick.

Lin, Shan (2019) Scalable deep feature learning for person re-identification. PhD thesis, University of Warwick.

Li, Anthony Zhenyu (2019) An elastic, parallel and distributed computing architecture for machine learning. PhD thesis, University of Warwick.

Leyva, Roberto (2018) Online video analysis for abnormal event detection and action recognition. PhD thesis, University of Warwick.

Law, Timothy R. (2017) An algorithm for computing short-range forces in molecular dynamics simulations with non-uniform particle densities. PhD thesis, University of Warwick.

Lin, Xufeng (2016) Digital image forensics based on sensor pattern noise. PhD thesis, University of Warwick.

Li, Guannan (2016) Locality sensitive modelling approach for object detection, tracking and segmentation in biomedical images. PhD thesis, University of Warwick.

Li, Ruizhe (2016) Learning based forensic techniques for source camera identification. PhD thesis, University of Warwick.

Lu, Xin (Researcher in Computer science) (2013) Efficient algorithms for scalable video coding. PhD thesis, University of Warwick.

Landia, Nikolas (2013) Content-awareness and graph-based ranking for tag recommendation in folksonomies. PhD thesis, University of Warwick.

Liu, Shuangyan (2012) Intelligent support for group work in collaborative learning environments. PhD thesis, University of Warwick.

Li, Chang-Tsun and Yuan, Xiang (2012) Indexing images of buildings based on geometrical invariant Hough descriptors. University of Warwick. Department of Computer Science. (Department of Computer Science Technical report). (Unpublished)

Leeke, Matthew (2011) Towards the design of efficient error detection mechanisms. PhD thesis, University of Warwick.

Lim Choi Keung, Sarah Niukyun (2011) Trust-based social mechanism to counter deceptive behaviour. PhD thesis, University of Warwick.

Li, Tao (2010) Relational clustering models for knowledge discovery and recommender systems. PhD thesis, University of Warwick.

Li, Yue (2009) Digital image authentication. PhD thesis, University of Warwick.

Li, Chang-Tsun and Wilson, Roland (2007) Unsupervised learning and clustering using a random field approach. University of Warwick. Department of Computer Science. (Unpublished)

Lim Choi Keung, Hélène Niuklan (2006) Self-adaptive Grid Resource Monitoring and discovery. PhD thesis, University of Warwick.

Lai, W. H. and Li, Chang-Tsun (2005) Detecting faces in color images. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Lazic, Ranko , Newcomb, Tom and Roscoe, A. W. (2004) On model checking data-independent systems with arrays with whole-array operations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko , Newcomb, Tom and Roscoe, A. W. (2004) Polymorphic systems with arrays : decidability and undecidability. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Li, Chang-Tsun (2004) Reversible watermarking scheme with image-independent embedding capacity. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lazic, Ranko and Nowak, David (2003) On a semantic definition of data independence. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Levy, Ian Karl (1998) Self-similarity and wavelet forms for the compression of still image and video data. PhD thesis, University of Warwick.

Li, Chang-Tsun (1998) Unsupervised texture segmentation using multiresolution Markov random fields. PhD thesis, University of Warwick.

Li, Chang-Tsun and Wilson, Roland (1997) Textured image segmentation using multiresolution Markov random fields and a two-component texture model. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Levy, Ian Karl and Wilson, Roland (1996) Advances in predictive wavelet transform image coding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Li, Chang-Tsun and Wilson, Roland (1995) Image segmentation using multiresolution Fourier transform. University of Warwick. Department of Computer Science. (Department of Computer Science research report).

Levy, Ian Karl and Wilson, Roland (1995) A hybrid fractal-wavelet transform image data compression algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Luck, Michael (Michael M.) and d'Inverno, Mark (1994) Agency and autonomy : a formal framework. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Liu, Zhiming , Ravn, Anders P. , Sørensen, Erling V. and Zhou, Chaochen (1992) Towards a calculus of systems dependability. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Liu, Zhiming , Ravn, Anders P. , Sørensen, Erling V. and Zhou, Chaochen (1992) A probabilistic duration calculus. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Liu, Zhiming and Joseph, Mathai (1992) A transformational approach to specifying recovery in asynchronous communicating systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Langley, K. , Fleet, David J. and Atherton, T. J. (1991) An instantaneous frequency-based computation of transparent motion. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Liu, Zhiming and Joseph, Mathai (1990) Transformation of programs for fault-tolerance. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Langley, Keith (1990) Phase relationships in stereoscopic computation. PhD thesis, University of Warwick.

Lord, Andrew M. (1989) Computer system dependability : an introduction. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Liu, Zhiming (1989) Modelling checkpointing and recovery within UNITY. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Liu, Zhiming (1989) A semantic model for UNITY. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Langley, K. (1988) Phase shifts from Gabor filters. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Lehmann, Daniel and Smyth, M. B. (1977) Data types. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Lehmann, Daniel (1977) Modes in Algol Y. University of Warwick. Department of Computer Science. (Unpublished)

Lehmann, Daniel (1976) Categories for fixpoint semantics. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Lehmann, Daniel (1976) Algebraic structures for transitive closure. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Lehmann, Daniel (1976) Categories for fixpoint semantics. PhD thesis, University of Warwick.

Mazzamurro, Matteo (2022) Structure, entropy and evolution of systems of cities. PhD thesis, University of Warwick.

McKay, Helen (2022) Online transfer learning for concept drifting data streams. PhD thesis, University of Warwick.

Maray, Mohammed Mufareh A. (2021) Efficient computational offloading of dependent tasks in mobile edge networks. PhD thesis, University of Warwick.

Ma, Qingzhi (2021) Approximate query processing using machine learning. PhD thesis, University of Warwick.

Muir, Corinne Gwen (2021) Biodiversity and amenity in urban parks and greenspaces. PhD thesis, University of Warwick.

Mirza, O. M. (2018) Style analysis for source code plagiarism detection. PhD thesis, University of Warwick.

Marchant, James M. (2017) Convention emergence and destabilisation in multi-agent systems. PhD thesis, University of Warwick.

Mallinson, Andrew C. (2016) Evaluating technologies and techniques for transitioning hydrodynamics applications to future generations of supercomputers. PhD thesis, University of Warwick.

Matsakis, Nicolaos (2015) Approximation algorithms for packing and buffering problems. PhD thesis, University of Warwick.

Mach, Lukáš (2015) Parameterized complexity : permutation patterns, graph arrangements, and matroid parameters. PhD thesis, University of Warwick.

Masood, Khalid (2010) Histological image analysis and gland modelling for biopsy classification. PhD thesis, University of Warwick.

Mudalige, Gihan R. (2009) Predictive analysis and optimisation of pipelined wavefront applications using reusable analytic models. PhD thesis, University of Warwick.

Masood, Khalid and Rajpoot, Nasir M. (Nasir Mahmood) (2006) Hyperspectral colon biopsy classification into normal and malignant categories. University of Warwick. Department of Computer Science. (Unpublished)

Maad, Soha (2002) An empirical modelling approach to software system development in finance : applications and prospects. PhD thesis, University of Warwick.

Meehan, Gary (1998) The Aladin abstract machine. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Marx, Maarten and Areces, Carlos (1997) Failure of interpolation in combined modal logics. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Meehan, Gary (1997) Compiling functional programs to Java byte-code. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Meehan, Gary (1997) Fuzzy functional programming. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Meulemans, P. R. and Wilson, Roland (1995) Feature extraction for very low bit rate video coding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Miltersen, Peter Bro , Paterson, Michael S. and Tarui, Jun (1995) The asymptotic complexity of merging networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Miltersen, Peter Bro (1994) On the cell probe complexity of polynomial evaluation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Miltersen, Peter Bro (1993) Lower bounds for union-split-find related problems on random access machines. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, Stephen G. (1992) The cycle contraction mapping theorem. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, Stephen G. (1992) The topology of partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, Stephen G. (1992) Partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, Stephen G. (1991) Adding second order functions to Kahn data flow. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Moitra, Abha and Joseph, Mathai (1991) Determining timing properties of infinite real-time programs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

McColl, Roderick William (1991) Colour image quantisation and coding for optimal perception. PhD thesis, University of Warwick.

Matthews, Stephen G. (1990) Notes on separability in metric sets. Coventry, UK: Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

McColl, R. W. and Martin, Graham R. (1989) Texture analysis and synthesis. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

McColl, William Finlay and Paterson, Michael S. (1988) Planar acyclic computation. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

McColl, R. W. and Martin, Graham R. (1987) Quantisation of digitised colour images. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Matthews, Stephen G. (1985) Metric domains for completeness. PhD thesis, University of Warwick.

Martin, G. N. N. (1979) Spiral storage : incrementally augmentable hash addressed storage. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Munro, J. Ian and Paterson, Michael S. (1978) Selection and sorting with limited storage. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

McColl, William Finlay (1977) Some results on circuit depth. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

McColl, William Finlay (1976) Some results on circuit depth. PhD thesis, University of Warwick.

McColl, William Finlay and Paterson, Michael S. (1975) The depth of all Boolean functions. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Nurse, Jason R. C. (2010) A business-oriented framework for enhancing web services security for e-business. PhD thesis, University of Warwick.

Ng, Chee Un and Martin, Graham R. (2002) Content-description interfaces for medical imaging. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Ng, Chee Un and Martin, Graham R. (2001) Content-description interfaces for medical imaging. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ness, Paul Edward (1997) Creative software development: an empirical modelling framework. PhD thesis, University of Warwick.

Naik, Yogesh (1993) A temporal logic for the specification and verification of real-time systems. PhD thesis, University of Warwick.

Novak, Ladislav and Gibbons, Alan (1992) Hybrid bases in graphs. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Naik, Yogesh (1991) A temporal approach to requirements specification of real-time systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Novak, Ladislav and Gibbons, Alan (1989) Double independent subsets of a graph. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Novak, Ladislav and Gibbons, Alan (1989) On perfect pairs of trees in a graph. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Owenson, A. M. B (2020) Towards the use of mini-applications in performance prediction and optimisation of production codes. PhD thesis, University of Warwick.

Onah, Daniel F. O. (2017) Investigating self-regulated learning in massive open online courses : a design science research approach. PhD thesis, University of Warwick.

O'Neill, Simon John (1998) A fundamental study into the theory and application of the partial metric spaces. PhD thesis, University of Warwick.

O'Neill, Simon (1995) Two topologies are better than one. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Powell, Archie (2023) Predictive analysis and optimization of large-scale coupled multi-physics simulations using mini-apps. PhD thesis, University of Warwick.

Pocock, Johnathan (2023) Tools for conversion, analysis, and annotation of histology images. PhD thesis, University of Warwick.

Perera, Shanaka (2022) A Bayesian spatial interaction framework for optimal facility location in urban environments. PhD thesis, University of Warwick.

Peinelt, Nicole (2021) Detecting semantic similarity : biases, evaluation and models. PhD thesis, University of Warwick.

Pergola, Gabriele (2020) Probabilistic neural topic models for text understanding. PhD thesis, University of Warwick.

Purser, David (2020) On the complexity of verifying differential privacy. PhD thesis, University of Warwick.

Pitidis, Evangelos (2019) Putting urban resilience into action: a longitudinal study of resilience thinking implementation in Thessaloniki, Greece. PhD thesis, University of Warwick.

Player, Caroline (2019) Trust assessment in the context of unrepresentative information. PhD thesis, University of Warwick.

Prangnell, Lee (2017) Visually lossless coding for the HEVC standard : efficient perceptual quantisation contributions for HEVC. PhD thesis, University of Warwick.

Poloczek, Felix (2016) Stochastic network calculus with martingales. PhD thesis, University of Warwick.

Perks, O. F. J. (2013) Addressing parallel application memory consumption. PhD thesis, University of Warwick.

Pennycook, Simon J. (2012) Evaluating the performance of legacy applications on emerging parallel architectures. PhD thesis, University of Warwick.

Pope, N. W. (2011) Supporting the migration from construal to program : rethinking software development. PhD thesis, University of Warwick.

Pope, N. W. and Beynon, Meurig (2011) Cadence and the empirical modelling conceptual framework : a new perspective on modelling state-as-experienced. University of Warwick. Department of Computer Science. (Unpublished)

Papanikolaou, Nikolaos K. (2009) Model checking quantum protocols. PhD thesis, University of Warwick.

Palmer, Nicholas James (2008) Pattern classification via unsupervised learners. PhD thesis, University of Warwick.

Park, Heechan (2007) Affine symmetry and applications in image processing. University of Warwick. Department of Computer Science. (Unpublished)

Park, Heechan and Martin, Graham R. (2005) Video compression : wavelet based coding and texture synthesis based coding. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Palmer, N. and Goldberg, Paul W. (2004) PAC classification based on PAC estimates of label class distributions. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Papanikolaou, Nikolaos K. (2004) Techniques for design and validation of quantum protocols. MSc thesis, University of Warwick.

Perry, S. C. , Harper, J. S. , Kerbyson, D. J. and Nudd, G. R. (1999) Theory and operation of the Warwick multiprocessor scheduling (MS) system. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papaefstathiou, E. , Kerbyson, D. J. , Nudd, G. R. , Atherton, T. J. and Harper, J. S. (1997) An introduction to the layered characterisation for high performance systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Philippou, Anna (1996) Reasoning about systems with evolving structure. PhD thesis, University of Warwick.

Pu, Ida Mengyi and Gibbons, Alan (Alan M.) (1996) Matricial space-economy with constant access-time. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. and Srinavasan, Aravind (1995) Contention resolution with bounded delay. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papaefstathiou, E. , Kerbyson, D. J. , Nudd, G. R. and Atherton, T. J. (1995) An introduction to the CHIP3S language for characterising parallel systems in performance studies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. and Przytycka, Teresa (1995) On the complexity of string folding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papaefstathiou, E. , Kerbyson, D. J. , Nudd, G. R. and Atherton, T. J. (1994) An analysis of processor resource models for use in performance prediction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papaefstathiou, E. , Kerbyson, D. J. and Nudd, G. R. (1994) A layered approach to parallel software performance prediction : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. (1993) Computer science seminars 1992/93. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Papaefstathiou, E. , Papay, J. , Nudd, G. R. , Atherton, T. J. , Clarke, C. T. , Kerbyson, D. J. , Stratton, A. , Ziani, R. and Zemerly, M. J. (1993) A layered approach to modelling parallel systems for performance prediction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Peled, Doron (1992) Sometimes 'some' is as good as 'all'. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Zwick, Uri (1992) Shallow multiplication circuits and wise financial investments. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Pearson, Edward R. S. (1991) The multiresolution Fourier transform and its application to polyphonic audio analysis. PhD thesis, University of Warwick.

Paterson, Michael S. and Zwick, Uri (1991) Shrinkage of de Morgan formulae under restriction. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. and Zwick, Uri (1990) Shallow multiplication circuits. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. , Pippenger, Nicholas and Zwick, Uri (1990) Optimal carry save networks. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Yao, F. Frances (1990) Optimal binary space partitions for orthogonal objects. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Zwick, Uri (1990) Improved circuits and formulae for multiple addition, multiplication and symmetric Boolean functions. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Peyton-Jones, S. L. and Joy, Mike (1990) FLIC - a functional language intermediate code. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Yao, F. Frances (1989) Binary partitions with applications to hidden-surface removal and solid modelling. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Paterson, Michael S. and Razborov, Alexander (1988) The set of minimal braids is co-NP-complete. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Paterson, Michael S. (1987) Improved sorting networks with O(log n) depth. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Packwood, Roger Andrew (1986) Progressive transmission and display of static images. PhD thesis, University of Warwick.

Paterson, Michael S. (1986) Universal chains and wiring layouts. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Parberry, Ian (1984) A complexity theory of parallel computation. PhD thesis, University of Warwick.

Park, David (1983) Essential and ephemeral knowledge : the culture and education of computer specialists. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Parberry, Ian (1983) On the power of parallel machines with high-arity instruction sets. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Parberry, Ian and Goldschlager, L. (1983) On the construction of parallel computers from various bases of Boolean functions. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Pilgram, Paul Theo (1983) Translating lucid data flow into message passing actors. PhD thesis, University of Warwick.

Park, David (1981) Concurrency and automata on infinite sequences. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Paterson, Michael S. (1976) New bounds for formula size. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Park, David (1976) The Y-combinator in Scott's lambda-calculus models. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Paterson, Michael S. (1974) Complexity of monotone networks for Boolean matrix product. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Park, David (1974) Finiteness is mu-ineffable. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Quqandi, Ebtehal (2021) The role of mobile AR in facilitating nursing independent learning : the student experience. PhD thesis, University of Warwick.

Qazi, Farrukh (2020) Automating SLA enforcement in the cloud computing. PhD thesis, University of Warwick.

Quan, Yijun (2020) Photo response non-uniformity based image forensics in the presence of challenging factors. PhD thesis, University of Warwick.

Qaiser, Talha (2019) Topology and attention in computational pathology. PhD thesis, University of Warwick.

Qahmash, Ayman (2018) Towards a model of giftedness in programming: an investigation of programming characteristics of gifted students at University of Warwick. PhD thesis, University of Warwick.

Qaffas, Alaa (2016) Lightweight adaptive personalised e-advertising. PhD thesis, University of Warwick.

Qureshi, Hammad A. (2009) Meningioma classification using an adaptive discriminant wavelet packet transform. PhD thesis, University of Warwick.

Qu, Hongyang (2005) Theoretical and practical tools for validating discrete and real-time systems. PhD thesis, University of Warwick.

Qiang, Gu Yun (1988) A brief summary of digital image enhancement. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Roy, Debaleena (2023) Graph based transforms for block-based predictive transform coding. PhD thesis, University of Warwick.

Ravenscroft, James (2022) Natural language processing methods for detecting and measuring the impact of scientific work beyond academia. PhD thesis, University of Warwick.

Rahilly, John (2020) A green and pleasant land? An exploration of the impact associated with planning policy. PhD thesis, University of Warwick.

Rehman, Mohammed (2020) A framework for mobile learning in international contexts. PhD thesis, University of Warwick.

Ren, Shenyuan (2018) Performance-aware task scheduling in multi-core computers. PhD thesis, University of Warwick.

Roberts, Stephen I. (2017) Energy-aware performance engineering in high performance computing. PhD thesis, University of Warwick.

Robinson, Leigh (2015) Invariant object recognition : biologically plausible and machine learning approaches. PhD thesis, University of Warwick.

Raza, Shan-e-Ahmed (2014) Multi-variate image analysis for detection of biomedical anomalies. PhD thesis, University of Warwick.

Rutkowski, Michał, Ph.D. (2011) Games for optimal controller synthesis on hybrid automata. PhD thesis, University of Warwick.

Rutter, Dorian James (2005) From diversity to convergence : British computer networks and the Internet, 1970-1995. PhD thesis, University of Warwick.

Reyes-Aldasoro, Constantino Carlos (2004) Multiresolution volumetric texture segmentation. PhD thesis, University of Warwick.

Reyes-Aldasoro, Constantino Carlos (2004) A guide to co-occurrence matrix analysis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rajpoot, Nasir M. (Nasir Mahmood) (2004) Model based optimal bit allocation. University of Warwick. Department of Computer Science. (Department of Computer Science Research report). (Unpublished)

Roe, Chris P. (2003) Computers for learning : an empirical modelling perspective. PhD thesis, University of Warwick.

Reyes-Aldasoro, Constantino Carlos and Bhalerao, Abhir (2002) Classification of human knee data from magnetic resonance images. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Rawles, Simon , Joy, Mike and Evans, M. (2002) Computer-assisted assessment in computer science : issues and software. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Rasmequan, Suwanna (2001) An approach to computer-based knowledge representation for the business environment using empirical modelling. PhD thesis, University of Warwick.

Rajpoot, Nasir M. (Nasir Mahmood) (2001) Adaptive wavelet image compression. PhD thesis, University of Warwick.

Rajpoot, Nasir M. and Wilson, Roland (1998) Progressive image coding using augmented zerotrees of wavelet coefficients. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de and Kurtonina, Natasha (1996) Bisimulations for temporal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rijke, Maarten de (1996) A note on graded modal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ravindran, Somasundaram , Gibbons, Alan (Alan M.) and Paterson, Michael S. (1995) Dense edge-disjoint embedding of complete binary trees in interconnection networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ravindran, Somasundaram (1993) Aspects of practical implementations of PRAM algorithms. PhD thesis, University of Warwick.

Ryan, M. S. and Nudd, G. R. (1993) Dynamic character recognition using hidden Markov models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ryan, M. S. and Nudd, G. R. (1993) The Viterbi algorithm. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ravindran, Somasundaram and Gibbons, Alan (Alan M.) (1992) Dense edge-disjoint embedding of complete binary trees in the hypercube. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Randell, David Anthony (1991) Analysing the familiar : reasoning about space and time in the everyday world. PhD thesis, University of Warwick.

Rafter, Mark (1987) Formatted streams : extensible formatted I/O for C++ using object-oriented programming. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rytter, Wojciech (1987) On efficient parallel computations for some dynamic programming problems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rytter, Wojciech (1987) 100 exercises in the theory of automata and formal languages. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Rytter, Wojciech (1986) On the complexity of parallel parsing of general context-free languages. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Rytter, Wojciech and Giancarlo, Raffaele (1985) Optimal parallel parsing of bracket languages. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Sutton-Parker, Justin (2022) The impact of end user computing carbon footprint information on human behavioural change and greenhouse gas emission abatement. PhD thesis, University of Warwick.

Shanghooshabad, A. M. (2022) Learned joins with probabilistic graphical models. PhD thesis, University of Warwick.

Shirian, Amir (2022) Graph neural network for audio representation learning. PhD thesis, University of Warwick.

Slattery, Isabella (2022) Integrating urban development & placemaking practice to enhance quality of life : communities, consultation and constraints at the local city neighbourhood level in different global settings. PhD thesis, University of Warwick.

Styles, Olly (2021) Scalable methods for single and multi camera trajectory forecasting. PhD thesis, University of Warwick.

Steadman, Liam (2020) Reducing spatio-temporal data : methods and analysis. PhD thesis, University of Warwick.

Shaban, Muhammad (2020) Spatial context in computational pathology. PhD thesis, University of Warwick.

Shapcott, Caroline Mary (2020) Preprocessing algorithms for the digital histology of colorectal cancer. PhD thesis, University of Warwick.

Song, Tzu-Hsi (2017) Algorithms for the analysis of bone marrow cancer histology images. PhD thesis, University of Warwick.

Shonola, Shaibu A. (2017) Mobile learning security in Nigeria. PhD thesis, University of Warwick.

Sayyid, Faiz (2016) Computational models of morphology's effects on cellular dynamics. PhD thesis, University of Warwick.

Sajjacholapunt, Petch (2016) Enhancing online course materials for self-revision in higher education. PhD thesis, University of Warwick.

Sirinukunwattana, Korsuk (2016) Towards a quantitative analysis of cancer tissue morphology. PhD thesis, University of Warwick.

Saginbekov, Sain (2014) Efficient and reliable data dissemination and convergecast in Wireless Sensor Networks. PhD thesis, University of Warwick.

Shi, Lei (2014) Scaffolding for social personalised adaptive e-learning. PhD thesis, University of Warwick.

Scotton, Joshua D. (2013) Supporting delivery of adaptive hypermedia. PhD thesis, University of Warwick.

Sitthiworachart, Jirarat (2005) An investigation into novel software tools for enhancing students' higher cognitive skills in computer programming. PhD thesis, University of Warwick.

Sun, Pi-Hwa , Russ, Steve , Chen, Y. C. and Beynon, Meurig (1999) Cultivating requirements in a situated requirements engineering process. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Sun, Pi-Hwa (1999) Distributed empirical modelling and its application to software system development. PhD thesis, University of Warwick.

Steliaros, M.K. , Martin, Graham R. and Packwood, R. A. (1997) Parallelisation of block matching motion estimation algorithms. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Scott, Hugh R.R. (1995) Multiresolution techniques for audio signal restoration. PhD thesis, University of Warwick.

Shuttleworth, T. and Wilson, Roland (1993) Note recognition in polyphonic music using neural networks. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Scott, Hugh and Wilson, Roland (1992) A comparison of filters for audio signal segmentation in audio restoration. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Saward, Guy R.E.S. (1991) Interpreted dependency networks : a general framework for belief revision. PhD thesis, University of Warwick.

Steer, Barry (1985) Navigation for the guidance of a mobile robot. PhD thesis, University of Warwick.

Shamir, Adi and Wadge, William W. (1977) Data types as objects. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Smyth, M. B. (Michael B.) (1976) Category-theoretic solution of recursive domain equations. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Smyth, M. B. (Michael B.) (1976) Powerdomains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Smyth, M. B. (Michael B.) (1975) Effectively giving domains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Thiarai, Malkiat (2020) A study of the challenges and capability of the re-use of social care data. PhD thesis, University of Warwick.

Tkachenko, Nataliya (2019) Using semantic drift on social media for event detection, differentiation and segmentation. PhD thesis, University of Warwick.

Tsakalidis, Adam (2018) Nowcasting user behaviour with social media and smart devices on a longitudinal basis: from macro- to micro-level modelling. PhD thesis, University of Warwick.

Thomason, Alasdair (2017) Predicting context and locations from geospatial trajectories. PhD thesis, University of Warwick.

Trahearn, Nicholas (2017) Registration and multi-immunohistochemical analysis of whole slide images of serial tissue sections. PhD thesis, University of Warwick.

Tan, Wilson M. (2016) Noise-sensing energy-harvesting wireless sensor network nodes. PhD thesis, University of Warwick.

Taylor, Phillip M. (2015) Data mining of vehicle telemetry data. PhD thesis, University of Warwick.

Toor, Saba K. (2015) A pedagogical framework for enhancing skills of references and citations. PhD thesis, University of Warwick.

Trivedi, Ashutosh (2009) Competitive optimisation on timed automata. PhD thesis, University of Warwick.

Turner, James David (2003) A dynamic prediction and monitoring framework for distributed applications. PhD thesis, University of Warwick.

Turner, James D. , Lopez-Hernandez, R. , Kerbyson, D. J. and Nudd, G. R. (2003) Performance optimisation of a lossless compression algorithm using the PACE toolkit. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Todd, Martin Peter (1989) Image data compression based on a multiresolution signal model. PhD thesis, University of Warwick.

Thomas, J. R. and Cohn, A. G. (1989) An expert system for hollow extrusion die design. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Todd, M. and Wilson, Roland (1988) Image data compression. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Thomas, Robert F. (1987) ITS methodology for problem solving and programming. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ulbrich, Philipp (2021) Locating the sustainability and resilience multiple : a cross-scalar case study of the transformative impacts of Sustainable Development Goal 11 localisation. PhD thesis, University of Warwick.

Uzun, Ümit (1998) Towards distributed object design. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Vu, Quoc Dang (2023) Handcrafted representations for whole slide images. PhD thesis, University of Warwick.

Van Hinsbergh, James (2022) Enhancing vehicle destination prediction using latent trajectory information. PhD thesis, University of Warwick.

Valdés Amaro, Daniel Alejandro (2009) Statistical shape analysis for bio-structures : local shape modelling, techniques and applications. PhD thesis, University of Warwick.

Vaudin, John (1991) A unified programming system for a multi-paradigm parallel architecture. PhD thesis, University of Warwick.

Valiant, Leslie and Paterson, Michael S. (1975) Circuit size is nonlinear in depth. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Valiant, Leslie (1973) Decision procedures for families of deterministic pushdown automata. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Valiant, Leslie (1973) Decision procedures for families of deterministic pushdown automata. PhD thesis, University of Warwick.

Wang, Shen (2023) New authentication applications in the protection of caller ID and banknote. PhD thesis, University of Warwick.

Wu, Hao (2022) Optimizing GAN for generating high quality samples. PhD thesis, University of Warwick.

Wan, Zhuo (2021) Analysis of neuroimaging with big data to understand brain systems involved in emotion. PhD thesis, University of Warwick.

Wu, Wentai (2021) Towards efficient horizontal federated learning. PhD thesis, University of Warwick.

Wang, Haoyi (2020) Age-related facial analysis with deep learning. PhD thesis, University of Warwick.

Watson, Gregory A. (2020) People re-identification using deep appearance, feature and attribute learning. PhD thesis, University of Warwick.

Wang, Bo (2017) Macro-micro approach for mining public sociopolitical opinion from social media. PhD thesis, University of Warwick.

Wright, Steven A. (2014) Monitoring, analysis and optimisation of I/O in parallel applications. PhD thesis, University of Warwick.

Wei, Xingjie (2014) Unconstrained face recognition with occlusions. PhD thesis, University of Warwick.

Webb, Tristan J. (2013) Biologically plausible attractor networks. PhD thesis, University of Warwick.

Warburton, Richard (2010) On the generation and analysis of program transformations. PhD thesis, University of Warwick.

Wong, Peter Yung Ho (2006) An investigation in energy consumption analyses and application-level prediction techniques. MSc thesis, University of Warwick.

Wei, Chia-Hung and Li, Chang-Tsun (2006) A logistic regression approach to content-based mammogram retrieval. University of Warwick. Department of Computer Science. (Unpublished)

Wang, Li (2004) Segmentation of branching structures from medical images. PhD thesis, University of Warwick.

Wang, Li and Bhalerao, Abhir (2002) Detecting branching structures using local Gaussian models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wilson, Roland (2000) Multiresolution Gaussian mixture models : theory and applications. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wilson, Roland and Li, Chang-Tsun (1999) Multiresolution random fields and their application to image analysis. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wahab, Matthew (1998) Object code verification. PhD thesis, University of Warwick.

Wahab, Matthew (1998) Verification and abstraction of flow-graph programs with pointers and computed jumps. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Walke, Richard Lewis (1997) High sample-rate Givens rotations for recursive least squares. PhD thesis, University of Warwick.

Wahab, Matthew (1996) The semantics of TLA on the PVS theorem prover. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wilson, Roland and Knutsson, Hans (1994) Seeing things. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Walker, David (1992) Objects in the Pi-calculus. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wilson, Roland , Calway, Andrew David , Pearson, Edward R. S. and Davies, Andrew Richard (1992) An introduction to the multiresolution Fourier transform and its applications. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wong, June and Wilson, Roland (1990) Eigenvector decomposition of a multiresolution operator. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Wadge, William W. (1982) Classified algebras. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Wadge, William W. (1982) Introduction to the Baire space. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Wadge, William W. (1979) An extensional treatment of dataflow deadlock. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Wadge, William W. (1978) Away from the operations view of computer science. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Wadge, William W. (1978) Programming constructs for nonprocedural languages. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)

Welch, Peter Hugh (1974) The minimal continuous semantics of the lambda-calculus. PhD thesis, University of Warwick.

Xue, James Wen Jun (2009) Performance evaluation and resource management in enterprise systems. PhD thesis, University of Warwick.

Xu, Daoyi (1994) Texture analysis and synthesis using the multiresolution Fourier transform. PhD thesis, University of Warwick.

Yao, Ye (2016) Variability of structurally constrained and unconstrained functional connectivity in schizophrenia. PhD thesis, University of Warwick.

Yao, Yi (2014) Hand gesture recognition in uncontrolled environments. PhD thesis, University of Warwick.

Yang, Shanshan, (Researcher in computer science) (2012) An effective services framework for sharing educational resources. PhD thesis, University of Warwick.

Yau, Jane Yin-Kim (2011) A mobile context-aware learning schedule framework with Java learning objects. PhD thesis, University of Warwick.

Yau, Cheuk Yin (2011) Reusing semantic web data in authoring Wikipedia. PhD thesis, University of Warwick.

Yuan, Yinyin (2009) Statistical inference from large-scale genomic data. PhD thesis, University of Warwick.

Yao, Zhen (2007) Directional edge and texture representations for image processing. PhD thesis, University of Warwick.

Yu, Chia Woo (2007) Improved algorithms for hybrid video coding. PhD thesis, University of Warwick.

Yu, Andy C. (2006) Improved schemes for multi-mode coding in the H.264/AVC standard and simplified Lagrangian evaluation for video coding. University of Warwick. Department of Computer Science. (Unpublished)

Yu, Andy C. (2004) Efficient intra- and inter-mode selection algorithms for H.264/AVC. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Yang, Horng-Chang (1994) Multiresolution neural networks for image edge detection and restoration. PhD thesis, University of Warwick.

Yung, Simon Yun Pui (1992) Definitive programming : a paradigm for exploratory programming. PhD thesis, University of Warwick.

Yao, F. Frances , Dobkin, David P. , Edelsbrunner, Herbert and Paterson, Michael S. (1988) Partitioning space for range queries. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Yaghi, Ali A. G. (1984) An intensional implementation technique for functional languages. PhD thesis, University of Warwick.

Yaghi, Ali A. G. (1983) The compilation of functional language into intensional logic. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)

Zhao, Runcong (2023) Probabilistic models for opinion dynamics understanding. PhD thesis, University of Warwick.

Zhu, Lixing (2023) Topic representation learning on sequential data for text understanding. PhD thesis, University of Warwick.

Zhou, Yujue (2022) Data-driven abnormal detection for utility-oriented sensor time series data. PhD thesis, University of Warwick.

Zhou, Yiwei (2017) Understanding the topics and opinions from social media content. PhD thesis, University of Warwick.

Zhang, Qiang (2017) Appearance modelling, pathology classification and evidence pinpointing for medical image analysis. PhD thesis, University of Warwick.

Zhu, Huanzhou (2016) Developing graph-based co-scheduling algorithms with GPU acceleration. PhD thesis, University of Warwick.

Zou, Cunlu (2010) Applications of Granger causality to biological data. PhD thesis, University of Warwick.

Zito, M. (1999) Randomised techniques in combinatorial algorithmics. PhD thesis, University of Warwick.

Zemerly, M. J. , Papay, J. and Nudd, G. R. (1995) Characterisation based bottleneck analysis of parallel systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J. , Papaefstathiou, E. , Atherton, T. J. , Kerbyson, D. J. and Nudd, G. R. (1993) Smart integration : a test case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J. and Papaefstathiou, E. (1993) Characterisation survey. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zemerly, M. J. , Papaefstathiou, E. , Atherton, T. J. , Kerbyson, D. J. and Nudd, G. R. (1993) Characterising computational kernels : a case study. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Zheng, Y. , Kerbyson, D. J. and Nudd, G. R. (1992) Efficient load balancing techniques for image analysis on an M-SIMD machine. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Ziani, Ridha (1992) On the implementation of P-RAM algorithms on feasible SIMD computers. PhD thesis, University of Warwick.

Zwick, Uri and Paterson, Michael S. (1991) The memory game. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

Computer Science MSc The University of Warwick

Key course facts.

Duration	1 years - Full-time
Campus	On campus - Main Site
Degree	Master of Science, MSc
Subject

Admission advice for international students

Course Description

This course is designed for technically-minded graduates with a background in computer science, mathematics, or the physical sciences.

Assessment Methods

Entry requirements / admissions, requirements for international students / english requirements.

IELTS academic test score (similar tests may be accepted as well)

Foundation / Pathway Courses
Graduate Degrees
Undergraduate Degrees Arts
Undergraduate Degrees Business, Computer and Social Studies
Undergraduate Degrees Faculty of Sciences excepting MORSE

UCAS Sponsorship Information

Minimum requirements

First Class Honours degree or a high 2: i undergraduate degree. The degree must be in Computer Science, Mathematics, Statistics, Physics, or another relevant quantitatively-focused degree.

English language requirements

You can find out more about our English language requirements. This course requires the following:

IELTS overall score of 6.5, minimum component scores not below 6.0.

International qualifications

We welcome applications from students with other internationally recognised qualifications. For more information, please visit the international entry requirements page.

Additional requirements

There are no additional entry requirements for this course

Average student cost of living in the UK

Rent	£518
Water, gas electricity, internet (at home)	£50
Supermarket shopping	£81
Clothing	£35
Eating out	£33
Alcohol	£27
Takeaways / food deliveries	£30
Going out / entertainment (excl.alcohol, food)	£24
Holidays and weekend trips	£78
Transport within city	£17
Self-care / sports	£20
Stationary / books	£13
Mobile phone / internet	£13
Cable TV / streaming	£7
Insurance	£51
Other	£95

London costs approx 34% more than average, mainly due to rent being 67% higher than average of other cities. For students staying in student halls, costs of water, gas, electricity, wifi are generally included in the rental. Students in smaller cities where accommodation is in walking/biking distance transport costs tend to be significantly smaller.

University Rankings

Positions of the university of warwick in top uk and global rankings., about the university of warwick.

The University of Warwick, often shortened to Warw, is a government funded research university situated on the outer limits of Coventry, England. With an eye on the future, Warw intends to establish itself by 2030 as one of the world’s exceptional universities, helping to transform the region, country and world for collective good by the application of research. The main campus is located between Coventry and Warwickshire on almost three square kilometres of leafy woodland.

List of 313 Bachelor and Master Courses from The University of Warwick - Course Catalogue

Student composition of The University of Warwick

Where is this programme taught.

Similar courses

University	Student satisfaction	Unemployed	Dropout	Tuition (UK)	Tuition (International)		City
University of Essex	-	0%	9%	£9250	£22750	119	Colchester	On campus Full-time
Queen's University of Belfast	69%	1%	5%	£9250	£25300	187	Belfast	On campus Full-time
Robert Gordon University	81%	7%	12%	£6750	£16650	155	Aberdeen	On campus Full-time
The University of York	70%	3%	0%	£9250	£28800	171	York	On campus Full-time
Imperial College of Science	70%	0%	7%	£9250	£40940	229	London	On campus Full-time
University College London	72%	5%	3%	£9250	£38300	197	London	On campus Full-time
Durham University	75%	5%	5%	£9250	£30250	223	Durham	On campus Full-time
Loughborough University of Technology	89%	5%	3%	£9250	£27250	166	Loughborough	On campus Full-time
Queen's University of Belfast	71%	5%	0%	£9250	£20800	220	Belfast	On campus Full-time
The University of York	70%	0%	0%	£9250	£28800	170	York	On campus Full-time

Information for Prospective M.S. Students

Ms in computer science.

Our Master of Science program is designed for individuals considering a career in computer science that requires research skills and rigorous training, but who are unsure if they are ready to commit to a Ph.D. program. The coursework is identical to that offered to our Ph.D. students.

MS Degree Requirements

The Graduate Policy Manual details all of the information on degree requirements, but in summary,our graduate students receive the training and are expected to develop a mastery of their field and gain a broad familiarity with their discipline by the time they graduate. Admission criteria are similar to those of the Ph.D. program.

Coursework: 30 credit hours of qualifying courses covering four out of the eight areas.

Research: Research is expected, but students can choose between two options:

Non-thesis: Requires a scholarly paper of journal or conference quality, under computer science faculty supervision. Students may optionally replace up to six credits with CMSC 798 (Master’s Non-thesis Research).
Thesis: Requires six hours of CMSC 799 (Master's Thesis Research) and write a thesis advised by a computer science faculty member. The thesis must demonstrate an independent accomplishment in a research, development, or application area of computer science. An oral examination (Thesis Defense) is required to graduate.

The thesis option requires finding an advisor and a research topic within the specified time frame. The non-thesis option is the default option due to its more flexible requirements.

Program Duration

The MS program typically takes two years. However, UMD Computer Science undergraduates eligible for our Combined BS/MS program may finish the program in one year.

Note: Students eligible for the Combined BS/MS program should list their degree intent as the Combined BS/MS program when applying.

Financial Information

While the MS program does not guarantee funding as part of the admission offer. MS students may apply for hourly CMSC TA opportunities, RA opportunities with faculty members, or other jobs on campus.

Hourly TA Positions: MS students can apply for hourly CMSC TA opportunities with no graduate assistantship benefits, tuition remission or health insurance.
Campus Employment Opportunities: Beyond Computer Science (CMSC) RA roles, MS students can pursue RA, TA, or Administrative Assistant (AA) opportunities across different programs. These opportunities are listed on ejobs.umd or Handshake .
Research Assistants (RA): All M.S. students, including first-year students, are eligible for graduate assistantship appointments. Faculty members may appoint them as Research Assistants (RAs) depending on their research needs and available funding.

Tuition and Fees

For detailed information about tuition rates and related expenses, please visit the Office of Extended Studies website .

Fellowships

Fellowships can be sourced both from within the University of Maryland and through external organizations:

Internal Fellowships: Offered directly by UMD or specific departments within the university. For details on these opportunities, you can check out UMD's Fellowship & Awards website .
External Fellowships: Examples include prestigious awards like the National Science Foundation Graduate Fellowships and Fulbright Fellowships . To apply for these, students should directly contact the administering agencies or seek assistance from the financial aid office at their current or UMD’s Fellowship Office .

To apply for these fellowships, you should contact the agency which administers them, check with the financial aid office in your current university, or contact UMD's Fellowship Office .

Electrical and Computer Engineering

College of Engineering

MS in Artificial Intelligence

The Master of Science in Artificial Intelligence–Electrical and Computer Engineering is a three-semester (97-unit) program that offers students the opportunity to gain state-of-the-art artificial intelligence knowledge from an engineering perspective. Today, AI is driving significant innovation across products, services, and systems in every industry, and tomorrow’s AI engineers will have the advantage.

ECE students within the program will learn how to design and build AI-orchestrated systems capable of operating within engineering constraints. At Carnegie Mellon, we are leading this transformation by teaching students how to simultaneously design a system’s functionality and supporting AI mechanisms, including both its AI algorithms and the platform on which the AI runs, to produce systems that are more adaptable, resilient, and trustworthy.

Students pursuing the MS in AI will be able to:

Demonstrate knowledge of artificial intelligence methods, systems, tool chains, and cross-cutting issues, including security, privacy, and other ethical, societal, and policy challenges
Apply ECE concepts and tools to enable AI systems and produce AI tools
Be informed practitioners of AI methods to solve ECE and related problems, applying ECE domain knowledge whenever possible to enhance AI effectiveness
Understand the limits of AI systems and apply these techniques within these limits
Evaluate trade-offs involving technical capabilities and limitations, policy, and ethics in artificial intelligent systems

Admission Requirements

Students with a bachelor’s degree in electrical and computer engineering or a related discipline with an interest in the intersection of AI and engineering are encouraged to apply to this program.

Interested students should be able to demonstrate proficiency in:

Programming (Python preferred) for data analysis
Probability/statistics such as probability distributions, joint and conditional probability, independence, marginalization, Bayes rules, and maximum likelihood estimation
Linear algebra topics such as matrix operations, linear transformations, projections, matrix derivatives, and eigendecomposition

Curriculum Requirements

The goal of the MS in Artificial Intelligence–Electrical and Computer Engineering degree is for students to gain exposure to the three domain pillars of artificial intelligence:

Producers —develop tools that go beyond black box and align with physical systems Enablers —develop infrastructure needed to realize AI-engineered systems Consumers —use and analyze AI/ML for domain applications

Students will achieve this via the following curriculum:

42 units of ECE AI Core Courses
36 units of ECE AI Domain Courses
18 units of General Elective Courses
1 unit of Introduction to Graduate Studies ( 18-989 )

A. ECE AI Core Courses

18-763 Systems and Tool Chains for AI Engineering (12 units; Enablers )

Machine Learning

18-661 Introduction to Machine Learning for Engineers (12 units; Producers )

Deep Learning

18-780 Introduction to Deep Learning Part I (6 units; Producers ) OR
18-790 Introduction to Deep Learning and Pattern Recognition for Computer Vision Part I (6 units; Producers )
24-784 Trustworthy and Ethical AI Engineering (12 units)

B. ECE AI Domain Elective Courses

Consumers Domain Elective Coursework (12 units required)

Data Analytics for the Semiconductor Industry ( 18-663 )
Advanced Digital Signal Processing ( 18-792 )
Image and Video Processing ( 18-793 )
Speech Recognition and Understanding ( 18-781 )

Remaining AI Domain Elective Units (24 units required)

Foundations of Computer Systems ( 18-613 , Enablers)
Hardware Arithmetic for Machine Learning ( 18-640 , Enablers)
Optimization ( 18-660 , Producers)
Principles and Engineering Applications of AI ( 18-662 , Producers)
Advanced Probability & Statistics for Engineers ( 18-665 , Producers)
Algorithms for Large-Scale Distributed Machine Learning and Optimization ( 18-667 , Producers)
Applied Stochastic Processes ( 18-751 , Producers)
Estimation, Detection, and Learning ( 18-752 , Producers)
Information Theory Measures for Artificial and Natural Intelligence Systems ( 18-753 , Producers)
Deep Generative Modeling ( 18-789 , Producers)
Special Topics - Graph Signal Processing and Learning ( 18-898D , Producers)
Data Analytics for the Semiconductor Industry ( 18-663 , Consumers)
Advanced Digital Signal Processing ( 18-792 , Consumers)
Image and Video Processing ( 18-793 , Consumers)
Speech Recognition and Understanding ( 18-781 , Consumers)
MS Graduate Project - AIE (18-985, no domain)*

C. General Elective Courses

18 units of General Elective Courses must be taken as follows.

ECE Technical Elective

6 units must be fulfilled by any 18-6XX course or above.

General Technical Elective

12 units must be fulfilled by any course that is 600 level or above from the following approved departments.

*Please note: A maximum of 12 units of undergraduate coursework (XX-300 to XX-599) can qualify to be substituted toward the 18 units of General Elective Courses. Qualifying coursework must be offered by the same departments approved below.

Electrical and Computer Engineering (18)
Carnegie Institute of Technology (CIT) (39)
Biomedical Engineering (42)
Chemical Engineering (06)
Civil & Environmental Engineering (12)
Engineering & Public Policy (19)
Information Network Institute (14)
Integrated Innovation Institute (49)
Materials Science & Engineering (27)
Mechanical Engineering (24)
CMU–Africa (04)

Dietrich College of Humanities and Social Sciences

Statistics (36)
Center for the Neural Basis of Cognition (86)
Heinz School of Information Systems (95)
Heinz College-Wide Courses (94)

Mellon College of Science (MCS)

Biological Sciences (03)
Chemistry (09)
Mathematical Sciences (21)
Physics (33)

School of Computer Science (SCS)

Computational Biology (02)
Computer Science (15)
Entertainment Technology Center (53)
Institute for Software Research (08)
Robotics Institute (16)
Human–Computer Interaction Institute (05)
Language Technologies Institute (11)
Machine Learning (10)
Software Engineering (17)

Tepper School of Business (TEP)

Tepper School of Business (45)

Additional courses outside of these programs that are approved to be counted toward General Technical Elective Coursework:

46-926, 46-929
47-830, 47-834
57-947, 57948
85-705, 85-777
90-756, 90-808

For students interested in pursuing a summer internship, 3 units of Internship for Electrical and Computer Engineering MS Students ( 18-994 ) may be used toward the 18 units of additional MS coursework.

D. Introduction to Graduate Studies

1 unit of Introduction to Graduate Studies (18-989) must be taken.

This course must be completed in your first semester.

E. MS Graduate Project coursework

MS AI–ECE students may take up to 27 project units that can count toward their degree requirements. Only 15 units of MS Graduate Project can be taken in any given semester.

A maximum of 12 project units can be applied to the ECE AI Domain unit requirements. Students must get approval from the instructor that a project is sufficiently AI-focused for it to fulfill domain unit requirements. Students can use the Student Project Tracker (SPT) website to apply for a project and work with their primary advisor for course approval and registration.

*Please note that the Intensive Project Option is not available for ECE AI Students.

Helpful links

Visit Pittsburgh

Pittsburgh handbook

Maximum units allowed

Endless Opportunities

Whether pursuing academia or industry, this degree uniquely positions students for the future of research and high-demand careers with a mastery of integrating engineering domain knowledge into AI solutions.

For additional information about this college-wide initiative, please visit the College of Engineering's MS in AI Engineering website .

Latest News
Emergencies
Ask the Law
GN Fun Drive
Visa+Immigration
Phone+Internet
Reader Queries
Safety+Security
Banking & Insurance
Dubai Airshow
Corporate Tax
Top Destinations
Corporate News
Electronics
Home and Kitchen
Consumables
Saving and Investment
Budget Living
Expert Columns
Community Tips
Cryptocurrency
Cooking and Cuisines
Guide to Cooking
Art & People
Friday Partner
Daily Crossword
Word Search
Philippines
Australia-New Zealand
Corrections
Special Reports
Pregnancy & Baby
Learning & Play
Child Health
For Mums & Dads
UAE Success Stories
Live the Luxury
Culture and History
Staying Connected
Entertainment
Live Scores
Point Table
Top Scorers
Photos & Videos
Course Reviews
Learn to Play
South Indian
Arab Celebs
Health+Fitness
Gitex Global 2023
Best Of Bollywood
Special Features
Investing in the Future
Know Plan Go
Gratuity Calculator
Notifications
Prayer Times

Where to study Artificial Intelligence (AI) in UAE

Living in uae.

There are over 15 universities offering BSc, MSc or PhD in AI or Computer Science.

Dubai: “It's very clear that AI is going to impact every industry. I think that every nation needs to make sure that AI is a part of their national strategy,” Nvidia CEO Jensen Huang, said back in 2018. Well, here in the UAE, AI is a key part of government plans, and it is even being used to improve public services.

AI is the future, and it is going to change the job market. That is why many local universities are now offering degrees in Artificial Intelligence (AI) – from bachelor’s programmes to PhDs. You can even specialise in AI through computer science degrees, making your overall skill set in demand for the future.

Here is a list of UAE universities offering them, according to the UAE's Ministry of Artificial Intelligence, Digital Economy and Remote Work Applications

Where to study AI in UAE

1. Mohamed bin Zayed University of Artificial Intelligence (MBZUAI): This graduate-level research university offers specialised Master's and PhD programmes in Computer Vision, Machine Learning, and Natural Language Processing. 2. Sorbonne University Abu Dhabi: This French and English-speaking university provides a Bachelor's in Mathematics with a specialisation in Data Science for AI. 3. Abu Dhabi University: The largest private university in the UAE offers a BSc in Computer Engineering with an AI concentration and a BSc in Computer Science.

4. New York University Abu Dhabi (NYU Abu Dhabi): This university offers a BSc in Computer Engineering and BSc in Computer Science, preparing you for advanced studies or research careers. 5. Khalifa University: Known for its science and engineering programmes, Khalifa University offers a BSc in Computer Engineering and BSc in Computer Science, along with an MSc in Computer Science. 6. The United Arab Emirates University (UAEU): The UAE's first comprehensive university provides a BSc in Computer Engineering and BSc in Computer Science, with a minor in Artificial Intelligence available. 7. Rochester Institute of Technology Dubai (BSc in Computing Security) 8. American University of Sharjah (BSc in Computer Engineering, Computer Science and MS in Computer Science)

9. University of Sharjah (BSc in Computer Engineering, Computer Science and MS in Computer Science) 10. University of Birmingham Dubai (Offers a dedicated BSc in AI and Computer Science) 11. University of Wollongong in Dubai (BSc in Computer Science and Engineering Computers) 12. American University in Dubai (Offers a BSc in Computer Science) 13. British University in Dubai (Offers a BSc in AI and PhD in Commputer Science)

14. University of Dubai (BSc in Computer Science) 15. Al Ain University (BSc in Computer Science and Computing Engineering) 16. Ajman University (Offers an MSc in AI) 17. American University in Ras Al Khaimah (Offers BSc degrees in AI, Computer Engineering, and Computer Science)

18. Canadian University Dubai (BSc in Computer Science) 19. Al Ghurair University (BSc in Computer Engineering and Science) 20. American University of the Emirates Dubai (BSc in Computer Science) 21. Middlesex University Dubai (BSc in Robotics and MS in Robotics)

Shorter education options

If you are interested in a shorter course and want to master AI prompts, you can also register your interest for Dubai’s ‘One Million Prompters’ programme, which aims to create one million AI prompters in the next three years. To know more, click here .

The Ministry of Artificial Intelligence, Digital Economy and Remote Work Applications Office, also conducts an AI Summer Camp each year, with the sixth edition expected to start from July 15 to August 16 this year. The camp organises workshops and discussions for beginners, enthusiasts, and AI experts, and you can register your interest by visiting this webpage: https://ai.gov.ae/aicamp/

More From Living-Education

Does your child’s school focus on their happiness?

Ministry of education new university classification

UAE's new framework for universities - explained

AI (Artificial Intelligence) letters and robot hand miniature in this illustration.

Want to learn AI prompts? Read this.

Dubai summer break 2024-25: Key dates for all schools

Visa + Immigration
Telephone + Internet
Safety + Security
Taqdeer Award

Salik tag must-have for Dubai Mall parking

New paid parking areas in Dubai: all you need to know

Dubai Mall parking: Re-entry after free hours explained

When is the next public holiday?

UAE abortion law: Key changes explained

New job in 1 week! Help with notice period

Get Breaking News Alerts From Gulf News

We’ll send you latest news updates through the day. You can manage them any time by clicking on the notification icon.

Machine Learning & Data Science Foundations

Online Graduate Certificate

Cutting-Edge Curriculum

The power of data grounded in computer science .

Artificial intelligence is transforming how all industries and organizations operate. Now more than ever, there is an increasing demand for data scientists and engineers who can understand and implement machine learning technology. To gain insights from massive data sets, drive efficiency, create technological advancements, and win in the marketplace, organizations need data professionals who can develop powerful algorithms and intelligent machines.

Offered by CMU’s School of Computer Science, one of the nation’s top universities for learning computational data science, this online certificate equips students with the requisite AI skills to solve real, large-scale data problems across various industries.

Curriculum Overview

After you enroll in the Machine Learning & Data Science Foundations program, you will take six graduate-level, credit-bearing courses. Each course will appear on your Carnegie Mellon transcript with the grade earned.

To earn the certificate, you must successfully complete all courses in the program. If you are only interested in one course, however, you may complete that course only and it will show on your transcript with the grade earned.

Please note: the Python for Data Science and Foundations of Computational Data Science courses are delivered in two consecutive parts at 6 units each.

The certificate includes the following courses taught by CMU faculty:

Mathematical foundations of machine learning.

Course Number: 10-680

Units: 6 units

Practice the necessary mathematical background for further understanding in machine learning. You will study topics like probability (random variables, modeling with continuous and discrete distributions), linear algebra (inner product spaces, linear operators), and multivariate differential calculus (partial derivatives, matrix differentials). Some coding will be required; ultimately, you will learn how to translate these foundational math skills into concrete coding programs.

Computational Foundations for Machine Learning

Course Number: 10-681

Practice the necessary computational background for further understanding in machine learning. You will study topics like computational complexity, analysis of algorithms, proof techniques, optimization, dynamic programming, recursion, and data structures. Some coding will be required; ultimately, you will learn how to translate these computational concepts into concrete coding programs.

Python for Data Science

Course Numbers: 11-604 & 11-605

Units: 6 units each

Master the concepts, techniques, skills, and tools needed for developing programs in Python. You will study topics like types, variables, functions, iteration, conditionals, data structures, classes, objects, modules, and I/O operations while also receiving hands-on experience with development environments like Jupyter Notebook and software development practices like test-driven development, debugging, and style. Course projects include real-life applications on enterprise data and document manipulation, web scraping, and data analysis. These courses can be waived for computer science professionals already fluent in Python.

Foundations of Computational Data Science

Course Numbers: 11-671 & 11-672

Learn foundational concepts related to the three core areas of data science: computing systems, analytics, and human-centered data science. In this course, you will acquire skills in solution design (e.g. architecture, framework APIs, cloud computing), analytic algorithms (e.g., classification, clustering, ranking, prediction), interactive analysis (Jupyter Notebook), applications to data science domains (e.g. natural language processing, computer vision), and visualization techniques for data analysis, solution optimization, and performance measurement on real-world tasks.

Course Waivers

Students who already have proficient skills in either math or programming may waive the following courses upon successful completion of an exemption exam(s):

Math Fundamentals of Machine Learning (10-680) and Computational Fundamentals of Machine Learning (10-681)
Python for Data Science (11-604 & 11-605)

The exemption exam(s) will be administered to admitted students only. Students who are interested in taking the exam(s) should indicate their interest in the application when applying to the program. Once admitted, additional information about sitting for the exam(s) will be provided.

Upon successful completion of one, or both, of the exemption exams, students will only complete the remaining courses to qualify for the certificate. No credit will be earned, nor tuition will be assessed, for the waived courses.

Please note: Foundations of Computational Data Science is not eligible for a waiver.

For more information about course waivers, contact an admissions counselor today.

Application Deadlines

Priority*: July 9, 2024 Final: July 30, 2024

*All applicants who submit by the priority deadline will receive a partial scholarship award.

Request Info

Questions? There are two ways to contact us. Call 412-501-2686 or send an email to [email protected] with your inquiries .

Meet Our World-Class Faculty

Dr. carolyn rosé.

Professor of Language Technologies and Human-Computer Interaction

Education: Ph.D., Carnegie Mellon University

Research Focus: to better understand the social and pragmatic nature of conversation and to build computational systems that improve the efficacy of conversation between people, and between people and computers by using approaches from computational discourse analysis and text mining, conversational agents, and computer-supported collaborative learning.

Dr. Henry Chai

Assistant Teaching Professor of Machine Learning

Education: Ph.D., Washington University in St. Louis

Research Focus: topics at the intersection of Bayesian machine learning, probabilistic numerics and active learning that help address the following question: how can we efficiently and accurately reason about inherently intractable quantities? Dr. Chai is also passionate about pedagogical research and K-12 computer science education.

The Graduate Certificate in Machine Learning & Data Science Foundations is offered by the Language Technologies Institute (LTI) at CMU, which is housed within the highly-ranked School of Computer Science (SCS). SCS faculty are esteemed in their field, and many of them have collaborated on critical projects that have paved the way for future discoveries in artificial intelligence. Check out some of their work below:

Researchers from CMU’s Robotics Institute completed a long-distance autonomous driving test in 1995 called the No Hands Across America mission .

In 2001, SCS Founders University Professor Takeo Kanade and his team created a video replay system called EyeVision for Super Bowl XXXV.

In 2007, Faculty Emeritus William “Red” Whittaker led CMU’s Tartan Racing team to victory in the DARPA’s Grand Challenge .

Assistant Research Professor László Jeni used computer vision technology to create a facial recognition tool that can help people with visual impairment.

The Building Blocks of Our Curriculum

Industry Impact

In this program, everything you learn serves a greater purpose - to approach and solve large-scale, real-world data challenges in today’s world. After learning fundamental skills in math and computational data science, you’ll have a firm understanding of cloud-based technologies and the ability to solve problems across industries with innovative solutions.

By completing practical, interactive, and collaborative coursework along with hands-on training exercises, you’ll be prepared to: define the analytical requirements of a data science problem, design a data gathering plan, build and deploy models using the right analytic algorithms, and improve models to achieve organizational objectives.

Collaborative

Interdisciplinary work is a core value of Carnegie Mellon. As you complete the coursework for this program, you will explore computational data science from different perspectives, participate in powerful discussions, and gain insights from different departments within the School of Computer Science, including: the Language Technologies Institute, Computer Science Department, Human-Computer Interaction Institute, and Machine Learning Department.

COMMENTS

PhD in Computer Science (2024 Entry)
The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment. The results of the 2021 REF rank Warwick Computer Science 4th out of 90 UK Computer Science departments. This cements our position as one of the top Computer Science departments in the UK, a position we have held for some time under different assessment methodologies.
Department of Computer Science, University of Warwick
Research. The department offers an excellent environment for PhD research studies. We host a Centre for Doctoral Training and Research in Computer Science with multiple scholarships available every year. Through our alliance with the Alan Turing Institute, our PhD students have the opportunity to apply to do collaborative research at the Institute.
Computer Science
Course content. The PhD program is suitable for skilled and highly-motivated students to do research at the frontiers of Computer Science in a broad range of theoretical and applied topics. The program is meant to train students for high-profile jobs in both Academia and Industry.
PhD in Computer Science Program By The University of Warwick |Top
Learn more about PhD in Computer Science Program including the program highlights, fees, scholarships, ... The University of Warwick. Central Campus, Coventry, United Kingdom Request More Details. Compare. QS World University Rankings 64. Degree PhD; Study Level PHD; Duration 36 months;
Computer Science (PhD) at University of Warwick
The PhD program is suitable for skilled and highly-motivated students to do research at the frontiers of Computer Science in a broad range of theoretical and applied topics. The program is meant to train students for high-profile jobs in both Academia and Industry. Research Themes. Theory and Foundations.
Computer Science PhD at University of Warwick
The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment. Course Overview The PhD program is suitable for skilled and highly-motivated students to do research at the frontiers of Computer Science in a broad range of theoretical and applied topics.
Computer Science, Ph.D.
Apply to The Global Study Awards and get the chance to receive 10,000 GBP for your study abroad! This funding is powered by ISIC, British Council, IELTS and Studyportals. The PhD in Computer Science at the University of Warwick offers exciting opportunities to do cutting-edge research in an internationally renowned environment.
Computer Science (PhD) at University of Warwick
Find course details for Computer Science (PhD) at University of Warwick including subject rankings, tuition fees and key entry requirements. We value your privacy. ... We use cookies, which are small text files placed on your computer, to allow the site to work for you, improve your user experience, to provide us with information about how our ...
Computer Science PhD
The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment. The results of the 2021 REF rank Warwick Computer Science 4th out of 90 UK Computer Science departments.
Computer Science
The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment. The results of the 2021 REF rank Warwick Computer Science 4th out of 90 UK Computer Science departments. This cements our position as one of the top Computer Science departments in the UK, a position we have held for ...
Department of Computer Science, University of Warwick
August, 2008 - December, 2012 PhD in Computer Science, Duke University, Durham, USA. Advisor: Kamesh Munagala. June, 2004 - May, 2008 B. E. in Computer Science and Engineering, Jadavpur University, Kolkata, India. Recent Teaching (at Warwick) 2022/23: (1) Discrete Mathematics and Its Applications II (jointly with M. S. Ramanujan). (2 ...
PhD in Computer Science (2022 Entry)
Find out more about our PhD in Computer Science. The PhD in Computer Science offers exciting opportunities to do cutting-edge research in an internationally renowned environment. In the 2014 UK Research Excellence Framework (REF), the CS department was ranked 2nd (out of 89 UK Computing departments). P-G5P0. 3 October 2022.
Igor Carboni Oliveira
Logical Methods in Computer Science, Volume 16, Issue 2, 2020. - Beyond natural proofs: hardness magnification and locality (with L. Chen, S. Hirahara, J. Pich, N. Rajgopal, and R. Santhanam). ... PhD. Warwick has one of the strongest theory groups in Europe, with close interactions between the CS and Math departments. ...
Research
The Centre for Doctoral Training & Research in Computer Science offers scholarships. Our PhD students enjoy close collaborations with the Alan Turing Institute. ... Department of Computer Science, University of Warwick, CV4 7AL E-mail: comp-sci at warwick dot ac dot uk, Telephone: +44 (0)24 7615 0825.
Feng Hao's homepage
About me. I'm a Professor of Security Engineering and Head of the Systems & Security research theme at the Department of Computer Science, University of Warwick. I graduated with a PhD in the Security Group (where I still have my old badge ), from the Computer Laboratory, University of Cambridge, under the joint supervision of Prof Ross ...
Computer Science (PhD) at The University of Warwick
The Computer Science (PhD) offered by University of Warwick is an advanced Masters course designed for students aspiring to become professionals in Computer Science. Students will gain hands-on experience through practical exercises and real-world projects, allowing them to apply the concepts learned in class.
Warwick's acceptance rate for PhD Computer Science
🎓 University of Warwick acceptance rates and statistics for PhD Computer Science for the years 2017, ... University of Warwick . Manchester University St Andrews Cambridge University. ... (Res) PGCE. Computer Science 31% . offer rate . 1 in 3 applicants to this programme received an offer. Data shown above is for entry in academic year 2018/ ...
Study Computer Science at University of Warwick
Subject. Computer science. Computer Science is one of the most established courses in the UK, designed for students with a talent for mathematics and a passion for technology. At Warwick you will work closely with industry leaders, enabling you to develop industrially relevant subject knowledge and transferable skills.
Browse by Theses by Department
PhD thesis, University of Warwick. Allderidge, James, Beynon, Meurig, Cartwright, Richard and Yung, Yun Pui (1997) Enabling technologies for empirical modelling in graphics. University of Warwick. Department of Computer Science. (Department of Computer Science research report).
Computer Science MSc
The Computer Science MSc is for technically minded graduates with experience in computer science, mathematics or physical sciences. Ranked 4th in the UK (REF 2021), Warwick's Computer Science department will train you in using the latest techniques in academia and industry while providing you with a set of skills essential in your future career ...
Information for Prospective Ph.D. Students
PhD in Computer ScienceOur Ph.D. program is designed for individuals aiming to pursue a career in computer science research. Applicants should have a strong background in computer science and demonstrate the ability to conduct research both independently and collaboratively PhD Degree RequirementsThe Graduate Policy Manual details all of the information on degree requirements, but at a high ...
Centre for Doctoral Training and Research
CS CDT. The Computer Science Centre for Doctoral Training and Research (CDT) provides a stimulating and enriching environment for our PhD and MSc-R students to become world-class researchers. Our Department not only offers a variety of programmes to gain foundational training, specialist knowledge, and multi-disciplinary expertise, but also ...
Information for Prospective M.S. Students
MS in Computer ScienceOur Master of Science program is designed for individuals considering a career in computer science that requires research skills and rigorous training, but who are unsure if they are ready to commit to a Ph.D. program. The coursework is identical to that offered to our Ph.D. students.
MS in Artificial Intelligence
MS in Artificial Intelligence. The Master of Science in Artificial Intelligence-Electrical and Computer Engineering is a three-semester (97-unit) program that offers students the opportunity to gain state-of-the-art artificial intelligence knowledge from an engineering perspective. Today, AI is driving significant innovation across products, services, and systems in every industry, and ...
Where to study Artificial Intelligence (AI) in UAE
There are over 15 universities offering BSc, MSc or PhD in AI or Computer Science. Published: July 01, 2024 17:30 Zainab Husain, Features Writer. Follow us
Computer Science (MSc) (2024 Entry)
The Computer Science MSc is for technically minded graduates with experience in computer science, mathematics or physical sciences. Ranked 4th in the UK (REF 2021), Warwick's Computer Science department will train you in using the latest techniques in academia and industry while providing you with a set of skills essential in your future career.
Apply to CMU's Online Graduate Certificate in Machine Learning and Data
The Graduate Certificate in Machine Learning & Data Science Foundations provides a unique opportunity for individuals nearly everywhere to earn a certificate at the intersection of AI, machine learning, and computational data science from one of the top ranked computer science schools in the country.
CMU's Cutting-Edge Curriculum
Course Numbers: 11-604 & 11-605 Units: 6 units each Master the concepts, techniques, skills, and tools needed for developing programs in Python. You will study topics like types, variables, functions, iteration, conditionals, data structures, classes, objects, modules, and I/O operations while also receiving hands-on experience with development environments like Jupyter Notebook and software ...

Computer Science - PhD

Months of entry

Fees and funding

Qualification, course duration and attendance options

Course contact details

Our cookies

Privacy overview

Manage consent preferences

Computer Science PhD

Course Summary

Subject areas

Course type

UK fees Course fees for UK students

International fees Course fees for EU and international students

MA Games Design

Computer Science

Features

Programme Structure

Key information

Start dates & application deadlines

Disciplines

Other requirements

Tuition Fee

Scholarships Information

Available Scholarships

Other interesting programmes for you

We value your privacy

Your Privacy

Manage consent preferences

Personalise what you see on this page.

Popular universities

Course search

Open days search

Article search

Popular articles

You are looking at:

Computer Science PhD University of Warwick

Course options

University of Warwick

Course summary

Tuition fees

University information

Subject rankings

Suggested courses

Computer Science MSc

Computer Science PhD

MSc Computer Science

find your perfect postgrad program Search our Database of 30,000 Courses

Doctor of Philosophy - PhD

Part-Time, 7 years starts Sep 2024

Part-Time, 7 years started Oct 2023

Full-Time, 1 years started Oct 2023

Postgraduate Bursary Opportunity with Postgrad.com

Sign up now!

Feng Hao Professor of Security Engineering Department of Computer Science University of Warwick, UK

Publications

Other publications

Top Streams

Top Specialization

Top Universities

Top Resources

Top Courses

Colleges & Courses

More About France

About Finland

IELTS Reading Answers Sample

IELTS Speaking Cue Card Sample

IELTS Essay Sample Sample

GRE Exam Study Material

Other Resources

Free GRE Ebooks

GMAT Exam Study Material

Free GMAT Ebooks

TOEFL Exam Study Material

Free TOEFL Ebooks

PTE Exam Study Material

Free PTE Ebooks

Duolingo Exam Study Material

Free Duolingo Ebooks

NEET & MCAT Exam