Leior Varon
About Me
Hi! I'm Leior, a native Portlander and Israeli. I'm the lucky father of three lovely girls, and a proud nerd, who enjoys boardgames, math puzzles, and solving problems in general.
My education and work experience falls in the fuzzy path between electrical engineering and computer science, with a blend of diving into the theoretical and duct taping the parts together with python, or whatever I can get my hands on.
Unfortunately, I can't share a lot of my previous work because of confidentiality, however I do have a couple of simple and fun school projects below, in addition to sharing what I can in my experience and education sections. If you are the kind of person to look into the devtools of this page, please know that this page was done as a school project for a course outside of my expertise that I am trying out for fun and it does not reflect my usual level of expertise or quality 😁
Thank you for taking the time to view my page and have a wonderful day!Experience
Software Development Enginner
Siemens Digital Industries (previously Mentor Graphics)
7/2017-present
Working on Hierarchical Scan Insertion (HSI) for the “Tessent” Design For Test (DFT) tool. Main focus is on Wrapper Analysis, including algorithms for placement of Dedicated Wrapper Cells.
Software Development Contractor
Galois, Inc.
3/2017-5/2017
I worked on Qubie, the poll queue monitor, using formal software methods (Design by Contract) with specifications in extended BON, implementation in verifiable C and annotations in ACSL.
Sr. Design Automation Engineer
Mellanox Technologies
5/2011-7/2016
Responsible for leading automation activity in Verification and Design teams (100+ engineers):
- Supporting and Coding from scratch in house tools in python, tcl, csh and perl.
- Supporting, configuring and adapting new features of 3rd party CAD tools including Cadence IUS and Xilinx Vivado.
- Ownership of c++ fast Verilog linter Configuration, optimization and monitoring of Sun Grid Engine (SGE) schedular in a cluster of 2000+ cores.
- Hacks and wrappers to improve performance, increase scalability and improve UI.
- Definition and coding of tools to monitor and optimize resource allocation Central role in managing activities in Design Automation group.
- Building, expanding and maintaining a python OOP based package for coding infrastructure that allows all tools to enforce methodology, reduce overhead, share features, and streamline UI.
Design Verification Engineer
Mellanox Technologies
12/2009-4/2011
Functional Verification of computer communication devices (Switch/HCA) using specman "e":
- Built unit level Verification environment.
- Built and configured environments for full integrated chip features including blackbox testing.
Architecture and Algorithms Paid Intern
Zoran Corp.
0/2005-11/2007
Helped design DVD players and DVD recorders:
- Performance monitoring
- Improvement and testing of compression algorithms.
- Research of programming specifications (JPG, MPEG4)
- Reverse engineering of Nintendo (NES) compatible games
M.O.D.E.L Analyst
Intelligence Unit, Israeli Defense Force (IDF)
12/1999-12/2002
- Reached rank of Sergeant First Class
- Representative to Israeli Air Force - Auxiliary Air Crew. Specialized in analyzing electronic signal intelligence.
- Courses completed: M.O.D.E.L. operator, M.O.D.E.L. Analyst (finished first in class).
Board of Trustees
Cedarwood Waldorf School
1/2022-present
Volunteer trustee, secretary, and member of multiple committees
Education
Portland State University
Masters in Computer Science (ongoing)
2020-present
Technion - Israel Institute of Technology
B.Sc. in Computer Science (GPA 87.2%)
2003-2009
- Concentrations: Computer Networks, Signal and Image Processing
- Independent Project: Speech Recognition
- Second Independent Project: Automatic Assembly of Jigsaw Puzzles. Project results broke previous world record, won Thomas Schwartz prize.
Technion - Israel Institute of Technology
B.Sc. in Physics (GPA 87.2%)
2003-2009
independent labs: holography, ellipsometry, singletons, phase transfer.
Technion - Israel Institute of Technology
B.Sc. in Applied Mathematics (GPA 87.2%)
2003-2009
Projects
Qubie Poll Que Monitor
I worked on formal specifications for Qubie, a small, portable, computer that uses public wireless signals to measure how long voters wait in line to cast their ballots. Voter privacy is essential so all sensitive information must be securely and verifiably protected.
Free And Fair Guest PostFrupal
Frupal is a simple game that was coded in C++ as part of a PSU postback course in software engineering. I was part of a group of students who worked together to define agile sprints, divide tasks between ourselves, and implement this game from start to finish.
Frupal Game Github RepoYou at the Bat
You-At-The_Bat is a simple backend website that was designed to be hosted on the Google Cloud platform. It is a very simple use of multiple APIs to take your name and location, then to find the current weather at that location and to include all the specified data in a prompt to chatGPT to create a personalized story in the theme of "Casey at the bat".
You-At-The-Bat Github RepoRust Matching Game
The Memory Game is a classic card-matching game where players try to find matching pairs of cards. This implementation of the game is written in Rust and played in the terminal interface.
Rust Memory Game Github RepoXKCD
And now, because it is in the guidelines of this project, and also fun, please click on the accordion below to view some choice XKCD cartoons
Please visit the original website of these great cartoons at xkcd.com