Catégories
Translating a source language into a target one: parsing, analysis, optimization and code generation.
Functions of a complex variable, where differentiability forces the rigidity that makes holomorphic functions so well behaved.
Systems that evolve by iterating a holomorphic function. The Julia and Mandelbrot sets live here.
Which problems can be solved by an algorithm at all, and how the unsolvable ones compare to each other.
Modelling and simulation of biological systems, from molecular dynamics to population and network models.
Simulating molecules and reactions on a computer, from density functional theory to docking and reaction-path searches.
How much time, memory and other resources a problem needs, and how problems group into classes by that cost.
Algorithms for geometric objects: triangulations, convex hulls, nearest neighbours, and the data structures that make them fast.
Formal and computational models of language, and what building them reveals about language itself.
Solving physical problems that have no closed form by simulating them: lattice methods, Monte Carlo, and the numerical schemes that keep the answers stable.
The organization of a machine: instruction sets, pipelines, memory hierarchies, and the trade-offs between them.
The engineering of computing hardware and the software bound tightly to it: processors, embedded systems, hardware-software co-design.
Generating images from a model of a scene: rendering, geometry processing, animation and simulation of light and motion.
How machines exchange data: protocols, routing, congestion control, and the measurement of what real networks do.
The study of computation, information, and the design of systems that process them.
The protection of systems and data against unauthorized access, attack, and failure.
The design of operating systems, computer architectures, and the networks that connect them.
Recovering structure and meaning from images and video: recognition, reconstruction, tracking, and the geometry underneath them.
The study of the physical properties of solids and liquids, including electronic and magnetic behavior.
The science of keeping species and ecosystems from disappearing: extinction risk, habitat loss, and what actually works against them.