PROFESSORS IN PROGRAM ANALYSIS
Showing page 1 of 1 — 13 professors available publicly
Dr. Atul Prakash
Aastha Prakash is an Assistant Professor of Computer Science and Engineering in the EECS Department at the University of Michigan. She earned her Ph.D. in Computer Science from Princeton University and previously held postdoctoral appointments including at the University of Illin...
William Robertson
William Robertson is a professor in the Khoury College of Computer Sciences and the College of Engineering at Northeastern University, based in Boston. He co-directs the Northeastern Systems Security Lab and is principal investigator for the Cybersecurity and Privacy Institute's ...
Osbert Bastani
I am an associate professor at the Department of Computer and Information Science at the University of Pennsylvania leading the trustml@Penn research group. I am a member of the ASSET, PRECISE, and PRiML centers, and of PLClub. Previously, I completed my Ph.D. at Stanford advised...
Akbar Siami-Namin
Akbar Siami-Namin, Ph.D. is a Professor of Computer Science in the Department of Computer Science at Texas Tech University. He earned his Ph.D. in Computer Science from Brunel University London. His research interests include software engineering, program analysis, formal methods...
Kyu Hyung Lee
Kyu Hyung Lee, Ph.D. is an Associate Professor of Computer Science at the University of Georgia, where he also serves as Director of Graduate Studies and Associate Director of the Institute for Cybersecurity and Privacy. His research focuses on cyber security, software security, ...
Christophe Hauser
I specialize in software security and build models to reason about new cyber attacks and defenses across the software stack and hardware boundaries. My work is at the intersection of program analysis, formal methods and machine learning with applications to reverse engineering an...
Gaby Dagher
Dr. Gaby Dagher is a Professor of Computer Science in the Department of Computer Science at Boise State University. He earned his Ph.D. in Computer Science from Wayne State University, and his research interests include software engineering, program analysis, testing, and softwar...
Tao Xie
Tao Xie works for the Department of Computer Science within the College of Sciences at the San Diego campus as a Professor.
Joanna Cecilia da Silva Santos
Prof. Santos’ research lies in understanding weaknesses and vulnerabilities through empirical studies to devise novel automated techniques for the development of secure software systems, from inception to deployment. Her work draws on program analysis, software verification, an...
Xinda Wang
I am currently a tenure-track assistant professor in the Department of Computer Science at the University of Texas at Dallas. I received my Ph.D. degree from George Mason University in 2023, advised by Dr. Kun Sun at the Center of Secure Information System and honored with Outsta...
Soneya Binta Hossain
Soneya Binta Hossain is a faculty member in Computer Science at The University of Texas at Dallas (UTD). Her research focuses on software engineering, software testing, program analysis, and AI applications in software engineering (AI4SE/LLM4SE).
Dr. Matthew Revelle
Dr. Matthew B. Revelle is an Assistant Professor in the Gianforte School of Computing (Computer Science) at Montana State University. He holds a Ph.D. in Computer Science from George Mason University and brings over 20 years of experience in computer science, including extensive ...
Hugolin Bergier
Dr. Hugolin Bergier is a tenured Associate Professor and Program Director at Regis University's Computer Science Department. With a Ph.D. in Mathematics and Computer Science from the Université Paris-Sorbonne, his academic journey is rooted in the intersection of logic, mathemat...