December 10-12, 2021
Gagandeep Singh is an Assistant Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign (UIUC). He also holds an Affiliated Researcher position with VMware Research. His current focus is on combining ideas from Formal Logic, Machine Learning, and Systems research to construct intelligent compute systems with formal guarantees about their behavior and safety. Previously, he obtained a Ph.D. in Computer Science from ETH Zurich in 2020 working with Prof. Markus Püschel and Prof. Martin Vechev. He co-received the ACM SIGPLAN Doctoral Dissertation Award given annually to the best dissertations in the area of Programming Languages. Before that, he completed a Masters in Computer Science at ETH in 2014 receiving the ETH Master Medal and Bachelors in Computer Science and Engineering from IIT Patna in 2012 receiving the President of India Gold Medal.
Marijn Heule is an Associate Professor at Carnegie Mellon University and received his PhD at Delft University of Technology, the Netherlands. His contributions to automated reasoning have enabled him and others to solve hard problems in formal verification and mathematics. His recent contributions to computer-aided mathematics include solving the Pythagorean Triples Problem, the fifth Schur number, and Keller's Conjecture. Heule has co-authored 8 award-winning papers and he has developed award-winning SAT solvers. His preprocessing and proof producing techniques are used in many state-of-the-art solvers. His work on proofs of unsatisfiability made proof validation mainstream in the SAT community, thereby boosting confidence that these tools produce correct results. Heule is also an editor of the Handbook of Satisfiability, which has become a standard for the SAT community and it is a tremendous resource for future scientists.
Shaowei Cai is a Professor at Institute of Software, Chinese Academy of Sciences. He received his PhD degree from Peking University with Distinguished Doctoral Dissertation Award. His research interests include constraint solving and combinatorial optimization. He has published more than 80 peer-reviewed papers, mostly at top-ranking conferences or journals in artificial intelligence and software engineering. His work has been recognized at several important international competitions, including gold medals in SAT/SMT/MaxSAT Competitions, and has won the Best Paper Award at SAT 2021 conference. His algorithms have been prominently used in important real-world applications, including radio spectrum repacking, message scheduling at digital map, virtual machine pre-provisioning service of cloud platform, as well as EDA.