• Home
  • About
  • LinkedIn
  • CV
  • Contact
  • Teaching
  • Resources
  • Personal

Resources

  • I co-chaired (with Harry Bryant) the 2026 UKRRIN Student Conference, highlighting research by PhD students in the railway sector from the UK and beyond. (link)
  • A presentation from a research visit I made to City St. George’s, University of London, 2025. (link)
  • A quick primer on SMT solving, 2025. (link)
  • “Developing user propagators for graph-based SMT reasoning”, presentation at BCTCS 2025 (University of Strathclyde, Glasgow, Scotland), 2025. (link)
  • The slides I used to present/defend my BSc thesis, 2021. (link)
  • “Characterizing Insecure Error Distributions For Various RLWE Problems”, BSc thesis (University of Vermont, Burlington VT, United States), 2021. (link)
  • “Walking to Infinity Along Some Number Theory Sequences”, contributor to the Polymath REU at Williams College, 2020. (link)
  • Home
  • About
  • LinkedIn
  • CV
  • Contact
  • Teaching
  • Resources
  • Personal

crafted with 💗 by alec, based on the hitchens theme and powered by jekyll

(←) (→)