Princeton Engineering

Computer security; information technology policy; election technology; programming languages; compilers; programming language semantics; program analysis; program verification; machine-checked proofs

Theoretical computer science; computational complexity; uses of randomness in computation; probabilistically checkable proofs (PCPs); computing approximate solutions to NP-hard problems; geometric embeddings of metric spaces

Computer architecture; languages, compilers, and run-time systems; parallelism; programmability, performance, efficiency, reliability, and security.

Cryptography (especially the foundations of cryptography) and complexity theory

Probabilistic graphical models and approximate posterior inference; topic models; information retrieval; text processing; nonparametric Bayesian statistics

Theoretical computer science; design and analysis of algorithms; algorithms for NP-hard problems; metric embeddings and algorithmic techniques for massive data sets

Graphics and computational geometry; computer science theory

The architectures and algorithms for broadband access networks; nonlinear optimization of communication systems

Uniprocessor architecture and organization; architecturally-focused performance measurement and analysis; clocking and timing issues in digital systems

Information theory; encryption (theoretical limits); log-optimal portfolio theory; statistical physics

Creating images of mathematical objects and animations of geometric algorithms

Computer security and privacy, and technology policy; electronic voting; security of laptop computers; issues related to anti-copying technology and online copyright issues

Computer graphics; abstract animation; depiction of 3D shape; interactive tools for artists, designers and architects; computer generated line drawings; non-photorealistic rendering; scientific and information visualization

Peer-assisted content distribution; federated virtual worlds; service-centric network architectures; scalable storage systems; fault-tolerant systems; distributed monitoring and debugging; privacy-preserving protocols

3D shape-based retrieval and analysis; structural bioinformatics; Princeton shape benchmark; Princeton search engine for 3D models

Quantum computing; non-linear and quantum optics; superconducting microwave electronics; decoherence in quantum systems; transport physics

Nanotechnology; computer security; digital system testing; computer architecture; computer-aided design of integrated circuits; low-power hardware/software design; embedded systems; field-programmable gate arrays

AMPL modeling language for mathematical optimization; scripting languages

Information dscovery for the web and digital libraries; computer-aided design (CAD) of digital systems; algorithm foundations

Ubiquitous processor and platform architectures for media processing and secure information processing; computer architecture for high-performance, secure, and highly available servers

Computer architecture; operating systems; parallel systems; networking

Signal and image processing; video coding and analysis

Optical processes in semiconductors; ultrafast processes and nonequilibrium transport; semiconductor nanostructures; quantum computing

Computer architectures and the hardware/software interface, particularly power-efficient systems, hardware-software interface issues, and most recently, power-efficient wireless networks.

Network server design and performance; content distribution networks

Networking and operating systems; programming languages and systems

Statistical signal processing; wireless networks; stochastic analysis

Photonic switching; fiber-optic networks; optical interconnects

Video and image processing; adaptive systems; adaptive signal processing; adaptive control; discrete-event systems, optimization of queueing systems; video analysis, annotation and search

Communication networks; network management; protocol design; internet measurement

Acquisition and analysis of the 3D shape and appearance of real-world objects; reassembling the Thera Frescoes; rendering with multi-light image collections and images with normals; new techniques for range scanning; shape analysis, registration, and matching; shape depiction; measurement and representation of realistic surface appearance; Q Splat

Theoretical and applied machine learning

Finding efficient algorithms for fundamental practical problems; validating theoretical designs through practical implementations; fundamental properties of algorithms; comparing algorithms through careful implementation studies; relating algorithms, data structures, generating functions and analytic functions such that asymptotic results; investigating how visual representations provide an understanding of how algorithms gain efficiency

Integrated microsystems for next generation ultrafast wireless communication, sensing, imaging and low-cost smart biomedical devices for point-of-core applications.

Boundary of applications and computer systems; interdisciplinary research in computer and application sciences; methods for information discovery, extraction, routing and dissemination; use of high-performance computing in biology/medicine and graphics/visualization

Computational biology and bioinformatics; computational science

Simulation of large-scale economic systems using agent-based models; internet auction mechanisms; alternative media for computing; soliton-guided quantum computing

Computer science theory; data structures; graph algorithms; combinatorial optimization; computational complexity; computational geometry; parallel algorithms

Genomic data integration; microarray analysis; gene and protein function prediction; detection and analysis of chromosomal abnormalities; evaluation and validation of computational predictions; algorithms for integration of data from multiple data sources; visualization of biological data; machine learning methods in bioinformatics

Telescope design for searching for extra-solar planets; high-contrast imaging; diffractive optics; financial portfolio selection; convex optimization; multi-objective optimization; stochastic dominance; stability of Saturn's rings; astrophysics; stable solutions to the n-body problem

Information theory; data compression; data transmission; signal processing for digital communications

Analog and digital integrated circuits with an emphasis on developing system platforms for emerging applications, especially where considerable computation and instrumentation is required but energy is severely constrained. Important examples include implantable and wearable biomedical systems and remote sensing and processing network nodes.

Computer Security; programming languages and systems; processing ad hoc data sources; producing reliable software in the presence of transient faults