Faculty

Primary Research Interests

My research interests include formal methods, system-level design, trusted computing, design and specification language semantics, and component retrieval. For more information, visit my research or the SLDG pages.

Primary Research Interests

Primary Research Interests

Cybersecurity from a systems perspective, Moving target defenses, Enterprise network security, Bringing social sciences into cybersecurity

Primary Research Interests

Cyber-Physical Systems, Artificial Intelligence, Machine Learning, Robotics, Internet of Things

Primary Research Interests

Explicitly solvable stochastic control problems, Stochastic control of distributed parameter systems, Stochastic adaptive control of linear and nonlinear systems, Mathematics of finance and stochastic modeling, Mathematics and telecommunication, Math education.

Primary Research Interests

Computer Architecture

High-Performance Heterogeneous and Reconfigurable Computing

Biologically-Inspired and Neuromorphic Architectures

Evolvable Hardware

Hardware Acceleration

Embedded Systems

Performance Evaluation and Modeling

Applications of HPC to Digital Signal/Image Processing and Remote Sensing

Primary Research Interests

Primary Research Interests

• Light-matter interactions in soft-matter systems
• Nanophotonics, Plasmonics and Metamaterials Imaging
• Microscopy and Spectroscopy Techniques

Primary Research Interests

Communication Systems and Networks, Networking Simulation and Modeling, Wireless Systems, Internet Performance Analysis.

Primary Research Interests

Fiber-optic communications, photonic devices, optical sensors

Primary Research Interests

Static and dynamic/adaptive compilers

Computer architecture

Embedded systems

Primary Research Interests

Information security, privacy; electronic health, healthcare informatics; smart grids and network security; and applied cryptography

Primary Research Interests

My current research interests lie in the intersection of security and privacy and data science. In particular, I'm interested in:
          •   Information and system security
          •   IoT/CPS and hardware-enabled security
          •   Privacy, online social networks

Primary Research Interests

My research focuses on HF to Ka-band signal/data processing and radar system engineering for remote sensing of terrestrial snow and ice (non-atmospheric). Direction of arrival estimation applied to synthetic aperture radar (SAR tomography), differential interferometric SAR (DINSAR), machine learning and image processing applied to radar imaging are my current areas of interest in this field.

Primary Research Interests

• Probability
• Statistics
• Stochastic Control

Primary Research Interests

Software Correctness, Formal Methods, Functional Programming, Domain-Specific Languages, Programming Language Semantics, Program Synthesis, System-Level Security, Trusted Computing.

Primary Research Interests

My main research interests are in optics, photonics, and applied electromagnetics. My work has placed a particular emphasis on engineering the electromagnetic properties of nano-structured systems such as metamaterials and plasmonic devices.

Primary Research Interests

Computational- and data-enabled science and engineering. More specifically, parallel scientific computing with a focus on unstructured mesh, numerical optimization, model order reduction, and numerical linear algebra methods and their applications to computational medicine, imaging sciences, electronic circuits, and materials.

Primary Research Interests

Radar remote sensing of vegetation

Propagation and scattering in random media

Ground-penetrating radar

Radar signal processing

Applications of information and estimation theory in remote sensing

Primary Research Interests

High-performance computing, cloud/edge computing, data science, scheduling, resilience, algorithms, optimizations, applied machine learning

Primary Research Interests