For inclusion or removal from this list, please email graduate @ educ.cam.ac.uk
Centres & networks, connect with us, our address.
© 2024 University of Cambridge
When it comes to thinking about dissertations, it's useful to know how and where to look for material, both within Cambridge and further afield. The following is some guidance on finding various different types of material, whether primary or secondary.
Finding books outside cambridge, finding articles.
Subject gateways.
For further help our LibGuide has lots of information about how to carry out research in History.
The best place to begin looking for secondary material is a specialist bibliographical database covering your area of interest, eg. the Bibliography of British and Irish History . Teaching staff will be able to advise on what databases there are in your subject area. There may not be a specialist database covering your topic, in which case a more general literature search may be the best way to begin. Literature searches may also help you to find supplementary material, and to identify what is available within Cambridge.
Literature searches will help you to identify a viable topic of research, or a new angle from which to approach a subject, and they will also ensure that you do not duplicate work in progress. You will need to be compiling lists of material to consult at the same time as taking organised notes and writing; you should not wait to complete the reading before beginning to write.
For searching across library catalogues in Cambridge, use iDiscover ; as well as searching library holdings it also retrieves records for ejournals and ebooks, and can be extended to search databases such as JSTOR . You can also turn searches into RSS feeds (for alerts when any relevant items are added to the catalogue).
The University's ebooks@cambridge team subscribe to thousands of ebook titles, including key resources such as the Cambridge Histories and Cambridge Companions. These are searchable through iDiscover; if there is an electronic copy of the book you are looking for, it will have the phrase "[electronic resource]" in the record after the title, and you can follow the link in the record directly through to the text. Ebooks are easy to use, can be accessed from home and can normally have several users accessing the text simultaneously, so access is almost always available.
You may need to extend your search beyond Cambridge, to see if there is material available elsewhere which is not held by any of the libraries in the university. Library Hub Discover is the best way for finding material held in libraries in the United Kingdom; it is the combined catalogue of the UK's major research libraries (including the British Library, National Library of Scotland and National Library of Wales), as well as various specialist research libraries and collections. The catalogue contains over 32 million records. It is possible to search by subject, author, title or keyword, and you can restrict your search by date, place published, type of material (eg. periodicals, maps), or language. Search results will display where an item is held, and provide links to an electronic copy, if there is a freely available one.
The Document Delivery Service is available to help support students access difficult to locate material. This includes Inter-Library loan and Rapid Inter-Library loan.
If you are working away from Cambridge (for example, during the vacation), you may be able to get access to other higher education libraries in your area; visit SCONUL Access for more information.
For catalogues of libraries outside the United Kingdom try WorldCat , a catalogue of over 10,000 libraries, which indexes 1.5 billion items.
You will need to look at journal articles as well as books, as journals are often where the latest, most up-to-date historical research is published. There are several citation databases which you can search for articles which might be relevant to your topic. As well as general historical databases, there are also more specialised ones, covering various regions, periods and topics. (Most of these will require a Raven password for off-campus access.) To search across the full range of electronic journals Cambridge subscribes to go to the ejournals@cambridge page. It is also possible to search across popular databases for article titles (as opposed to journal titles) on iDiscover.
Key general databases
Digital journal archives
Region/country databases
Chronological databases
Topical databases
There are several different databases for searching for university dissertations and theses, whether produced in the United Kingdom or further afield.
You can access more online resources through iDiscover and the UL's eresources@cambridge page , which includes links to visual and sound resources, film and video services, and newspapers (both archives and current).
Some examples of online collections of primary source material:
In Cambridge
ArchiveSearch provides finding aids and links to digital records for the majority of archives located in the city of Cambridge., including the archives of many colleges, and of the Churchill Archives Centre .
In the United Kingdom
You may need to visit archives outside Cambridge as part of your research. To find out what archival material is held where, there are various union catalogues of archive material:
To search the holdings of archives outside the United Kingdom, try Archive Grid , a major catalogue of historical documents, personal papers and family history material held in repositories around the world; you can search for collections by topic.
Subject gateways are online portals to subject-specific resources, and can be excellent places to look for more information on your topic. Some gateways where the sites have been evaluated by experts include:
About the university, research at cambridge.
The University does not require electronic copies of Masters Theses to be deposited in Apollo, which means that the Thesis team does not deposit individual Masters Theses via Symplectic Elements.
However, there is a batch upload arrangement in place for faculties/departments who wish to deposit their Masters Theses in Apollo. Interested faculties/departments should contact the Thesis team for further information ( [email protected]).
As all Theses that are deposited into Apollo via the batch upload arrangement will be immediately available (open access) in Apollo, it is only suitable for Theses that do not contain:
However, Faculties/departments may instead opt provide a redacted version of any Theses that do contain such content. If this option is chosen, Faculties/departments should deposit the original, unredacted Thesis and a redacted version. We have further information on our website about redacting material from theses.
It is important that these issues are resolved in advance of uploading the thesis to their shared drive, because depositing these items into Apollo may breach copyright or GDPR laws. If in doubt about a thesis, faculties/departments are advised not to include it in the batch upload request.
Should a Thesis have supplementary data files, the data should be uploaded separately via Symplectic Elements by the faculty/departmental administrator.
Copyright held by someone other than the author is known as third party copyright. If an author has used third party copyright material, they should ascertain whether or not they need permission to use it in their thesis.
We recommend that authors obtain permission to include material as they are researching. Clearing permission can take a long time, so unless a redacted version is supplied, it is not appropriate to include Theses for batch upload where permissions have been sought but are still outstanding. It is also not appropriate to include theses where permission has not been sought, or where permission has been denied.
Please be aware that different copyright rules apply to the hardbound copy that is deposited in the library for reference and the electronic version that is deposited in the repository. This is because the hardbound copy is considered unpublished and the electronic version, if made available as open access, is considered published. The thesis must credit the copyright holder(s) and source(s) of all third party copyright material.
There is more information on third party copyright on our website .
Sensitive information is data that must be protected for the privacy or security of an individual, group, or organisation. The kinds of sensitive information most likely to be included in theses are:
The Freedom of Information Act 2000 sets out the types of sensitive information to which legally enforceable restrictions may be applied. The University of Cambridge is bound by this Act. It may decide to apply restrictions to other types of information, including theses deposited in the University Library or Departmental and Faculty libraries, but they are not legally binding if not falling under the Act.
Unless a redacted version is supplied, it is also not appropriate to include theses for batch upload that contain sensitive/confidential information without authorisation from whom the information relates.
There is more information about sensitive material on our website
© 2020 Office of Scholarly Communication , University of Cambridge
This project is a joint initiative of Cambridge University Library and the Research Strategy Office .
Follow us on Twitter
Privacy policy
© 2024 University of Cambridge
About the university, research at cambridge.
Typographic resources
Department of Computer Science and Technology
Contents |
There is no official pre-made departmental or University-wide style template for PhD theses. Some argue that learning (and advancing!) the art of beautifully typesetting a thesis is a crucial part of getting a PhD.
Here are some practical recommendations, examples, and useful starting points.
Most PhD authors in the Computer Laboratory prefer LaTeX as their typesetting system (under both Linux or Windows), mainly because of its
A common approach is to use the report style, with a suitable title page added, margins changed to make good use of the A4 format, and various other changes to suit submission requirements and individual tastes (e.g., other fonts).
For preparing publication-quality diagrams, some of the most powerful and popular tools used include:
There used to be detailed Student Registry PhD format requirements , regarding font sizes and line spacing, but most Degree Committees have dropped these, recognizing that they were mainly motivated by past typewriter conventions. The rules left are now mainly about the word count .
In particular, it is no longer necessary for dissertations to be printed single sided or in “one-and-a-half spaced type”. If you still like to increase the line spacing, for easier proofreading, you can achieve this in LaTeX by placing into the preamble the line “ \usepackage{setspace}\onehalfspacing ”.
One Cambridge thesis-binding company, J.S. Wilson & Son , recommend on their web page to leave 30 mm margin on the spine and 20 mm on the other three sides of the A4 pages sent to them. About a centimetre of the left margin is lost when the binder stitches the pages together.
Write your thesis title and section headings in “sentence case”, that is use the same capitalization that you would have used in normal sentences (capitalize only the first word, proper nouns and abbreviations). Avoid the US-style “title case” that some conference-proceedings publishers require.
Good: | My favourite programming pearls in Perl |
Bad: | My Favourite Programming Pearls in Perl |
Use a single page-number sequence for all pages in your thesis, i.e. do not use a separate sequence of Roman numerals for front-matter (title page, abstract, acknowledgements, table of contents, table of figure). In LaTeX that means using the report style, not the book style.
If you use purely-numeric bibliographic references, do not forget to still mention authors’ surnames, as a courtesy to both the authors and your readers. Also, try to add the exact page number on which the quoted point is found in the reference; LaTeX supports this really well. (“suggested by Crowcroft and Kuhn [42,p107]”)
After a thesis has been approved by the examiners, the author normally submits it for publication as a Computer Laboratory Technical Report .
It is a good idea to read early on the submission guidelines for technical reports , as this may reduce the need to change the formatting later.
If you want to minimize any changes needed between your submitted thesis and the corresponding technical report version, then – in addition to applying all the above advice – you can
This way, there is a very high chance that turning your thesis into a techreport could be as simple as replacing pages 1 and 2 with the standard Technical Report title page (which the techreport editor can do for you).
Repository uri, repository doi.
Some implications and consequences of the expansion of the universe are examined. In Chapter 1 it is shown that this expansion creates grave difficulties for the Hoyle-Narlikar theory of gravitation. Chapter 2 deals with perturbations of an expanding homogeneous and isotropic universe. The conclusion is reached that galaxies cannot be formed as a result of the growth of perturbations that were initially small. The propagation and absorption of gravitational radiation is also investigated in this approximation. In Chapter 3 gravitational radiation in an expanding universe is examined by a method of asymptotic expansions. The 'peeling off' behaviour and the asymptotic group are derived. Chapter 4 deals with the occurrence of singularities in cosmological models. It is shown that a singularity is inevitable provided that certain very general conditions are satisfied.
This thesis has been made openly available with the kind permission of Professor Stephen Hawking.
Awarding institution, collections.
Rachael gunn earned a zero in breakdancing at the paris 2024 olympic games., aleksandra wrona, published aug. 13, 2024.
About this rating
Gunn's Ph.D. thesis, titled "Deterritorializing Gender in Sydney's Breakdancing Scene: a B-girl's Experience of B-boying," did cover the topic of breakdancing. However ...
... Gunn earned her Ph.D. in cultural studies. Moreover, a "PhD in breakdancing" does not exist as an academic discipline.
On Aug. 10, 2024, a rumor spread on social media that Rachael Gunn (also known as "Raygun"), an Australian breakdancer who competed in the 2024 Paris Olympics, had a Ph.D. in breakdancing. "This australian breakdancer has a PhD in breakdancing and dance culture and was a ballroom dancer before taking up breaking. I don't even know what to say," one X post on the topic read .
"Australian Olympic breakdancer Rachael Gunn has a PhD in breakdancing and dance culture," one X user wrote , while another asked, "Who did we send? Raygun, a 36-year-old full-time lecturer at Sydney's Macquarie University, completed a PhD in breaking culture and is a lecturer in media, creative arts, literature and language," another X user wrote .
The claim also spread on other social media platforms, such as Reddit and Instagram .
"Is she the best break dancer? No. But I have so much respect for going on an international stage to do something you love even if you're not very skilled at it," one Instagram user commented , adding that, "And, I'm pretty sure she's using this as a research endeavor and will be writing about all our reactions to her performance. Can't wait to read it!"
In short, Gunn's Ph.D. thesis, titled "Deterritorializing Gender in Sydney's Breakdancing Scene: A B-girl's Experience of B-boying," indeed focused on the topic of breakdancing. However, Gunn earned her Ph.D. in cultural studies, not in breakdancing. Furthermore, it's important to note that a "PhD in breakdancing" does not exist as an academic discipline.
Since Gunn's research focused on the breakdancing community, but her degree is actually in the broader field of cultural studies, we have rated this claim as a "Mixture" of truths.
Gunn "secured Australia's first ever Olympic spot in the B-Girl competition at Paris 2024 by winning the QMS Oceania Championships in Sydney, NSW, Australia," the Olympics official website informed .
Gunn earned a zero in breakdancing at the Paris 2024 Olympic Games and clips of her routine went viral on social media, with numerous users creating memes or mocking dancer's moves. "As well as criticising her attire, social media users mocked the Australian's routine as she bounced around on stage like a kangaroo and stood on her head at times," BBC article on the topic read .
The website of the Macquarie University informed Gunn "is an interdisciplinary and practice-based researcher interested in the cultural politics of breaking" and holds a Ph.D. in cultural studies, as well as a bachelor of arts degree (Hons) in contemporary music:
Rachael Gunn is an interdisciplinary and practice-based researcher interested in the cultural politics of breaking. She holds a PhD in Cultural Studies (2017) and a BA (Hons) in Contemporary Music (2009) from Macquarie University. Her work draws on cultural theory, dance studies, popular music studies, media, and ethnography. Rachael is a practising breaker and goes by the name of 'Raygun'. She was the Australian Breaking Association top ranked bgirl in 2020 and 2021, and represented Australia at the World Breaking Championships in Paris in 2021, in Seoul in 2022, and in Leuven (Belgium) in 2023. She won the Oceania Breaking Championships in 2023.
Gunn's biography further revealed that she is a member of the Macquarie University Performance and Expertise Reasearch Centre, and has a range of teaching experience at undergraduate and postgraduate levels "across the areas of media, creative industries, music, dance, cultural studies, and work-integrated learning."
Moreover, it informed her research interests included, "Breaking, street dance, and hip-hop culture; youth cultures/scenes; constructions of the dancing body; politics of gender and gender performance; ethnography; the methodological dynamics between theory and practice."
Gunn earned her Ph.D. from the Department of Media, Music, Communications, and Cultural Studies within the Faculty of Arts at Macquarie University. Below, you can find the abstract of her paper, shared by the official website of Macquarie University:
This thesis critically interrogates how masculinist practices of breakdancing offers a site for the transgression of gendered norms. Drawing on my own experiences as a female within the male-dominated breakdancing scene in Sydney, first as a spectator, then as an active crew member, this thesis questions why so few female participants engage in this creative space, and how breakdancing might be the space to displace and deterritorialise gender. I use analytic autoetthnography and interviews with scene members in collaboration with theoretical frameworks offered by Deleuze and Guttari, Butler, Bourdieu and other feminist and post-structuralist philosophers, to critically examine how the capacities of bodies are constituted and shaped in Sydney's breakdancing scene, and to also locate the potentiality for moments of transgression. In other words, I conceptualize the breaking body as not a 'body' constituted through regulations and assumptions, but as an assemblage open to new rhizomatic connections. Breaking is a space that embraces difference, whereby the rituals of the dance not only augment its capacity to deterritorialize the body, but also facilitate new possibilities for performativities beyond the confines of dominant modes of thought and normative gender construction. Consequently, this thesis attempts to contribute to what I perceive as a significant gap in scholarship on hip-hop, breakdancing, and autoethnographic explorations of Deleuze-Guattarian theory.
In a response to online criticism of her Olympics performance, Gunn wrote on her Instagram profile: "Don't be afraid to be different, go out there and represent yourself, you never know where that's gonna take you":
We have recently investigated other 2024 Paris Olympics' -related rumors, such as:
Gunn, Rachael Louise. Deterritorializing Gender in Sydney's Breakdancing Scene: A B-Girl's Experience of B-Boying. 2022. Macquarie University, thesis. figshare.mq.edu.au, https://doi.org/10.25949/19433291.v1.
---. Deterritorializing Gender in Sydney's Breakdancing Scene: A B-Girl's Experience of B-Boying. 2022. Macquarie University, thesis. figshare.mq.edu.au, https://doi.org/10.25949/19433291.v1.
Ibrahim, Nur. "Lifeguards Are Present at Olympic Swimming Competitions?" Snopes, 8 Aug. 2024, https://www.snopes.com//fact-check/lifeguards-paris-olympics-swimming/.
"Olympic Breaking: Criticism of Viral Breakdancer Rachael Gunn - Raygun - Condemned by Australia Team." BBC Sport, 10 Aug. 2024, https://www.bbc.com/sport/olympics/articles/c2dgxp5n3rlo.
ORCID. https://orcid.org/0000-0002-1069-4021. Accessed 12 Aug. 2024.
Paris 2024. https://olympics.com/en/paris-2024/athlete/-raygun_1940107. Accessed 12 Aug. 2024.
Saunders, Grant Leigh, and Rachael Gunn. "Australia." Global Hip Hop Studies, vol. 3, no. 1–2, Dec. 2023, pp. 23–32. Macquarie University, https://doi.org/10.1386/ghhs_00060_1.
Wazer, Caroline. "2024 Paris Olympics Are 'Lowest-Rated' Games in Modern History?" Snopes, 1 Aug. 2024, https://www.snopes.com//fact-check/paris-olympics-lowest-rated-games/.
---. "Hobby Lobby Pulled $50M in Ads from 2024 Paris Olympics?" Snopes, 8 Aug. 2024, https://www.snopes.com//fact-check/olympics-hobby-lobby-ads/.
Aleksandra Wrona is a reporting fellow for Snopes, based in the Warsaw, Poland, area.
An australian professor had some breaking moves, and people had thoughts., by nbc staff • published august 9, 2024 • updated on august 9, 2024 at 3:19 pm.
As Dr. Rachel Gunn, she's a 36-year-old lecturer at Macquarie University in Australia . She holds a PhD in cultural science. She researches and lectures on the cultural politics of breaking .
As Raygun, she's an Olympian breaker, competing for Australia.
Raygun lost all three of her matches, against B-Girls named Nicka, Syssy and Logistx. Yes, that sentence is accurate.
24/7 New York news stream: Watch NBC 4 free wherever you are
But Raygun had some moves. And people had some thoughts.
What my nephew does after telling all of us to “watch this” pic.twitter.com/366LjIRl4j — Liz Charboneau (@lizchar) August 9, 2024
There has not been an Olympic performance this dominant since Usain Bolt’s 100m sprint at Beijing in 2008. Honestly, the moment Raygun broke out her Kangaroo move this competition was over! Give her the #breakdancing gold 🥇 pic.twitter.com/6q8qAft1BX — Trapper Haskins (@TrapperHaskins) August 9, 2024
Get Tri-state area news delivered to your inbox. Sign up for NBC New York's News Headlines newsletter.
All I can think about when I see this is the hip hop dance teacher from Bob’s Burgers but if instead she was from Australia and was a 36 year old woman named Raygun https://t.co/nUwYVLnrms pic.twitter.com/Wl5FResHw7 — Shereef Sakr (@ShereefKeef) August 9, 2024
Watch all the action from the Paris Olympics live on NBC
when Raygun hit the kangaroo jawn I couldn't see the screen I was crying so hard pic.twitter.com/jcICfTu11d — Bradford Pearson (@BradfordPearson) August 9, 2024
I think I found the source of inspiration for the Raygun breakdance at the Olympics. https://t.co/t94Iyu1dPZ pic.twitter.com/a7DL9etwRz — Noodson (@noodson) August 9, 2024
Raygun was like pic.twitter.com/KvXVPVGScx — Charles J. Moore (@charles270) August 9, 2024
Raygun did THE SPRINKLER at this breakdance thing, this is the worst thing Australia has ever done. — Luis Paez-Pumar (@lppny) August 9, 2024
Anthropology doctoral candidate kyle bikowski received a dissertation fieldwork grant.
Anthropology doctoral candidate Kyle Bikowski received a Dissertation Fieldwork Grant from the Wenner-Gren Foundation to help fund his research in Mexico over the next year. Kyle's fieldwork centers on examining the role of joy, fun, and play in community building and identity construction with Gaymers (gay-gamers), while also troubling the boundaries between the virtual and actual places amid globalized contexts.
NOTICE: The University of Iowa Center for Advancement is an operational name for the State University of Iowa Foundation, an independent, Iowa nonprofit corporation organized as a 501(c)(3) tax-exempt, publicly supported charitable entity working to advance the University of Iowa. Please review its full disclosure statement.
About the university, research at cambridge.
The University does not require electronic copies of Masters Theses to be deposited in Apollo, which means that the Thesis team does not deposit individual Masters Theses via Symplectic Elements.
However, there is a batch upload arrangement in place for faculties/departments who wish to deposit their Masters Theses in Apollo. Interested faculties/departments should contact the Thesis team for further information ( [email protected]).
As all Theses that are deposited into Apollo via the batch upload arrangement will be immediately available (open access) in Apollo, it is only suitable for Theses that do not contain:
However, Faculties/departments may instead opt provide a redacted version of any Theses that do contain such content. If this option is chosen, Faculties/departments should deposit the original, unredacted Thesis and a redacted version. We have further information on our website about redacting material from theses.
It is important that these issues are resolved in advance of uploading the thesis to their shared drive, because depositing these items into Apollo may breach copyright or GDPR laws. If in doubt about a thesis, faculties/departments are advised not to include it in the batch upload request.
Should a Thesis have supplementary data files, the data should be uploaded separately via Symplectic Elements by the faculty/departmental administrator.
Copyright held by someone other than the author is known as third party copyright. If an author has used third party copyright material, they should ascertain whether or not they need permission to use it in their thesis.
We recommend that authors obtain permission to include material as they are researching. Clearing permission can take a long time, so unless a redacted version is supplied, it is not appropriate to include Theses for batch upload where permissions have been sought but are still outstanding. It is also not appropriate to include theses where permission has not been sought, or where permission has been denied.
Please be aware that different copyright rules apply to the hardbound copy that is deposited in the library for reference and the electronic version that is deposited in the repository. This is because the hardbound copy is considered unpublished and the electronic version, if made available as open access, is considered published. The thesis must credit the copyright holder(s) and source(s) of all third party copyright material.
There is more information on third party copyright on our website .
Sensitive information is data that must be protected for the privacy or security of an individual, group, or organisation. The kinds of sensitive information most likely to be included in theses are:
The Freedom of Information Act 2000 sets out the types of sensitive information to which legally enforceable restrictions may be applied. The University of Cambridge is bound by this Act. It may decide to apply restrictions to other types of information, including theses deposited in the University Library or Departmental and Faculty libraries, but they are not legally binding if not falling under the Act.
Unless a redacted version is supplied, it is also not appropriate to include theses for batch upload that contain sensitive/confidential information without authorisation from whom the information relates.
There is more information about sensitive material on our website
© 2020 Office of Scholarly Communication , University of Cambridge
This project is a joint initiative of Cambridge University Library and the Research Strategy Office .
Follow us on Twitter
Privacy policy
© 2024 University of Cambridge
Information for.
How to apply.
In this section.
Tuesday, August 13, 2024 | By jtitone
Alicia Martin, a Doctor of Philosophy candidate in the Department of Physics, will defend her thesis titled “Monte Carlo Validation of Dose, Quality Assurance Protocols and Shielding in Radiation Therapy” on Wednesday, Aug. 21 at 1 p.m., in Plaza building room 600F.
The examination committee includes Brian Roy, Chair; Thad Harroun, Supervisor; Kevin Ross Diamond, External Examiner (McMaster University); Shahryar Rahnamayan, Internal External Examiner, and Kirill Samokhin and Edward Sternin, Committee Members.
Tags: FMS , Physics , Thesis defence Categories: Events
Helpful links.
Every gift makes a difference.
Copyright © 2024 Brock University
Non-discrimination Policy University policies Privacy Accessibility
Niagara Region 1812 Sir Isaac Brock Way St. Catharines, ON L2S 3A1 Canada +1 905-688-5550
We acknowledge the land on which Brock University was built is the traditional territory of the Haudenosaunee and Anishinaabe peoples, many of whom continue to live and work here today. This territory is covered by the Upper Canada Treaties and is within the land protected by the Dish with One Spoon Wampum agreement. Today this gathering place is home to many First Nations, Metis, and Inuit peoples and acknowledging reminds us that our great standard of living is directly related to the resources and friendship of Indigenous people.
We use cookies to improve your overall web experience. By using our website you consent to our use of cookies in accordance with our Privacy Policy I agree
By: Samuel Gruetter
Abstract: Today’s software is full of bugs and vulnerabilities. Formal verification provides a promising remedy through mathematical specifications and machine-checked proofs that the implementations conform to the specifications. However, there could still be bugs in the specifications or in the verification tools, which could lead to missed bugs in the software being verified. Therefore, this dissertation advocates for foundational end-to-end verification, a proof-based software development method that can mitigate both of these concerns:
It is end-to-end in the sense that the correctness proofs of individual components are used to discharge the assumptions of adjacent components throughout the whole stack, resulting in end-to-end theorems that only mention the top-most and bottom-most specifications, so that bugs in intermediate specifications cannot invalidate the soundness of the end-to-end statement anymore.
The method is foundational in the sense that the soundness of the proofs only relies on the foundations of mathematics and on the correctness of a small proof-checking kernel, but not on the correctness of other, domain-specific verification tools, because these tools are either proven correct once-and-for-all, or they output proofs that are checked by the kernel.
Ensuring that all the reasoning can be checked by the same small foundational kernel requires considerable effort, and the first part of this dissertation presents techniques to reduce this effort:
Omnisemantics, a new style of semantics that can be used instead of traditional small-step or big-step operational semantics, offer a smooth way of combining undefined behavior and nondeterminism, and enable forward-simulation compiler correctness proofs with nondeterministic languages, whereas previous approaches need to fall back to the much less convenient backward simulations if support for nondeterminism is needed.
Live Verification is proposed, a technique to turn an interactive proof assistant into a programming assistant that displays the symbolic state of the program as the user writes it and allows the user to tweak the symbolic state as long as the tweaks are provably sound. An additional convenience-improving feature is that instead of stating lengthy loop invariants, the user only needs to give the diff between the symbolic state before the loop and the desired loop invariant, resulting in shorter and more maintainable annotations. Finally, in order to make Live Verification practical, a number of additional proof techniques is presented.
The second part of the dissertation shows how these techniques were useful in three collaborative case studies: An embedded system running on a verified processor with an end-to-end proof where the software-hardware interface specification cancels out, a cryptographic server with an end-to-end proof going from high-level elliptic-curve math all the way down to machine code, and a trap handler to catch unsupported-instruction exceptions whose correctness proof combines program-logic proofs about C-level functions, a compiler correctness proof, and proofs about hand-written assembly.
Zoom Link: https://mit.zoom.us/j/94297415474
Congratulations to our august 2024 graduates.
Posted by duthip1 on Thursday, August 8, 2024 in News .
Left to right: top, Jamie Joseph, Julia Thome, Shengxin Tu; bottom, Megan Hall, Julia Whitman
We are thrilled to celebrate the graduations of five students in our program. Click their names for more information. Dissertations and theses will be viewable at Vanderbilt’s Institutional Repository later this year.
Jamie Joseph , PhD, completed a dissertation titled “ Causal Approaches to Quantifying the Role of Engagement in Studies of Mobile Health Interventions ,” with advisor Andrew Spieker.
Julia Thome , PhD, completed a dissertation titled “ Assessing the Impact of Health Policies: Advancements in Causal Inference Methodology and Real-World Application ,” with advisor Bryan Shepherd.
Shengxin Tu , PhD, completed a dissertation titled “ Rank-Based Analyses and Designs with Clustered Data ,” with advisor Bryan Shepherd.
Megan Hall , MS, completed a thesis titled “Sampling Considerations in Intensive Longitudinal Data,” with advisor Matt Shotwell.
Julia Whitman , MS, completed a thesis titled “Properties of Variance Estimators in Finite Sample Sizes,” with advisor Andrew Spieker.
Tags: graduation
You must be logged in to post a comment
IMAGES
VIDEO
COMMENTS
Finding a Cambridge PhD thesis online via the institutional repository The University's institutional repository, Apollo, holds full-text digital versions of over 11,000 Cambridge PhD theses and is a rapidly growing collection deposited by Cambridge Ph.D. graduates.
Theses PhD Students (and the following Doctoral students: Doctor of Business, Doctor of Engineering, Doctor of Education, Doctor of Medicine, Doctor of Medicine under Special Regulations) are required to deposit an electronic copy of their thesis in the University of Cambridge's institutional repository, Apollo.
Since 1 October 2017, all PhD theses are being deposited in electronic form to the University repository Apollo. Many earlier theses are also in the repository, but if they are not yet in digital form it is possible to request access to these theses. There is more information on how to request a copy of a printed thesis further down this page.
Apollo - University of Cambridge Repository Apollo is the institutional repository of the University of Cambridge, managed by the Open Research Systems team based in Cambridge University Library. The Repository is committed to store and preserve the University's research outputs. Research outputs can include, but are not limited to, publications, conference proceedings, book chapters ...
The Manuscripts Reading Room administers the University's collection of doctoral and higher degree theses. Before 1920, degrees were awarded on the basis of examinations or certificates of research, and little written work composed specifically for such purposes survives, other than a small collection of Advanced Student Dissertations. Revised regulations were approved,
The PhD thesis. The doctoral thesis should contain material of sufficient originality to merit publication. The original material should be adequate to form a substantial basis of a monograph or at least two journal articles. The thesis should demonstrate the candidate's command of the relevant literature. The thesis should be a coherent piece ...
What happens following submission of the thesis for examination. When you submit your thesis for examination the Degree Committee will check the submission, acknowledge receipt, and inform Student Registry you have submitted. The Student Registry will update your CamSIS record. The Degree Committee will forward your thesis to your examiners.
PhD theses (HPS) We hold bound copies of all PhD theses completed by students in the Department of History and Philosophy of Science in the University of Cambridge since at least the mid 1980s.
Please note that theses dating prior to 2007 are stored offsite and require a notice period of 24 hours to be made available for consultation. The classmarks covered by these requirements are PhD.1 - PhD.29839. University of Cambridge theses are not available for inter-library loan. We can supply copies of theses to individuals for research.
Apollo, the University's institutional repository, holds full-text digital versions of several hundred Cambridge PhD. theses. This is a rapidly growing collection deposited on a voluntary basis.
The University Library subscribes to this collection of dissertations and theses from around the world, spanning from 1743 to the present day. Access is to abstracts only. Full text can be purchased online via ProQuest directly or by contacting the Cambridge University Library's (UL) Inter-Library Department. Accessible via cam domain or using ...
Submitting the hardbound and electronic (final) thesis (doctoral students) Final approval for doctoral degrees is conditional on you submitting a hardbound copy of your thesis for deposit in the University Library and uploading an electronic copy to Symplectic Elements for deposit in the University repository Apollo.
Where and what to submit. You should submit an electronic pdf copy of your thesis via the Engineering Degree Committee thesis submission Moodle site. Please name the file "PhD_ Your CRSid.pdf" so that it is identifiable. Providing examiners have been appointed, your thesis will be forwarded to the examiners within two days of receipt by the GSO.
This database includes 2.4 million dissertations and theses citations, representing 700 leading academic institutions worldwide from 1861 to the present day. It offers full text for most of the dissertations added since 1997 and strong retrospective full text coverage for older graduate works. Each dissertation published since 1980 includes a ...
Doctoral Students, Thesis Topics & Supervisors Doctoral Students, Thesis Topics & Supervisors Here is a list of current and recently completed PhD and EdD theses at the Faculty of Education. To contact Faculty doctoral students please use the University Email Search facility or the University Lookup Service.
Researching your dissertation When it comes to thinking about dissertations, it's useful to know how and where to look for material, both within Cambridge and further afield. The following is some guidance on finding various different types of material, whether primary or secondary.
The University does not require electronic copies of Masters Theses to be deposited in Apollo, which means that the Thesis team does not deposit individual Masters Theses via Symplectic Elements.
PhD Dissertations published by the Structures Group. Links are to abstracts of the thesis where available on-line. 273. Sivanendran, S. 2017. CFRP prestressed concrete exposed to moisture. 272. McNicholl, D. 2017.
Markus Kuhn's simple PhD thesis template ( snapshot) is just one possible starting point. The cam-thesis LaTeX class is a collaborative effort to maintain a Cambridge PhD thesis template for Computer Laboratory research students, initiated by Jean Martina, Rok Strniša, and Matej Urbas.
Some implications and consequences of the expansion of the universe are examined. In Chapter 1 it is shown that this expansion creates grave difficulties for the Hoyle-Narlikar theory of gravitation. Chapter 2 deals with perturbations of an expanding homogeneous and isotropic universe. The conclusion is reached that galaxies cannot be formed as a result of the growth of perturbations that were ...
A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines. - cambridge/thesis
Rachael Gunn earned a zero in breakdancing at the Paris 2024 Olympic Games.
Cambridge will allow him to continue this research, focusing on the rhetoric and statesmanship of the nineteenth-century British Prime Minister William Ewart Gladstone. "The opportunity to attend Cambridge as a Notre Dame Global-St. Edmund's College, Cambridge Graduate Program Fellow is simply remarkable.
As Dr. Rachel Gunn, she's a 36-year-old lecturer at Macquarie University in Australia. She holds a PhD in cultural science. She researches and lectures on the cultural politics of breaking. As ...
Anthropology doctoral candidate Kyle Bikowski received a Dissertation Fieldwork Grant from the Wenner-Gren Foundation to help fund his research in Mexico over the next year.
Masters Theses. The University does not require electronic copies of Masters Theses to be deposited in the University repository, Apollo, which means that the Thesis team does not deposit individual Masters Theses via Symplectic Elements. However, there is a batch upload arrangement in place for faculties/departments who wish to deposit their ...
Doctoral thesis defence in Physics. Alicia Martin, a Doctor of Philosophy candidate in the Department of Physics, will defend her thesis titled "Monte Carlo Validation of Dose, Quality Assurance Protocols and Shielding in Radiation Therapy" on Wednesday, Aug. 21 at 1 p.m., in Plaza building room 600F.
The theses in UWSpace are publicly accessible unless restricted due to publication or patent pending. This collection includes a subset of theses submitted by graduates of the University of Waterloo as a partial requirement of a degree program at the Master's or PhD level.
The second part of the dissertation shows how these techniques were useful in three collaborative case studies: An embedded system running on a verified processor with an end-to-end proof where the software-hardware interface specification cancels out, a cryptographic server with an end-to-end proof going from high-level elliptic-curve math all ...
Left to right: top, Jamie Joseph, Julia Thome, Shengxin Tu; bottom, Megan Hall, Julia Whitman We are thrilled to celebrate the graduations of five students in our program. Click their names for more information. Dissertations and theses will be viewable at Vanderbilt's Institutional Repository later this year. Jamie Joseph, PhD, completed a dissertation titled "Causal...