Software Engineering and Systems

Software engineering addresses the development and use of various concepts and techniques to specify, verify, and test large software systems. These include formal methods, collaborative computing paradigms, peer to peer systems, and component based enterprise systems.

 

 

Bhagirath Narahari

Associate Dean for Undergraduate Services and Professor

Department: Computer Science
Phone: (202) 994-8323
Email: narahari@gwu.edu
Full Profile

Research Interest: Professor Bhagirath Narahari's research addresses the design of computer systems, using integrated hardware-software approaches that meet software security and performance goals. Current projects focus on using additional hardware to design trusted embedded systems that are resilient to sophisticated attacks, including physical capture of devices and trojan circuits.


Gabriel Parmer

Associate Professor

Department: Computer Science
Phone: (202) 994-9741
Email: gparmer@gwu.edu
Full Profile

Research Interest: Professor Gabriel Parmer's lab conducts fundamental research into OS design and resource management for the challenges of the systems that control the physical world. Current projects include OS design for massive parallelism, fault tolerance and regenerative systems, end-to-end predictable physical system control, complex system customization and programmability via component composition, and fundamentally new approaches to systems security for embedded systems.


Tim Wood

Associate Professor

Department: Computer Science
Phone: (202) 994-1918
Email: timwood@gwu.edu
Full Profile

Research Interest: Professor Timothy Wood's research studies how cloud computing platforms can be built from massive data centers containing thousands of servers and storage devices. He seeks to improve the performance, reliability, and energy efficiency of these large distributed systems by adding automation and intelligence at the operating system and virtualization layers.