Hanneli Tavante
Lead Software Engineer at Nasdaq
Canada
Summary
👤
Senior🎓
Top SchoolHanneli Tavante is a Lead Software Engineer based in Canada with 14+ years of hands-on experience across C, C++, Python, Haskell and Rust, currently driving engineering at Nasdaq. She blends deep expertise in compilers, programming languages design and formal verification with practical experience building production systems, having worked at Intel, Red Hat and on numerous startup contracts. Hanneli pairs applied research instincts with teaching and mentoring—she has been a computer science instructor and a graduate teaching assistant while completing advanced graduate studies at McGill. Her background spans data engineering, devops and low-level tooling, and she brings a rare combination of theorem-proving interest and pragmatic product delivery. Known for open-minded curiosity, she frequently bridges academic ideas and production code, turning formal methods into usable developer tools.
14 years of coding experience
12 years of employment as a software developer
Master's degree, Electrical and Electronics Engineering, Master's degree, Electrical and Electronics Engineering at Universidade Federal de ItajubáMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at McGill University
English, Portuguese, French
Stackoverflow
101reputation
1kreached
2answers
2questions
Github Skills (155)
taiga9
csv9
bug-tracker9
pluggable9
capistrano9
ocaml9
scrum9
p4lang9
bazel9
bazel-rules9
gantt-chart9
version-control9
compiler8
ckan8
neo4j8
Programming languages (14)
Github contributions (5)
hannelita/hannelita.github.io
Feb 2017 - Jun 2024
Hanneli's website
Contributions:45 pushes, 2 branches in 7 years 5 months
reactnextjstypescript
hannelita/neo4j_doc_manager
Jul 2015 - Nov 2015
Contributions:93 commits, 4 PRs, 116 pushes in 3 months
neo4jgraph
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.