Gera Weiss
Professor at Ben Gurion University
Be'er Sheva, South District, Israel
Summary
👤
Senior🎓
Top SchoolGera Weiss is a professor of software engineering and a founder with over a decade of academic and industry experience bridging formal methods, control theory, and practical tooling. He holds a Ph.D. in Mathematics and Computer Science from the Weizmann Institute and spent formative postdoctoral years at the University of Pennsylvania before leading research and teaching at Ben-Gurion University since 2009. As co-founder of Provengo, he commercializes Behavioral Programming—an approach he helped invent—turning rigorous modeling ideas into developer tools. His background ranges from early systems programming in the IDF and industry to advanced algorithmic research, giving him a rare blend of low-level coding pragmatism and formal analytical depth. Based in Be'er Sheva, Israel, he is known for translating theoretical insights into usable software that aids reliable system development.
11 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Mathematics and Computer Science, Doctor of Philosophy (Ph.D.), Mathematics and Computer Science at Weizmann Institute of ScienceBachelor of Science (B.Sc.), Mathematics and Computer Science, Bachelor of Science (B.Sc.), Mathematics and Computer Science at Bar-Ilan University
Hebrew
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (25)
theorem8
engine8
maven-project8
maven6
devops6
continuous-integration6
java6
javascript6
gitlab-ci6
homotopy-type-theory3
theorem-proving3
agda3
vscode3
machine-learning2
formal-methods2
Programming languages (7)
Github contributions (5)
geraw/BPJSRobocodeAgent
Jan 2017 - Aug 2024
Contributions:10 pushes in 7 years 8 months
mavenbpjsfork-mesample-maven-projectjava
bThink-BGU/BPFlow-Python
Feb 2020 - Apr 2022
An implementation of Behavioral Flow diagrams in python
Contributions:10 pushes, 1 branch in 2 years 2 months
diagramspythonbehavioral
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.