MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.

Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.

City University of New York - Image Reconstruction from Projections, Inverse Problems, Discrete Tomography, Biomedical Imaging, Medical Imaging, Geometry of Digital Spaces, Computer Graphics, Visualization, Computer Vision

MIT Media Laboratory - Philosophically motivated AI, commonsense reasoning, assistive software agents, lexical semantics, story understanding.

Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK.

University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.

University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.

University of New South Wales - Logic and model theory, belief revision.

Personal homepage of computer scientist Simon Becker. Includes CV, publications, research and teaching information.

University of New South Wales - Algorithm design, computational geometry, distributed and parallel computing, databases, data mining, and graph layouts.