School of Electrical Engineering and Computer Science (EECS), University of Ottawa.
Bio: Amy Felty is a Professor of Computer Science at the University of Ottawa. Her research focuses on formal methods, particularly interactive theorem proving, and she has over 25 years of experience in applying them in various domains. In particular, she has worked in the area of logical frameworks and their application in domains such as programming languages, systems biology, privacy and security, and proof theory. She is on the editorial board of several journals, including the Journal of Automated Reasoning. She is currently the Chair of the National Science and Engineering Research Council of Canada's Discovery Evaluation Group for Computer Science, and Treasurer of the ACM Special Interest Group on Logic and Computation. She holds a Ph.D. in Computer Science from the University of Pennsylvania.
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
Bio: Bohua Zhan is an associate research professor at Institute of Software, Chinese Academy of Sciences. He previously worked as postdoc at the Technical University of Munich, and at Massachusetts Institute of Technology. His research interests include proof automation in interactive theorem proving, with applications to program verification and formalization of mathematics. Recently he worked on implementation of a new interactive theorem prover in Python. He also worked on modeling, simulation and verification of embedded systems, and verification of quantum programs.
If you have any problems or questions, please contact us via e-mail at: email@example.com