Coding Theory, Information Theory, and Discrete Mathematics.
Computer Architecture and Parallel Computing, Embedded Systems and Software, Hardware/Software Codesign, Reconfigurable Computing, Asynchronous Circuits, Photonic Interconnects, Design for Sustainability.
Computer-aided design, verification, and testing for digital systems; Fault-tolerant computing; and VLSI architectures.
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
Ramsey D. Badawi
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.
Craig J. Benham
Mathematical and Computational models of regulatory mechanisms, pathways, systems and networks, Bioinformatics, DNA mechanics.
Ecological sanitation and resource reuse; Pathogens and micropollutants; sustainable international development; water quality and reuse.
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.
Industrial Fermentation, Bioprocess Optimization and Artificial Intelligence Methods, Biofuels and catalytic conversion of biomass-derived molecules.
John E. Bolander
Seismic analysis and design; Cement-based composites; Nondestructive testing; Material and structural design optimization.