Presenter

I am a Research Professor at the Department of Electrical and Computer Engineering and the Coordinated Science Laboratory of the University of Illinois at Urbana-Champaign. My research interests are in the design and validation of reliable and secure computing systems. My current work explores: (i) emerging computing technologies, such as resource virtualization to provide redundancy and assure system resiliency to accidental errors and malicious attacks, (ii) analysis of data on failures and security attacks in computing systems to characterize system resiliency and guide development of methods (including ML-based approaches) for rapid diagnosis and runtime detection of problems, and (iii) development of techniques for automated validation and benchmarking of dependable and secure computing systems using formal and experimental methods.