Docstoc

PowerPoint Presentation - QMUL Interdisciplinary research meeting

Document Sample
PowerPoint Presentation - QMUL Interdisciplinary research meeting Powered By Docstoc
					                        Who are we?
Computer science, external funding ~3.5M, 50% staff < 5 years

Models of computation
• Logic and semantics, logic for computer science, Peter O’Hearn + 8
     Example: model resource allocation in distributed computer systems
• RADAR decision making under uncertainty, Norman Fenton + 2
  Example: apply Bayesian techniques to legal evidence, eg DNA profiling

Interaction and information
• Information retrieval from massive data sets, Mounia Lalmas+ 3
                                Example: new theories of informativeness
• Vision extracting information from image sequences, Sean Gong + 5
                  Example: detecting non-rigid motion in video sequences
• IMC cognition and action human-computer interaction, Pat Healey+ 4
   Example: understanding interaction between improvising jazz musicians

Other work in network and parallel computing, ODL
                         Hot Topics
Reasoning about Change
- easy in principle, hard for real
-At QM: Separation Logic (O’Hearn); Logic for Control (Martin);
   Dynamical Systems & Frame Problem (White)

Clean Theories in Dirty Code
-- Logic for Low-level programs (O'Hearn)
-- Calculi, security-preserving compilations (Honda)

All coming together under Verifying Compiler Grand Challenge.

Other Cool Happenings
Proof Complexity (Riis); Information Theory in Program Analysis
   (Malacaria);
Structural Proof Theory (Bellin, Robinson);

				
DOCUMENT INFO
Categories:
Tags:
Stats:
views:4
posted:3/31/2012
language:
pages:2