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; machine-checked proofs |
|
|
|
||
|
Arora, Sanjeev |
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 |
|
|
|
||
|
Cheridito, Patrick |
Financial management and risk analysis; probability theory; finance; risk measurement; risk management |
|
|
|
||
|
Cuff, Paul |
Information theory; encryption (theoretical limits); log-optimal portfolio theory; statistical physics |
|
|
|
||
|
d'Aspremont, Alexandre |
Financial econometrics; financial management and risk analysis; optimal design; security pricing; convex optimization; mathematical finance; interest rate derivatives; model calibration; risk-management methods |
|
|
|
||
|
Felten, Edward |
Computer security and privacy, and technology policy; electronic voting; security of laptop computers; issues related to anti-copying technology and online copyright issues |
|
|
|
||
|
Freedman, Michael |
Peer-assisted content distribution; federated virtual worlds; service-centric network architectures; scalable storage systems; fault-tolerant systems; distributed monitoring and debugging; privacy-preserving 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; computer-aided design of integrated circuits; low-power hardware/software design; embedded systems; field-programmable gate arrays |
|
|
|
||
|
Lee, Ruby |
Ubiquitous processor and platform architectures for media processing and secure information processing; computer architecture for high-performance, secure, and highly available servers |
|
|
|
||
|
Malik, Sharad |
Design automation for digital systems; design tools for embedded systems; hardware-software integration; digital circuit theory; synthesis and verification of digital systems |
|
|
|
||
|
Martonosi, Margaret |
Computer architectures and the hardware/software interface, particularly power-efficient systems, hardware-software interface issues, and most recently, power-efficient wireless networks. |
|
|
|
||
|
Mulvey, John |
Financial management and risk analysis; large-scale optimization models and algorithms; advanced portfolio models for long-term investors (pension plans, family trusts, university endowments) and multi-strategy 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, Jean-Herve |
Computational solid mechanics; wave propagation and transient effects in porous media; nonlinear constitutive theories; dynamic instabilities and localization of deformations in solids; thermoelasticity; electro-magneto-solid 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; risk-management |
|
|
|
||
|
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 |
|
