Faculty Directory

Research Interests

VLSI design and testing; formal verification; fault-tolerant computing

Research Interests

Multiuser wireless networking; wireless ad hoc networks; multiuser techniques for code division multiple access, multiple-input multiple-output, and orthogonal frequency-division multiplexing; WiMAX

Research Interests

Software engineering, design and architectures; distributed artificial intelligence; information assurance, trust and security; multi-agent systems

Research Interests

Robust and adaptive optimization and control; statistical learning; applications in telecommunications; applications in air traffic control

Research Interests

Development of technological solutions to counter nuclear threats; nuclear nonproliferation and counter-proliferation; detector development and testing; interpretation of technical nuclear forensics data; reactor physics calculations for analysis of nuclear systems

Research Interests

Information theory; coding theory; signal processing; networking

Research Interests

Jet flames; aerosols; fire dynamics; flame ignition

Research Interests

Technology development, data analysis and policy support related to environmental monitoring for nuclear proliferation and arms control

Research Interests

Nonlinear propagation of ultrasound in tissue; biophysical responses to underwater sound; acoustic cavitation in shock wave lithotripsy; micro- and electro-mechanical systems-based parametric acoustic arrays

Research Interests

Estimation and filtering; satellite navigation technology and security; software-defined radio

Research Interests

Design of high-performance, low-power microprocessors; multicore processors; memory Systems; performance evaluation and benchmarking; workload characterization; adaptive computing

Research Interests

Software testing; specification languages; code conformance; model checking; heuristics in program analysis; data structure repair; program repair

Research Interests

Radioactive waste disposal; thermal analysis of nuclear shipping containers; nuclear weapon dismantlement; nuclear power

Research Interests

Statistical analysis and optimization algorithms for yield improvement; circuit design for manufacturability; robust low-power circuit design

Research Interests

VLSI computer aided design; physical design and circuit optimization; design and manufacturing process integration; vertical integration of technology, circuit, CAD and system

Research Interests

Microprocessor architecture in the many core era; parallelism and superscalar processor design; seriously heterogeneous chip multiprocessors; how to help students learn

Research Interests

Algorithms for wireless, sensor and peer-to-peer networks and the Internet; machine learning and data mining; social networks; optimization

Research Interests

Scheduling and QoS in wireless networks; ad-hoc and sensor networks; congestion control in the internet; resource allocation for heterogeneous networks

Research Interests

Cybersecurity with a focus on computing systems, hardware design, processor architecture, embedded systems and cloud computing

Research Interests

VLSI testing; fault-tolerant computing; computer-aided design

Research Interests

Networks; wireless systems; system security; information theory; resource allocation in systems; networked control; energy systems; bioinformatics

Research Interests

Response of structures to blast and impact; progressive collapse; structural response modelling and simulation; static and dynamic stability; failure modeling; damage mechanics