Milad Rezaei Hajidehi
(2024, PhD @ Harvard)
Mishaal Kazmi
(2024)
Shadab Shaikh
(2024)
Praveen Gupta
(2024)
Haley Li
(2024)
Jinyuan Liang
(2024, WeBank)
Nichole Boufford
(2024, Oracle)
Sepehr Jalalian
(2024)
Sadaf Sadeghian
(2024, Chubb)
Niloofar Gharavi
(2024, Arista Networks)
Augustine Wong
(2024, Intel)
Hadi Sinaee
(2023)
Amir Sabzi
(2023)
Alex Trostanovsky
(2023, Arista Networks)
Shayan Hosseini
(2023, Axiom)
Niloofar Zarif
(2023, TorcAI)
Ali Behrouz
(2023, PhD @ Cornell)
Mayank Tiwary
(2023, Salesforce)
Shiqi He
(2022, PhD @ UMich)
Faqia Iqbal
(2022)
Lana Sodol
(2022)
Seyed Ali Tabatabaee
(2021, PhD @ UBC)
Matheus Stolet
(2021, PhD @ MPI-SWS)
Syed Mubashir Iqbal
(2021, Amazon Automated Reasoning Group)
Joseph Wonsil
(2021, PhD @ UBC)
Bingyao (Jerry) Wang
(2021, PhD @ UBC)
Adam Geller
(2020, PhD @ UBC)
Muhammad Shayan
(2020, Korbit AI)
Jose Pazos
(2020, Wolfram)
Vaastav Anand
(2020, PhD @ MPI-SWS Saarbrucken)
Anand Jayarajan
(2019, PhD @ Univ. of Toronto)
Renato Costa
(2019)
Matthew Do
(2019, Hopper)
Jodi Spacek
(2019, Shopify)
Fabian Ruffy
(2019, PhD @ NYU)
Gleb Naumenko
(2019, Chaincode Labs)
Clement Fung
(2018, PhD @ CMU)
Stewart Grant
(2018, PhD @ UC San Diego)
Amanda Carbonari
(2018, Google)
Peter Chen
(2017, Arista Networks)
Wali Usmani
(2017, TwoTallTotems)
Kent Williams-King
(2017, PhD @ Brown)
David Williams-King
(2016, PhD @ Columbia)
Mark Spear
(2015, Google)
Michael Phan-Ba
(2015)
Daniel Rozenberg
(2015, Google)
Kalan MacRow
(2014, Coho Data)
Alexandru Totolici
(2013, Demonware)
Wenhao Xu
(2012, SmartX)
Nathan Taylor
(2012, Twitter)
Cody Brown
(2012)
Sara Dadizadeh
(2012, A Thinking Ape)
Arseniy Akuney
(2011, TELUS)
Jimmy Wong
(2011, Amazon)
Mohammad (Shamma) Abdul-Amir
(2011, Google)
Seyed Mirtaheri
(2011, PhD @ uOttawa)
Ryan O'Connor
(2011, F5 Networks)
Primal Wijesekera
(2011, PhD @ UBC)
Sunjeet Singh
(2011, INETCO)
Gitika Aggarwal
(2008, Bycast)
Sharath George
(2008, Microsoft)
Andrei Lifchits
(2008, Citrix)
Mayukh Saubhasik
(2008, Microsoft)
Nels Anderson
(2007, Livecast)
Petter Haggholm
(2007, eRezLife)
Shuang Hao
(2007, PhD @ Georgia Tech)
Camilo Ellis Rostoker
(2007)
Anirban Sinha
(2007, Zeugma Systems)
Mike Tsai
(2007)
Gang Peng
(2007)
Michael Wood
(2007)
Abhishek Gupta
(2006, Microsoft)
Bhavana Saha
(2006, Microsoft)
Randeep Singh Gakhal
(2006, TiVo)
Jake Wires
(2006, Citrix)
Mohammed Alam
(2005, PhD @ UBC)
Lowell Kirsh
(2005, Amazon)
Greg Kempe
(2005, Amazon South Africa)
Kapil Kumar Singh
(2005, PhD @ Georgia Tech)