加拿大西蒙弗雷泽大学招CS PhD，编程语言方向

Dr. Yuepeng Wang is seeking self-motivated PhD students to join his group in the School of Computing Science at Simon Fraser University, starting fall 2021.

Research Areas:
- Program synthesis. Automatically generate programs from formal or informal specifications, such as logical formulas, input-output examples.
- Program analysis and verification. Analyze software to detect bugs or prove the correctness of programs based on specifications.
- Formal methods for database applications. Develop verification and synthesis techniques for database applications.

Bio
Yuepeng Wang will be starting as an Assistant Professor at Simon Fraser University in the fall of 2021. He received his PhD in computer science from the University of Texas at Austin. His work has appeared in top-tier programming language and database conferences, such as POPL, PLDI, OOPSLA, and VLDB. He has received a distinguished paper award from OOPSLA 2017.

For more information, please visit the following URLs:
https://www.seas.upenn.edu/~yuepeng
https://www.sfu.ca/computing/pro ... c-programs/phd.html

If you are interested, please contact Dr. Wang with a recent CV at
ywang.position@gmail.com