Explore professors working in formal methods and related research areas. Use YourScholar to discover research opportunities and identify professors whose work aligns with your academic interests.
Showing page 1 of 1 — 9 professors available publicly
Dr. Swarat Chaudhuri works in the intersection of formal methods and artificial intelligence (AI). He received his bachelor of technology in computer science from the Indian Institute of Technology Kharagpur. He completed a doctorate in philosophy in computer science at the Uni...
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...
Andre Scedrov is a Professor of Mathematics and a Professor of Computer and Information Science at the University of Pennsylvania, where he has been a pivotal figure in bridging the gap between abstract mathematical logic and practical computer security. His research focuses on F...
I am an Associate Professor in the Department of Computer Science at Iowa State University, where I direct the Autonomous Systems Laboratory. I am also an Amazon Scholar with Amazon Robotics. I received a Ph.D. in Mechanical Engineering from the California Institute of Technology...
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...
I am a tenure-track assistant professor in the Electrical Engineering and Computer Science Department at the University of Michigan. My research interests are in the areas of programming languages, formal methods, software engineering, and artificial intelligence. Previously I ...
Dr. Meera Sridhar is an Associate Professor in the Department of Software and Information Systems at UNC Charlotte. Her research interests span language-based and systems security, formal methods, and their application to web, mobile and Internet-of-Things security. Her research ...
Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research is focused on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she was an NSF/CRA ...
Dr. Hemant Purohit is serving as an Assistant Professor and Program Chair (Electrical and Computer Engineering) at Florida Tech. Dr. Purohit’s research interests include Model-Based Engineering, Formal Methods, Digital Engineering, Conceptual Modeling, and the optimization of ...