Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
61 - 110 of 436 search results for watson

  1. Fully-matching results

  2. David Chisnall - Publications

    https://www.cl.cam.ac.uk/www.cl.cam.ac.uk/~dc552/publications.html
    15 Feb 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Peter G. Neumann and Michael Roe.

  3. Department of Computer Science and Technology: ASPLOS 2022 - CHERI…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2022asplos/
    1 May 2024: 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.

  4. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html
    23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.

  5. Research Associate (Social Science) - Department of Public Health and …

    https://www.phpc.cam.ac.uk/blog/research-associate-social-science/
    23 Feb 2024: Lynette Watson: phpc.admin@medschl.cam.ac.uk or by post to Department of Public Health and Primary Care, Strangeways Research Laboratory, Worts Causeway, Cambridge CB1 8RN.

  6. Academic Consultants | Department of Oncology

    https://www.oncology.cam.ac.uk/directory/consultants
    23 Feb 2024: Search site. Department of Oncology. Academic ConsultantsOur Academic Consultants undertake academic research in addition to their clinical duties. Professor of Precision Breast Cancer Medicine. Academic Consultant in Medical Oncology. Director of

  7. sewellandgroupbib2.bib

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html
    23 May 2024: sewellandgroupbib2.bib.. @article{physics4, author = {M. E. Woods and B. J. Hopkins and G. F. Matthews and G. M. McCracken and P. M. Sewell and H. Fahrang}, title = {An Investigation of the Secondary-Electron Emission of Carbon Samples Exposed to a

  8. Emily Jones - Department of Public Health and Primary Care

    https://www.phpc.cam.ac.uk/people/departmental-administration/emily-jones/
    23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Emily Jones. Professional Services Team. Department of Public Health and

  9. sewellandgroupbib2

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics.

  10. Group Leaders | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/sd-classification/group-leaders
    23 Feb 2024: Search site. Cambridge Cardiovascular. Group LeadersConsultant Radiologist. Professor. University Lecturer in Haematological Genomics. Professor. BHF Professor of Cardiovascular Sciences. Head of the Section of Cardiovascular and Respiratory Medicine

  11. Jezz Martin - Department of Public Health and Primary Care

    https://www.phpc.cam.ac.uk/people/departmental-administration/jezz-martin/
    23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Jezz Martin. Professional Services Team. Department of Public Health and

  12. Jayne Traub - Department of Public Health and Primary Care

    https://www.phpc.cam.ac.uk/people/departmental-administration/jayne-traub/
    23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Jayne Traub. Professional Services Team. Department of Public Health and

  13. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/elver_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics.

  14. Royal Papworth Hospital | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/institutions/papworth
    23 Feb 2024: Read more at: Dr Will Watson.. ... Dr Will Watson. .

  15. recent.bib

    https://www.cl.cam.ac.uk/~pes20/recent_bib.html
    23 May 2024: M. Watson}, title = {Formal {CHERI}: rigorous engineering and design-time proof of full-scale architecture security properties}, howpublished = {Blog post, url{https://www.lightbluetouchpaper.org/2022/07/22/formal-cheri/}}, month = ... M. Watson and

  16. https://www.cardiovascular.cam.ac.uk/taxonomy/term/12/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/12/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  17. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus.html
    23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.

  18. Professor Nick Morrell | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/nmorrell
    23 Feb 2024: Lancet Respir Med. 2016;4:129-37. 3. Rhodes CJ, Ghataorhe P, Wharton J, Rue-Albrecht KC, Hadinnapola C, Watson G, Bleda M, Haimel M, Coghlan G, Corris PA, Howard LS,

  19. People - Primary Care Unit

    https://www.phpc.cam.ac.uk/pcu/people/
    23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. People. Primary Care Unit. People. Please use the Left Hand Menu to find people

  20. Kara Rainbow - Institute of Metabolic Science-Metabolic Research…

    https://www.mrl.ims.cam.ac.uk/kara-rainbow/
    23 Feb 2024: Background and experience. I first became interested in science as a child watching an episode of Horizon with Geoff Goldblum playing James Watson!

  21. https://www.cardiovascular.cam.ac.uk/taxonomy/term/19/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/19/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  22. The LMB- present and future… University of Cambrigde

    https://www.medschl.cam.ac.uk/lmb-past-present-future/
    23 Feb 2024: ten Nobel Prizes, including Fred Sanger (1958 and 1980), Max Perutz and John Kendrew (1962), Jim Watson and Francis Crick (1962) and most recently, Venki Ramakrishnan (2009).

  23. Jobs Opportunities at the School of Clinical Medicine

    https://www.medschl.cam.ac.uk/about/school-of-clinical-medicine-jobs/
    23 Feb 2024: Research Associate (Watson Lab) Pre-leukaemic evolution and remote patient monitoring (Fixed Term).

  24. Staff Archive - Page 48 of 51 - Department of Medicine

    https://www.med.cam.ac.uk/staff/page/48/
    23 Feb 2024: Samuel Watson. Vince Webb. Michael Weekes. Aaron Weimann. Abigail Wells. James West.

  25. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/recent_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics.

  26. https://www.cardiovascular.cam.ac.uk/taxonomy/term/6/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/6/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  27. https://www.cardiovascular.cam.ac.uk/taxonomy/term/56/feed

    https://www.cardiovascular.cam.ac.uk/taxonomy/term/56/feed
    23 Feb 2024: Watson WD, Green PG, Lewis AJM, Arvidsson P, De Maria GL, Arheden H, Heiberg E, Clarke WT, Rodgers CT, Valkovic L, Neubauer S, Herring N, Rider OJ (2022). ... Rayner JJ, Peterzan MA,<b>Watson WD</b>, Clarke WT, Neubauer S, Rodgers CT, Rider OJ.Circulation

  28. Professional Services Team - Department of Public Health and Primary…

    https://www.phpc.cam.ac.uk/people/departmental-administration/
    23 Feb 2024: Quick Links. For staff. For alumni. For business. Colleges & departments. Libraries & facilities. Museums & collections. Email & phone search. Site Search. Site Search. Professional Services Team. Department of Public Health and Primary Care.

  29. Department of Computer Science and Technology: CHERI Rigorous…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html
    22 Feb 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  30. Dr Stephanie Jung | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/sjung
    23 Feb 2024: Jung SM, Moroi M, Soejima K, Nakagaki T, Miura Y, Berndt MC, Gardiner EE, Howes JM, Pugh N, Bihan D, Watson SP, Farndale RW.

  31. Andrew Travers - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/group-leaders/emeritus/andrew-travers/
    Thumbnail for Andrew Travers - MRC Laboratory of Molecular Biology 14 Mar 2024: After this he took a couple of years out as a post-doc in Jim Watson’s lab at Harvard University where he co-discovered the first of the RNA polymerase

  32. EMBO Awards - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/embo-awards/
    Thumbnail for EMBO Awards - MRC Laboratory of Molecular Biology 10 Jan 2024: EMBO Awards & Honours The European Molecular Biology Organisation (EMBO) was founded in 1964 to promote molecular biology in Europe.  Its aim is to

  33. topic.cheri.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html
    23 May 2024: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N.

  34. Professor Walid Khaled | Wellcome-MRC Cambridge Stem Cell Institute

    https://www.stemcells.cam.ac.uk/people/pi/khaled
    23 Feb 2024: Christine Watson working on mammary gland development. In 2008, he was elected to a Junior Research Fellowship, at King’s College, Cambridge and 2009 joined the Sanger Institute as a Postdoctoral

  35. Dr Andrew J Murray | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/amurray
    23 Feb 2024: Murray AJ, Anderson RE, Watson GC, Radda GK, Clarke K.

  36. Professor Ludovic Vallier | Wellcome-MRC Cambridge Stem Cell Institute

    https://www.stemcells.cam.ac.uk/people/affiliates/vallier
    23 Feb 2024: Amin I, Gibbs P, Sinha S, Teichmann SA, Butler AJ, See TC, Melum E, Watson CJE, Saeb-Parsy K, Vallier L.

  37. Department of Computer Science and Technology: CHERI Publications

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-publications.html
    2 Mar 2024: Boston, MA, USA, November 5-8, 2017. Robert N. M. Watson, Peter G. ... Robert N. M. Watson, Jonathan Woodruff, Michael Roe, Simon W. Moore, Peter G.

  38. Department of Computer Science and Technology: Honours

    https://www.cl.cam.ac.uk/misc/honours/
    19 Apr 2024: Peter co-leads, along with Robert Watson and Simon Moore here in Cambridge and Peter Neumann at SRI International, the CHERI cybersecurity project.

  39. Professor Ken Smith - Department of Medicine

    https://www.med.cam.ac.uk/professor-ken-smith/
    23 Feb 2024: Clatworthy MR, Watson CJE, Plotnek G, Bardsley V, Chaudhry AN, Bradley JA and Smith KGC (2009) B cell depleting induction therapy and acute cellular rejection New England Journal of Medicine 360;

  40. Dr Nicholas Pugh | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/npugh
    23 Feb 2024: Metallomics. 2016. 8(2):144-55. 4. Watson, B.R., White, N.A., Taylor, K.A., Howes, J.M., Malcor, J-D., Bihan, D., Sage, S.O., Farndale, R.W., Pugh,

  41. Dr Adam J. Brown | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/abrown
    23 Feb 2024: Davies WR, Brown AJ, Watson W, McCormick LM, West NE, Dutka DP, Hoole SP.

  42. Royal Society Awards - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/achievements/royal-society-awards/
    Thumbnail for Royal Society Awards - MRC Laboratory of Molecular Biology 16 May 2024: Royal Society Awards & Honours The Royal Society is a Fellowship of the world's most eminent scientists and is the oldest scientific academy in

  43. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

  44. Lehner Archives - Department of Medicine

    https://www.med.cam.ac.uk/blog/pi_group/lehner/
    23 Feb 2024: Samuel Watson.

  45. Department of Computer Science and Technology: Group Members

    https://www.cl.cam.ac.uk/research/srg/people/
    5 Mar 2024: Search site. Members. Department of Computer Science and Technology. Group Members. Contents. Faculty. has been the Marconi Professor of Communications Systems in the Computer Laboratory since October 2001. He worked on Internet support for

  46. Directory | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/w
    23 Feb 2024: Search site. Cambridge Cardiovascular. Directory. Select. please select. A. B. C. D. E. F. G. H. I. J. K. L. M. N. O. P. Q. R. S. T. U. V. W. X. Y. Z. Name. Office phone. Email address. Job titles. PhD Student, Department of Clinical Neurosciences.

  47. Profesor Menna Clatworthy | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/menna-clatworthy
    23 Feb 2024: Clatworthy MR, Watson CJ, Plotnek G, Bardsley V, Chaudhry AN, Bradley JA, Smith KG.

  48. Dr Carmel McEniery | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/cmceniery
    23 Feb 2024: Pucci G, Cheriyan J, Hubsch A, Hickson SS, Gajendragadkar PR, Watson T, O'Sullivan M, Woodcock-Smith J, Schillaci G, Wilkinson IB, McEniery CM.

  49. Department of Computer Science and Technology – CHERI: The Arm…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-morello.html
    22 Feb 2024: Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. ... What CHERI-aware software will Morello run? The following slide from Robert Watson (Cambridge)'s slides from the DSbD workshop illustrate the rough anticipated software stack to be

  50. Department of Computer Science and Technology – CTSRD: Project news

    https://www.cl.cam.ac.uk/research/security/ctsrd/news.html
    4 Mar 2024: December, 2013. Robert Watson has written a Light Blue Touchpaper blog post, 2013 Capsicum year in review, describing research and deployment progress for Capsicum in 2013. ... December 2012. IEEE Spectrum has posted a Techwise Conversations podcast with

  51. Dr Cedric Ghevaert | Cambridge Cardiovascular

    https://www.cardiovascular.cam.ac.uk/directory/cghevaert
    23 Feb 2024: Hobbs CM, Manning H, Bennett C, Vasquez L, Severin S, Brain L, Mazharian A, Guerrero JA, Li J, Soranzo N, Green AR, Watson SP, Ghevaert C.

Refine your results

Format

clear all

Date

Related searches for watson

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.