Violeta Hernández
Cajero Bancario at BANAMEX BANCO NACIONAL DE MÉXICO
Guanajuato, Mexico
Summary
🤩
Rockstar🎓
Top SchoolVioleta Hernández is a banking professional with six years of customer-facing experience as a cajero bancario at Banamex in Guanajuato, combining steady operational discipline with a background in business administration. Beyond the teller window she is a mathematician and creative thinker who contributes to advanced open-source theorem provers and numerical libraries, having added core lemmas to Lean 3/4 and implemented matrix power functions in Rust's nalgebra. This blend of finance, formal methods, and low-level numerical work gives her a rare mix of precision, analytical rigor, and practical problem-solving. Comfortable communicating with clients and coding in collaborative repos, she brings reliability, attention to detail, and a quietly inventive approach to process improvement.
6 years of coding experience
Licenciatura, Business Administration and Management, General, Licenciatura, Business Administration and Management, General at Universidad Politécnica de Pénjamo
Stackoverflow
107reputation
278reached
0answers
2questions
Github Skills (23)
matrix10
algebra10
mathematics10
set-theory10
math10
data-structure10
maths10
mat10
ordered-set10
ordered10
data-structures10
theorem-proving10
functional-programming10
rust10
leanback10
Programming languages (11)
Github contributions (5)
leanprover-community/mathlib3
Nov 2021 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer & Theorem Prover
Back-end Developer & Theorem ProverContributions:962 reviews, 2746 commits, 689 PRs in 1 year 2 months
Contributions summary:Violeta made contributions to the `mathlib3` repository, primarily focusing on enhancing and refactoring the mathematical component library. Their work included generalizing existing mathematical constructs, such as the order relations, and adding results about finite sets and transitive sets. They also implemented several new theorems related to mathematical concepts, and simplified existing proofs to enhance the library's mathematical capabilities.
maththeorem-provingcomponents-librarymathematicsjavascript
dimforge/nalgebra
Apr 2021 - Jul 2021
Linear algebra library for Rust.
Role in this project:Back-end Developer
Back-end DeveloperContributions:4 reviews, 35 commits, 16 PRs in 3 months
Contributions summary:Violeta implemented the `pow` and `pow_mut` functions for matrices, adding functionality for raising matrices to integer powers. These changes involved modifying the linear algebra library's core components, including the addition of an in-place variant and related memory improvements. The user also refactored the code to use `mul_to` and updated the return type of `pow_mut` to `Result`.
eigenvalueslinear-algebra-librarylinear-algebrandarrayrust
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.