John Wickerson

Name:	John Wickerson
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	13 Oct 2014, 10:08 a.m.

Public lists managed by John Wickerson

Talks given by John Wickerson

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Ribbon Proofs for Separation Logic
• Ribbon proofs for separation logic
• Explicit Stabilisation for Rely-Guarantee reasoning

Talks organised by John Wickerson

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that John Wickerson actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Title to be confirmed
• How to make Auto-tune? Harmonic Audio Pitch Detection and Correction
• Macros in Clojure
• Feature Extraction Method of Eye Detection / HOWTO: Sleep Detection
• Anonymous Information Storage and Retrieval
• Bootstrapping compilers / self-hosting compilers
• Evolutionary Computation
• Bufferbloat and RED
• NoSQL
• Bloom filters
• History of Cryptography
• Lossless Data Compression
• Music, Movies, Media
• Cooperative Pathfinding - from A Star to the field
• How to cook an undigestable program with lots of LOLZ? [Esoteric programming languages]
• Photon Mapping
• How Parallel is My Computer?
• Skip Lists
• Principal Component Analysis
• Algorithms on Strings
• Concurrent Programming
• Viola-Jones Real-time Face Detection
• Title to be confirmed
• Title to be confirmed
• Title to be confirmed
• Title to be confirmed
• Mobile ad-hoc networks
• Software as Engineering
• When will We See Princess Leia?
• Type-Checking and Type-Error Reporting
• html5 - imagination, meet implementation
• IPv6
• Security in Computer Entertainment
• Data compression techniques in theory and practice
• Facebook Platform ruined my life
• Scripting with Lua
• A Brief Overview of Procedural Generation
• Unmanned Helicopter Flight: Learning for Control from Multiple Demonstrations
• How to keep your secrets secret
• How Humans Hear
• Big Numbers
• An Introduction to Bioinformatics
• Peer-to-peer Networking
• Index and ETF arbitrage
• Title to be confirmed
• Electronic Warfare
• Demystifying the Cloud: A Survey of Cloud Computing
• Solution by Evolution: an Introduction to Genetic Programming
• Beating Word Soup
• Introduction to Separation Logic
• The Basics of Image Analysis
• Title to be confirmed
• MapReduce: Processing Big Data
• An Introduction to Neural Networks
• Motion Commotion: Using Hidden Markov Models in Gesture Recognition
• Title to be confirmed
• Going Hybrid - An introduction to Scala
• Electronic Music: An Introduction
• Operating System Internals
• Modern Software Engineering in Practice
• Computer Algebra and Calculus
• Digital Image Processing Techniques
• Why is today's encryption so complicated?
• Parallel programming using NVIDIA CUDA
• N-grams
• Emacs vs. VI, and other holy wars
• Title to be confirmed
• Social Networks: An Overview
• Introduction to AI in First Person Shooter games
• Chord and Bloom Filters
• Lighting Effects in Real Time Rendering
• Optical Mark Recognition using commodity hardware
• Wireless Networking Technologies
• Title to be confirmed
• Title to be confirmed
• Further Topics in Ray Tracing
• The Power of Light
• Rhythmic Analysis of Musical Recordings
• Commercial developments in Computer Architecture
• Cloud Computing - Back to the Mainframe?
• Title to be confirmed
• Google products you might not know about
• DRM: A Necessary Evil?
• Computer Vision
• How (in)secure is it to surf the internet with your browser?
• Covert Channels
• Querying and Visualising a Knowledge Base
• Ruby on Rails and Test-Driven Development
• The Consequences of Open Source Licensing