update pc list

Author: natedingyifeng

pc.md

@@ -33,10 +33,12 @@ permalink: /pc/
 - [Kevin Moran](https://www.kpmoran.com) (University of Central Florida, USA)
 - [Pengyu Nie](https://pengyunie.github.io/) (University of Waterloo, Canada)
 - [Mike Papadakis](https://mpapad.github.io/) (University of Luxembourg, Luxembourg)
+- [Corina Pasareanu](https://www.andrew.cmu.edu/user/pcorina/) (Carnegie Mellon University and NASA, USA)
 - [Chao Peng](https://chao-peng.github.io/) (ByteDance, China)
 - [Hung Viet Pham](https://hvpham.github.io/) (York University, Canada)
 - [Michael Pradel](https://software-lab.org/people/Michael_Pradel.html) (University of Stuttgart, Germany)
 - [Weiyi Shang](https://ece.uwaterloo.ca/~wshang/) (University of Waterloo, Canada)
+- [Alexandra Silva](https://alexandrasilva.org/) (Cornell University, USA)
 - [Jun Sun](https://sunjun.site) (Singapore Management University, Singapore)
 - [Yuan Tian](https://scholar.google.com/citations?hl=en&user=wX4le_QAAAAJ&view_op=list_works&sortby=pubdate) (Queen’s University, Canada)
 - [Michele Tufano](https://tufanomichele.com/) (Google, USA)