PeopleofSuperintelligence

Researcher

Ashley Blacquiere

Raised on Prince Edward Island, Ashley Blacquiere moved west for Vancouver's interactive entertainment industry and studied digital media at the Centre for Digital Media. She taught at North Island College and pursued an MSc at UVic, where she studied Lean for formal verification and cryptography. Her 2026 MSc thesis applies Lean 4 to Pedersen and ElGamal commitment schemes, with machine-checked proofs of their core security properties. As of October 2026, she is Operations Manager on the Lean FRO team.

Now at
Lean FRO
Badges

Timeline

  1. April 2009

    Moving into digital media

    Raised on Prince Edward Island, she moves west to take part in Vancouver's interactive entertainment industry and studies in the Centre for Digital Media's Masters of Digital Media cohort in April 2009.

  2. October 2020

    Teaching at North Island College

    She is an instructor in North Island College's DIGITAL Design + Development program in October 2020.

  3. September 2021

    Exploring Lean for cryptography

    As a UVic MSc student, she studies Lean for formal verification and cryptography and considers a term-rewriting tactic for deduction systems in 2021.

  4. March 2023

    Teaching and a second MSc

    In March 2023, she teaches a vocational diploma program for web and mobile app developers at North Island College on Vancouver Island.

  5. April 2026

    Formalizing commitment schemes

    Her April 2026 final oral examination centers on an MSc thesis that formalizes Pedersen and ElGamal commitment schemes in Lean 4 with machine-checked proofs of core security properties.

  6. As of October 2026

    Operations Manager at Lean FRO

    On the Lean FRO team, she serves as Operations Manager as of October 2026.

Career

  1. Since 2026Lean FROOperations Manager
  2. From 2020North Island CollegeInstructor

Education

  1. From 2021University of VictoriaMSc
  2. From 2009Centre for Digital MediaMaster of Digital Media

From the biography.

  1. Google had the most people shaping AI every year from 2014 to 2025Our estimates of which organizations employed the most people shaping AI from 1961 to 2025, with a year-by-year chart.
  2. The United States employs an estimated 53% of people in our data with a known employment countryOur estimates of where AI careers are concentrated now and how countries’ shares of dated positions changed over time.
  3. 46% of living people in our data with known birth and employment countries work outside their birth countryOur estimate of cross-border careers in AI, from country of birth and the country of each current organization.
  4. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionOur estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.

Sources and credits

Photo: We have no published photo of Ashley Blacquiere yet. Send us a free-licensed photo.

  1. Ashley Blacquiere | Centre for Digital Media thecdm.ca. Checked 18 October 2026.
  2. RBC Foundation helps NIC students gain vital industry experience | North Island College nic.bc.ca. Checked 18 October 2026.
  3. Term rewriting for deduction system | Leanprover Community Zulip Archive leanprover-community.github.io. Checked 18 October 2026.
  4. Western Canada + Washington | Zulip Chat Archive leanprover-community.github.io. Checked 18 October 2026.
  5. Ashley Blacquiere - Faculty of Graduate Studies - UVic uvic.ca. Checked 18 October 2026.
  6. Team | Lean Lang lean-lang.org. Checked 18 October 2026.