Signal Processing and Communications Laboratory

Department of Engineering

Eric Wieser Eric Wieser

Background - Research - Publications

Position: PhD Student

E-mail: efw27 [at] cam.ac.uk

Office Location: BN3-02

Thesis Title:

Supervisor: Joan Lasenby

Background

Graduated in 2017 with a BA and MEng in Engineering at Cambridge, specializing in information and control engineering.

Parcipant in the penultimate year of the Cambridge-MIT exchange.

Steering council member and maintainer for NumPy.

Research Interests

Geometric Algebra, Formalized Mathematics, Mathematical Software

Publications

Google Scholar: https://scholar.google.com/citations?user=5YGAVE0AAAAJ&hl=en

Conference presentations:

  • ICCA12: Formalizing Geometric Algebra in Lean ( slides, video)
  • CICM2021-FMM: Scalar Actions in Lean's mathlib ( slides, video)
  • AGACSE 2021: Adapting Matrix Algorithms for Multivectors ( slides, video)
  • CUED Div-F 2022: Noncommutative algebras, computer algebra systems, and theorem provers ( slides)

Links

Personal website, with a collection of somewhat old engineering and software projects