Research Directory
Areas
Computing & Information Sciences
Faculty  Research Area  
Appel, Andrew 
Computer security; information technology policy; election technology; programming languages; compilers; programming language semantics; program analysis; program verification; machinechecked proofs 



Arora, Sanjeev 
Theoretical computer science; computational complexity; uses of randomness in computation; probabilistically checkable proofs (PCPs); computing approximate solutions to NPhard problems; geometric embeddings of metric spaces 



August, David 
Computer architecture; languages, compilers, and runtime systems; parallelism; programmability, performance, efficiency, reliability, and security. 



Avalos, Jose 
Biotechnology: Use of synthetic biology and metabolic engineering to address important problems in sustainable energy, the environment, industry, and human health. 



Braverman, Mark 
Complexity theory, algorithms, game theory, machine learning, and applications of computer science in healthcare and medicine. 



Chazelle, Bernard 
Graphics and computational geometry; computer science theory 



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



Cuff, Paul 
Information theory; encryption (theoretical limits); logoptimal portfolio theory; statistical physics 



Dobkin, David 
Creating images of mathematical objects and animations of geometric algorithms 



Dvir, Zeev 
Computational complexity, pseudorandomness, coding theory and discrete mathematics. 



Engelhardt, Barbara 
Machine learning, Bayesian statistics, statistical genetics, computational biology, quantitative genetics. 



Feamster, Nick 
Network systems, security, management, and measurement. Internet censorship and information control, home and access networks, and software defined networking. 



Felten, Edward 
Computer security and privacy, and technology policy; electronic voting; security of laptop computers; issues related to anticopying technology and online copyright issues 



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



Freedman, Michael 
Peerassisted content distribution; federated virtual worlds; servicecentric network architectures; scalable storage systems; faulttolerant systems; distributed monitoring and debugging; privacypreserving protocols 



Funkhouser, Thomas 
3D shapebased retrieval and analysis; structural bioinformatics; Princeton shape benchmark; Princeton search engine for 3D models 



Gupta, Aarti 
Formal verification of systems, model checking, program analysis, and automatic decision procedures for logics. SAT/SMT solvers. 



Hazan, Elad 
Design and analysis of algorithms for basic problems in machine learning and optimization. 



Houck, Andrew 
Quantum computing; nonlinear and quantum optics; superconducting microwave electronics; decoherence in quantum systems; transport physics 



Jamieson, Kyle 
Networking, Wireless Systems, Internet of Things. Building wirelessly networked systems for the real world that cut across the boundaries of digital communications and networking. 



Jha, Niraj 
Nanotechnology; computer security; digital system testing; computer architecture; computeraided design of integrated circuits; lowpower hardware/software design; embedded systems; fieldprogrammable gate arrays 



Kernighan, Brian 
AMPL modeling language for mathematical optimization; scripting languages 



LaPaugh, Andrea 
Information dscovery for the web and digital libraries; computeraided design (CAD) of digital systems; algorithm foundations 



Lee, Ruby 
Ubiquitous processor and platform architectures for media processing and secure information processing; computer architecture for highperformance, secure, and highly available servers 



Li, Kai 
Computer architecture; operating systems; parallel systems; networking 



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



Martonosi, Margaret 
Computer architectures and the hardware/software interface, particularly powerefficient systems, hardwaresoftware interface issues, and most recently, powerefficient wireless networks. 



Mittal, Prateek 
Secure and privacypreserving communication systems, including domains of privacyenhancing technologies, trustworthy social systems, and Internet/network security. Research draws on techniques from computer networks & distributed systems, large scale machine learning, complex networks/network science and applied cryptography. 



Narayanan, Arvind 
Privacy, security, tech policy, cryptography, social networks 



Poor, Vincent 
Statistical signal processing; wireless networks; stochastic analysis 



Prucnal, Paul 
Photonic switching; fiberoptic networks; optical interconnects 



Ramadge, Peter 
Video and image processing; adaptive systems; adaptive signal processing; adaptive control; discreteevent systems, optimization of queueing systems; video analysis, annotation and search 



Rexford, Jennifer 
Communication networks; network management; protocol design; internet measurement 



Rusinkiewicz, Szymon 
Acquisition and analysis of the 3D shape and appearance of realworld objects; reassembling the Thera Frescoes; rendering with multilight 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 



Sedgewick, Robert 
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 



Sengupta, Kaushik 
Integrated microsystems for next generation ultrafast wireless communication, sensing, imaging and lowcost smart biomedical devices for pointofcore applications. 



Seung, H. Sebastian 
Neuroscience and connectomics: Developing machine learning and social computing technologies for reconstructing neural circuits from high resolution brain images. 



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



Singh, Mona 
Computational biology and bioinformatics; computational science 



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



Troyanskaya, Olga 
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 



Vanderbei, Robert 
Telescope design for searching for extrasolar planets; highcontrast imaging; diffractive optics; financial portfolio selection; convex optimization; multiobjective optimization; stochastic dominance; stability of Saturn's rings; astrophysics; stable solutions to the nbody problem 



Verdu, Sergio 
Information theory; data compression; data transmission; signal processing for digital communications 



Verma, Naveen 
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. 



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



Wang, Mengdi 
Decision making problems involving uncertainty or hidden information; Modeling uncertainty and designing algorithmic approaches that "learn" the best decisions as information is revealed. Optimization (stochastic, online, and even more), stochastic programming, variational inequalities, dynamic programing, statistical learning, game dynamics. 