A
Khaled Abdel-Ghaffar
Research
Coding Theory, Information Theory, and Discrete Mathematics.
Venkatesh Akella
Research
Computer Architecture and Parallel Computing, Embedded Systems and Software, Hardware/Software Codesign, Reconfigurable Computing, Asynchronous Circuits, Photonic Interconnects, Design for Sustainability.
Hussain Al-Asaad
Research
Computer-aided design, verification, and testing for digital systems; Fault-tolerant computing; and VLSI architectures.
Ralph Aldredge
Research
Analytical, computational and experimental studies of turbulent flame propagation and combustion instabilities; Development of computational models and algorithms for simulation of reactive-flow dynamics; biological-fluid dynamics, biomedical heat transfer and tissue Mechanics
Nina Amenta
Research
Much of my recent work is related to visualizing morphological change in evolution. This work grew out of a project in visualization for computational phylogeny.
Rajeevan Amirtharajah
Research
Low power digital and mixed-signal integrated circuits, energy harvesting, sensor interfaces, embedded systems, circuits and architectures for multicore processors and emerging electrical and optical devices.
Francis Assadian
Research
Mathematical modeling and simulation of dynamic systems-bond graph approach, vehicle dynamics, global chassis control systems, alternative powertrain, energy optimization, automatic control, and robust control.
Kyriacos Athanasiou
Research
Understand the healing processes of cartilage, and to augment those processes via sound application of tissue engineering principles.
Griffiths Atungulu
Sharon Aviran
Research
Computational RNA Biology and Biomolecular Engineering
Recent advances in genomics, chemistry, and biotechnology have opened up new possibilities for studying RNA structure and dynamics at the genome scale and at unprecedented resolution and throughput. Our group develops computational and statistical methods for robust and efficient analysis of the information generated by such novel and emerging technologies and for utilizing it to better infer RNA dynamics and structure-function relationships. Another goal of our group is to develop tools that will assist the engineering of novel RNAs for a range of synthetic biology and therapeutic applications. Our work is at the interface between applied math, statistics, and biochemistry, and draws on tools from machine learning, probabilistic modeling, and optimization.
B
Bevan M. Baas
Research
Algorithms, architectures, circuits, and VLSI design for high-performance, energy-efficient, and area-efficient computation with strong consideration of the challenges and opportunities of future fabrication technologies.
Ramsey D. Badawi
Research
The Badawi Lab is focused on translational imaging, with emphasis on PET and other radiotracer techniques. Translational imaging is aimed at transferring (“translating”) research imaging methodologies to the clinic and human use. This requires a multidisciplinary approach and the Badawi lab has developed multiple collaborations with other investigators.
Zhaojun Bai
Research
Number linear algebra, parallel algorithms.
Hector Baldis
Research
Interplanetary Medium, Comets and Kuiper Belt Objects, Diffuse Planet and Satellite Atmospheres, Space Flight Instrument Design and Development.
Charles Beadle
Craig J. Benham
Research
Mathematical and Computational models of regulatory mechanisms, pathways, systems and networks, Bioinformatics, DNA mechanics.
Heather Bischel
Research
Ecological sanitation and resource reuse; Pathogens and micropollutants; sustainable international development; water quality and reuse.
Matt Bishop
Research
Professor Matt Bishop’s research area is computer security, in which he has been active since 1979. He is especially interested in vulnerability analysis and denial of service problems, but maintains a healthy concern for formal modeling (especially of access controls and the Take-Grant Protection Model) and intrusion detection and response. He has also worked extensively on the security of various forms of the UNIX operating system. He is involved in efforts to improve education in information assurance, and is a charter member of the Colloquium for Information Systems Security Education. His textbook, Computer Security: Art and Science, was published by Addison-Wesley in December 2002.
David Block
Research
Industrial Fermentation, Bioprocess Optimization and Artificial Intelligence Methods, Biofuels and catalytic conversion of biomass-derived molecules.
John E. Bolander
Research
Seismic analysis and design; Cement-based composites; Nondestructive testing; Material and structural design optimization.