Eric Wieser
Senior Software Engineer at Google DeepMind
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolEric Wieser is a Senior Software Engineer in Seattle with 16 years of experience building reliable, high-performance systems across robotics, scientific computing, and programming language tooling. He blends deep backend expertise in C++ and Python with strong test automation and visualization skills, evidenced by contributions to flagship projects like NumPy, SciPy, Matplotlib, CPython and the robotics-focused Drake. At DeepMind he progressed from research engineer intern to senior engineer, bringing a research-grade attention to correctness that shows in work on Lean4, mathlib, SymPy and formalization efforts. Eric also bridges embedded/firmware and higher-level tooling—his history includes Prime Air sensor firmware and ros_numpy for converting ROS messages to NumPy arrays—so he comfortably spans low-level hardware interfaces to algorithmic and visualization layers. Colleagues appreciate the mix of meticulous refactoring, performance-minded optimizations, and thoughtful test coverage that runs through his open-source contributions.
16 years of coding experience
5 years of employment as a software developer
Control, Mechanical, and Software Engineering, Control, Mechanical, and Software Engineering at Massachusetts Institute of TechnologyDoctor of Philosophy - PhD, Engineering, Doctor of Philosophy - PhD, Engineering at University of CambridgeA Levels, A Levels at Hills Road Sixth Form College
English, Spanish, French
Stackoverflow
96,556reputation
13.0mreached
1,782answers
299questions
floating-point
top-5%
canvas
top-5%
regex
top-5%
hide
top-1%
dictionary
top-1%
serialization
top-5%
Github Skills (147)
programming-language10
restructuredtext10
float3210
python10
pgfplots10
testing10
analyse10
ipython10
tikz10
drake10
3d10
slim10
floating-point10
t410
cpp10
Programming languages (36)
Github contributions (5)
eric-wieser/ros_numpy
Feb 2016 - Aug 2019
Tools for converting ROS messages to and from numpy arrays
Role in this project:
Full-stack Developer (with focus on Python and ROS)
Full-stack Developer (with focus on Python and ROS)Contributions:1 review, 40 commits, 5 PRs in 3 years 6 months
Contributions summary:Eric primarily contributed to the `ros_numpy` repository, focusing on enhancing the conversion of ROS message types to and from NumPy arrays. They implemented features such as converting `sensor_msgs/Image` and `nav_msgs/OccupancyGrid` messages. The user also added support for geometric primitives like transforms and poses, and added various tests to ensure the reliability of the conversions. Furthermore, they refactored the code to be more generic with `msgify` and `numpify` methods.
numpy-arraysros
leanprover-community/mathlib4
Dec 2022 - Jan 2023
The math library of Lean 4
Role in this project:Back-end Developer
Back-end DeveloperContributions:10388 reviews, 28 commits, 1081 PRs in 1 month
Contributions summary:Eric primarily contributed to the Lean 4 math library, focusing on porting and fixing issues related to the existing mathlib3 code. Their work involved identifying and resolving bugs introduced during the porting process, specifically addressing issues related to type classes, field names, and the handling of Cauchy sequences. They also forward-ported changes from the original mathlib repository, ensuring the library's consistency and functionality. Their contributions demonstrate a focus on mathematical formalization and the underlying structures within the Lean 4 environment.
math-librarylean4
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.