Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

computing

# Episode Title Description People Date
1 Creative Commons Inferring Scope through Syntactic Sugar Justin Pombrio, Brown University, USA, gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICPF conference. Co-written by Shriram Krishnamurthi, Brown University, USA, Mitchell Wand, Northeastern University, USA. Justin Pombrio 14 Sep 2017
2 Creative Commons Automating Sized-Type Inference for Complexity Analysis Martin Avanzini, University of Innsbruck, Austria, gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICPF conference. Co-written by Ugo Dal Lago Ugo Dal Lago University of Bologna, Italy / Inria, France Italy. Martin Avanzini 14 Sep 2017
3 Creative Commons Constrained Type Families Richard A. Eisenberg, Bryn Mawr College, USA, gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICPF conference. Co-written by J. Garrett Morris, University of Kansas, USA, Richard A Eisenberg 14 Sep 2017
4 Creative Commons Gradual Typing with Union and Intersection Types Victor Lanvin ENS Cachan, France, gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICPF conference. Co-written by Co-written by Giuseppe Castagna, CNRS/University of Paris Diderot, Victor Lanvin 14 Sep 2017
5 Creative Commons On Polymorphic Gradual Typing Yuu Igarashi, Kyoto University, Japan, gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICPF conference. Co-written by Taro Sekiyama, IBM Research, Japan, Atsushi Igarashi, Kyoto University, Japan. Yuu Igarashi 14 Sep 2017
6 Creative Commons Theorems for Free for Free: Parametricity, With and Without Types Amal Ahmed, Northeastern University, USA, gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICPF conference. Amal Ahmed 14 Sep 2017
7 Creative Commons Gradual Session Types Peter Thiemann, University of Freiburg, Germany, gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICPF conference. Peter Thiemann 14 Sep 2017
8 Creative Commons Manifest Sharing with Session Types Stephanie Balzer, Carnegie Mellon University, USA gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICPF conference.. Co-written Frank Pfenning Carnegie Mellon University, USA. Stephanie Balzer 14 Sep 2017
9 Creative Commons Chaperone Contracts for Higher-Order Sessions Hernan Melgratti, University of Buenos Aires, Argentina, gives the first talk in the third panel, Contracts and Sessions, on the 3rd day of the ICPF conference. Co-written by Luca Padovani Luca Padovani, University of Turin, Italy. Hernan Melgratti 14 Sep 2017
10 Creative Commons A Metaprogramming Framework for Formal Verification Sebastian Ullrich, KIT, Germany, gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICPF conference. Sebastian Ullrich 14 Sep 2017
11 Creative Commons Normalization by Evaluation for Sized Dependent Types Andreas Abel, University of Gothenburg, Sweden, gives the first talk in the second panel, Dependently Typed Programming , on the 3rd day of the ICPF conference. Andreas Abel 14 Sep 2017
12 Creative Commons A Specification for Dependent Types in Haskell Antoine Vizard, University of Pennsylvania, USA, gives the first talk in the second panel, Dependently Typed Programming , on the 3rd day of the ICPF conference. Antoine Vizard 14 Sep 2017
13 Creative Commons Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) Robby Findler, Northwestern University, USA, gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICPF conference. Robby Findler 14 Sep 2017
14 Creative Commons Visitors Unchained François Pottier, Inria, France, gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICPF conference. François Pottier 14 Sep 2017
15 Creative Commons Compiling to Categories Conan Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICPF conference. Conan Elliott 14 Sep 2017
16 Creative Commons Local Refinement Typing Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICPF conference. Co-written by Ranjit Jhala, University of California at San Diego, USA. Benjamin Cosman 14 Sep 2017
17 Creative Commons SpaceSearch: A Library for Building and Verifying Solver-Aided Tools Konstantin Weitz, University of Washington, USA, gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICPF conference. Konstantin Weitz 14 Sep 2017
18 Creative Commons Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Muralidaran Vijayaraghavan, Massachusetts Institute of Technology, USA, gives the first talk in the fourth panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Muralidaran Vijayaraghavan 14 Sep 2017
19 Creative Commons No-Brainer CPS Conversion Milo Davis, Northeastern University, USA gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF. Co-written by William Meehan, Northeastern University, USA, Olin Shivers, Northeastern University, USA Milo Davis 14 Sep 2017
20 Creative Commons Foundations of Strong Call by Need Thibaut Balabonski, LRI, France / University of Paris-Sud, France gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Thibaut Balabonski 14 Sep 2017
21 Creative Commons A Relational Logic for Higher-Order Programs Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Alejandro Aguirre 14 Sep 2017
22 Creative Commons How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation Makoto Hamana, Gunma University, Japan, gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICPF conference. Makoto Hamana 14 Sep 2017
23 Creative Commons Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols Geoffrey Mainland, Drexel University, USA, gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICPF conference. Geoffrey Mainland 14 Sep 2017
24 Creative Commons Verifying Efficient Function Calls in CakeML Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICPF conference. Scott Owens 14 Sep 2017
25 Creative Commons Verified Low-Level Programming Embedded in F* Jonathan Protzen, Microsoft Research, n.n, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICPF conference. Jonathan Protzen 14 Sep 2017
26 Creative Commons Persistence for the Masses: RRB-Vectors in a Systems Language Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICPF conference. Juan Pedro Bolívar Puente 14 Sep 2017
27 Creative Commons Assuring AI John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICPF conference. John Launchbury 14 Sep 2017
28 Creative Commons Effect-Driven QuickChecking of Compilers Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICPF 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. Jan Midtgaard 13 Sep 2017
29 Creative Commons Imperative Functional Programs That Explain Their Work Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICPF 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK. Jan Stolarek 13 Sep 2017
30 Creative Commons On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICPF 2017 conference. Co-written by Yannick Forster, Saarland University, Germany/University of Cambridge, UK, Sam Lindley, University of Edinburgh. Ohad Kammar 13 Sep 2017
31 Creative Commons Abstracting Definitional Interpreters David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICPF 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phúc C. Nguyễn, University of Maryland, USA. David Darais 13 Sep 2017
32 Creative Commons Symbolic Conditioning of Arrays in Probabilistic Programs Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICPF 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA. Praveen Narayanan 13 Sep 2017
33 Creative Commons A Framework for Adaptive Differential Privacy Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICPF 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA. Daniel Winograd-Cort 13 Sep 2017
34 Creative Commons Prototyping a Query Compiler using Coq (Experience Report) Louis Mandel, IBM, gives the first presentation in the third panel, Applications, in the ICPF 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA. Louis Mandel 13 Sep 2017
35 Creative Commons A Unified Approach to Solving Seven Programming Problems (Functional Pearl) William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICPF 2017 conference. Co-written by Gregory Rosenblatt, n.n, Matthew Might, Michael Ballantyne, University of Utah. William E Byrd 13 Sep 2017
36 Creative Commons Generic Functional Parallel Algorithms: Scan and FFT Conan Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICPF 2017 conference. Conan Elliott 13 Sep 2017
37 Creative Commons A Pretty But Not Greedy Printer (Functional Pearl) Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICPF 2017 conference. Jean-Philippe Bernardy 13 Sep 2017
38 Creative Commons Faster Coroutine Pipelines Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICPF 2017 conference. Mike Spivey 13 Sep 2017
39 Creative Commons Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC Roberto Di Cosmo, Inria, France / University of Paris Diderot, France, gives the fourth presentation in the first panel, Art and Education, in the ICPF 2017 conference. Co-written by Benjamin Canou, OCamlPro, n.n and Grégoire Henry OCamlPro, n.n. Roberto Di Cosmo 13 Sep 2017
40 Creative Commons Lock-Step Simulation Is Child's Play (Experience Report) Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICPF 2017 conference. Co-written by Chris Smith Google, USA. Joachim Breiner 13 Sep 2017
41 Creative Commons Testing and Debugging Functional Reactive Programming Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICPF 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. Ivan Perez 13 Sep 2017
42 Creative Commons Super 8 Languages for Making Movies (Functional Pearl) Leif Andersen, Northeastern University, USA, gives the first presentation in the first panel, Art and Education, in the ICPF 2017 conference. Co-written by Stephen Chang, Northeastern University, USA and Matthias Felleisen Northeastern University, USA. Leif Andersen 13 Sep 2017
43 Creative Commons Compositional creativity: some principles for talking to computers Chris Martens gives the first Speaker North Carolina State University United States Chris Martens 13 Sep 2017
44 Lovelace Lecture: Learning and Efficiency of Outcomes in Games Éva Tardos, Department of Computer Science, Cornell University, gives the 2017 Ada Lovelace Lecture on 6th June 2017. Éva Tardos, Leslie Goldberg 22 Aug 2017
45 Exploring the next generation digital learning environments Chuck Severance, University of Michigan, looks at Learning Management Systems and what comes next. D Charles Severance 13 Jul 2017
46 2017 Closing Keynote: What Happens When the Internet of Things Meets the Humanities? Andrew Prescott, University of Glasgow and AHRC Theme Leader Fellow for Digital Transformations, gives the closing keynote for the 2017 DHOXSS. Andrew Prescott 07 Jul 2017
47 Wikimedia: Wikipedia's sister projects as platforms for Digital Humanities Martin Poulter, Oxford's Wikimedian in Reseidence, gives a masterclass in using Wikimedia for digital research. Martin Poulter 07 Jul 2017
48 Working with very large corpora: Building your worksets in the HathiTrust Kevin Page, Iain Emsley and David Weigl talk about using The HathiTrust Digital Library to conduct research in this interstice workshop. Kevin Page, Iain Emsley, David Weigl 07 Jul 2017
49 Ada Lovelace: Creative computing and an experimental humanities Pip Willcox and David De Roure give a presentation on Ada Lovelace, one of the early pioneers in computing. Pip Wilcox, David De Roure 07 Jul 2017
50 The Open Source Advisory Service - OSS Watch Rowan Wilson gives a talk about working with Sebastian on setting up the national service - OSS Watch, the Open Source Software advisory service. Rowan Wilson 16 Nov 2016
51 Humanities Computing at Southampton, and The Non-Catholic Cemetery in Rome Wendy Hall and Les Carr share their memories of work at Southampton University. Nicholas Stanley-Price and Amanda Thursfield, (The Non-Catholic Cemetery in Rome) share their experiences with working with Sebastian Rahtz. Wendy Hall, Les Carr, Nicholas Stanley-Price, Amanda Thursfield 16 Nov 2016
52 Oxford University Department of Computer Science: Second Year Group Design Practicals Students undertaking undergraduate (first) degrees in Computer Science, Computer Science & Philosophy and Maths & Computer Science undertake a Group Design Practical as a compulsory part of the course. Computer Science Students 08 Nov 2016
53 Data Visualisation Mark Hahnel (Founder of figshare), gives the second presentation in the conference. Mark Hahnel 02 Nov 2016
54 Mobile in Museums Theodore Koterwas, Mobile Development Team Lead, IT Services, gives a short talk for Oxford University Museums Staff Conference Theodore Koterwas 31 Oct 2016
55 Creative Commons Strachey Lecture - Quantum Supremacy Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. Scott Aaronson 14 Jun 2016
56 Creative Commons Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine? Panel discussion to conclude the symposium with Muffy Calder, Valerie Barr, Suw Charman-Anderson, Murray Pittock and Cheryl Praeger. Muffy Calder, Valerie Barr, Suw Charman-Anderson, Murray Pittock 18 Dec 2015
57 Creative Commons Humans, machines, and the future of work Moshe Vardi, Rice University explores the question "If machines are capable of doing almost any work humans can do, what will humans do?". Moshe Vardi 18 Dec 2015
58 Creative Commons Mathematics and culture: geometry and its ‘Figures in the Air’ Judith Grabiner, Pitzer College describes how the 19th century saw radical change, producing new ideas of space, destroying the unchallenging authority of mathematics, revolutionising art, making relativity possible and helping create modernism. Judith Grabiner 18 Dec 2015
59 Creative Commons Imaginary engines In this talk graphic artist and animator Sydney Padua talks about her bestselling graphic novel "The Thrilling Adventures of Lovelace and Babbage". She will also display her 3D animations of how the Analytical Engine would have looked and operated. Sydney Padua 18 Dec 2015
60 Creative Commons The Analytical Engine and the Aeolian Harp In this talk Imogen Forbes-Macphail, University of California, Berkeley, contextualises Lovelace's work on the engines against the backdrop of Romantic thought surrounding the power of poetry and the nature of original composition. Imogen Forbes-Macphail 18 Dec 2015
61 Creative Commons Enchantress of Numbers or a mere debugger?: a brief history of cultural and academic understandings of Ada Lovelace To mark the 200th anniversary of Lovelace's birth, Elizabeth Bruton, Museum of the History of Science, reviews and explores academic and popular representations of Ada Lovelace and engage with the controversy of her claim as the first computer programmer. Elizabeth Bruton, Sally Shuttleworth 18 Dec 2015
62 Creative Commons The mathematical correspondence of Ada Lovelace and Augustus De Morgan During the years 1840-1, Ada Lovelace corresponded with the mathematician Augustus De Morgan. In this talk Christopher Hollings, University of Oxford reports on recent new studies of the mathematics Ada was learning with De Morgan. Christopher Hollings 18 Dec 2015
63 Creative Commons The early education of Ada Byron In this talk Julia Markus, Hofstra University shall dispel the myth that Lady Byron kept Ada from poetry, she will also show that the mother-daughter relationship was a psychological spur to Ada's early experiments. Julia Markus 18 Dec 2015
64 Creative Commons Pythagoras to pacifism: mathematics and archives In this talk June Barrow-Green from the Open University describes some mathematical archives and some of the issues associated with them. Includes an introduction from Vicki Hanson, Vice-President of the ACM. June Barrow-Green, Vicki Hanson 18 Dec 2015
65 Creative Commons Will you concede me Poetical Science? Ada Lovelace had a broad interest in the science and technologies of the day and explored post-Romantic ideas which made a significant link between science and poetry. In this talk Richard Holmes looks at some of these surprising connections. Richard Holmes 18 Dec 2015
66 Creative Commons Ada Lovelace lives forever: Ada’s four questions How Ada approached information is the key to understanding her contribution. In this talk Betty Toole, author of "ADA: The Enchantress of Numbers" focuses on Ada's four questions: What is the source? What does it mean? What if? and Why not? Betty Toole 18 Dec 2015
67 Creative Commons From Byron to the Ada Programming Language John Barnes, Ada software consultant talks about Byron and his bear and the evolution of the computing language named after Ada Lovelace. John Barnes 17 Dec 2015
68 Creative Commons Turning numbers into notes Composer Emily Howard talks to David De Roure about her musical composition 'Ada sketches'. Emily Howard, David De Roure 17 Dec 2015
69 Creative Commons Ada Lovelace, a scientist in the archives Ursula Martin, University of Oxford and Soren Riis, Queen Mary University of London give new focus to letters within the archive of Ada Lovelace's family documents. Includes an introduction by Nick Woodhouse, President of the Clay Mathematics Institute. Soren Riis, Ursula Martin, Nick Woodhouse 17 Dec 2015
70 Creative Commons Notions and notations: designing computers before computing Adrian Johnstone, Royal Holloway, University of London reviews Babbage's remarkable 'Mechanical Notation'. Adrian Johnstone 17 Dec 2015
71 Creative Commons Interpreting dreams of abstract machines Bernard Sufrin, University of Oxford establishes a context of Ada's 'Translators Notes' using more recent descriptions of computing machinery and programming methods. Bernard Sufrin 17 Dec 2015
72 Charles Babbage and Ada Lovelace: two visions of computing Doron Swade, Royal Holloway, University of London reviews the trajectory of Babbage's calculating Engines and examines Ada Lovelace's contribution to computing. Doron Swade 17 Dec 2015
73 Creative Commons Introduction to the Ada Lovelace Symposium Alexander Wolf, President of the Association for Computing Machinery and Imperial College London, introduces the Ada Lovelace Symposium. Alexander Wolf 14 Dec 2015
74 What is e-Research? Introducing the Wolfson College Digital Research Cluster Introducing a new strategic collaboration between Wolfson College and the Oxford e-Research Centre. Christina Redfield, David De Roure, Andrew Richards, Wesley Armour 16 Nov 2015
75 Creative Commons The limits of human performance and artificial intelligence In this new Oxford talk, Garry Kasparov, Senior Visiting Fellow at the Oxford Martin School, turns his attention to the rapidly evolving relationship between humans and technology. Garry Kasparov 18 Aug 2015
76 Creative Commons Ben Holmes on Open Code Ben Holmes, a web developer for the Oxford IT Services, talks about the relevance of Open Code for the University’s WebLearn platform, the Mobile Oxford App, and his own involvement in GitHub. Ben Holmes 15 Jul 2015
77 Creative Commons Luciano Floridi on The Ethics of Open Data Luciano Floridi, Professor of Philosophy and Ethics of Information at the Oxford Internet Institute, discusses the ethical questions raised by the emergence of Open Data and Big Data. Luciano Floridi 15 Jul 2015
78 Computation and the Future of Mathematics Stephen Wolfram, creator of Mathematica and Wolfram Alpha, gives a talk about the future of mathematics and computation. Stephen Wolfram 15 Jan 2014
79 OII Internet and Society Awards: Raspberry Pi Victoria Nash, talks to Pete Lomas, Founder and Trustee at Raspberry Pi, recipients of an Internet and Society Award in 2012 from OII, in recognition of their exemplary efforts in using the Internet for the public good in Britain. Victoria Nash, Pete Lomas 02 Jan 2013
80 The Life Story of a Pioneer: From Hi-tech to Philanthropy The OII's Founding Donor Dame Stephanie Shirley speaks about the sources of her innovation, the software house she founded back in 1962 and why she has already given away £65M to IT and autism projects. Stephanie Shirley 02 Jan 2013
81 Morphogenesis Then and Now Philip Maini, Oxford University, gives a talk for the Alan Turing Centenary weekend. Philip Maini 22 Oct 2012
82 Congruent Worlds: Turing, Lovelace and Babbage Doron Swade, Royal Holloway, Univ. of London, gives a talk for the Alan Turing Centenary weekend. Doron Swade 22 Oct 2012
83 What Alan Turing might have discovered Stephen Wolfram, founder and CEO of Wolfram Research and creator of Mathematica, gives a talk for the Alan Turing Centenary weekend. Stephen Wolfram 22 Oct 2012
84 Creative Commons Turing in the History of Software Cliff Jones, Newcastle University, gives a talk for the Alan Turing Centenary Weekend. Cliff jones 22 Oct 2012
85 Creative Commons Turing in the age of the Internet and the quantum computer Samson Abramsky, Oxford University, gives a talk for the Alan Turing Centenary weekend. Samson Abramsky 22 Oct 2012
86 Creative Commons Decidability: The Entscheidungs problem Robin Whitty, London South Bank University, gives a talk for the Alan Turing Centenary weekend. Robin Whitty 22 Oct 2012
87 Creative Commons Turing and the Public Consciousness: Turing 2.0(12) Sue Black, University College London, Turing and the Public Consciousness: Turing 2.0(12). Sue Black 22 Oct 2012
88 Creative Commons Welcome Address Jonathan Bowen, London South Bank University. Jonathan Bowen 22 Oct 2012
89 Creative Commons How can we deal with the challenge of 'data overload'? We are reaching a point where computers can no longer cope with the quantity of data collected from cosmological simulations - a problem that will grow, not only in cosmology. Pedro Ferreira 20 Aug 2012
90 Computation and the Future of Mathematics Stephen Wolfram, creator of Mathematica and Wolfram Alpha, gives a talk about the future of mathematics and computation. Stephen Wolfram 25 Jun 2012
91 Creative Commons Alan Turing: The One Who Became a Zero Andrew Hodges (author of Alan Turing: The Enigma) delivers a lecture on Alan Turing, the founder of modern computer science, as part of LGBT month. Andrew Hodges 02 Mar 2012
92 Creative Commons Alan Turing: The One Who Became a Zero Andrew Hodges (author of Alan Turing: The Enigma) delivers a lecture on Alan Turing, the founder of modern computer science. This is the third annual lecture for LGBT history month. Andrew Hodges 02 Mar 2012
93 Creative Commons Student Innovation: Developing Mobile Apps for learning Helen Ginn, a Biochemistry undergraduate at Magdalen College, talks about how she developed a mobile app to serve a specific niche task. Helen Ginn 01 Feb 2012
94 Systems Science and Inequalities in Obesity in England - Findings from an Agent-Based Model Abdulrahman El-Sayid, DPhil Student, British Heart Foundation, Oxford, gives a talk for the Unit for Biocultural Variation and Obesity (UBVO) seminar series. Abdulrahman El-Sayid 27 May 2011
95 We are the Web: The future of the social machine The Web 2.0 world is commonplace but the promise of massive scale human computing has barely been exploited. This seminar explores the potential, challenges, and promises for next-generation technologies that can empower humanity to address key problems. Jim Hendler 30 Apr 2010
96 Computer Aided Drug Design Prof. Graham Richards lectures at the Sutton Trust Chemistry Summer School, a week long workshop featuring chemistry lectures and lab work. Graham Richards 24 Apr 2008