Research Directory
Areas
Security & Risk
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 



Cheridito, Patrick 
Financial management and risk analysis; probability theory; finance; risk measurement; risk management 



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



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



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



Garlock, Maria 
Structural engineering; earthquake engineering; innovative structural systems; large fires; thin shell concrete roof structures; sensor technology in civil infrastructure; tall building design 



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



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



Malik, Sharad 
Design automation for digital systems; design tools for embedded systems; hardwaresoftware integration; digital circuit theory; synthesis and verification of digital systems 



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. 



Mulvey, John 
Financial management and risk analysis; largescale optimization models and algorithms; advanced portfolio models for longterm investors (pension plans, family trusts, university endowments) and multistrategy hedge funds 



Powell, Warren 
Dynamic resource management; approximate dynamic programming and optimal learning, with applications in energy, homeland security, health and complex resource allocation problems 



Prevost, JeanHerve 
Computational solid mechanics; wave propagation and transient effects in porous media; nonlinear constitutive theories; dynamic instabilities and localization of deformations in solids; thermoelasticity; electromagnetosolid interaction effects; finite element methods; geotechnical engineering; earthquake engineering; centrifuge soil testing; topology optimization; delayed fracture in MEMS; cracks propagation in microstructures 



Rudloff, Birgit 
Financial management and risk analysis; hedging in incomplete markets; convex and coherent risk measures; convex analysis; mathematical finance; riskmanagement 



Vanmarcke, Erik 
Stochastic systems; random fields and random media; risk assessment and management; earthquake and wind engineering; geologic hazards and probabilistic site characterization; structural reliability; random vibrations; optimum design based on reliability; modeling the density fluctuations in the early universe, relevant to origins of cosmic structure 



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