Emmanouela Stachtiari
Computer Scientist
Geneva, Geneva, Switzerland
Summary
👤
SeniorEmmanouela Stachtiari is a computer scientist based in Geneva with eight years of experience bridging academia and industry, holding a Ph.D. in Software Verification and practical expertise in software engineering and data science. She combines formal verification techniques (BIP, NuSMV, PRISM) with hands-on development in Java and Python, including testing frameworks like JUnit and pytest and production libraries such as Xerces and Jackson. Equally comfortable with supervised learning workflows (pandas, numpy, scikit-learn), data visualization, and big-data processing with PySpark, she has placed highly in data science competitions demonstrating applied model-building skills. Her background in both rigorous verification and pragmatic engineering enables her to design auditable, reliable systems that scale from research prototypes to production services. An interdisciplinary thinker, she often leverages formal methods to improve software testing and data-driven decision making in real-world applications.
8 years of coding experience
English, Spanish, French, German, Greek
Github Skills (9)
functional-programming2
visual-programming2
javascript1
displays1
meteor1
vuex1
vue1
vuetify1
aws-amplify1
Programming languages (2)
Github contributions (5)
emmastac/RERD-tool
Feb 2020 - Sep 2022
Contributions:19 commits, 19 pushes in 2 years 8 months
emmastac/SmallJava
Sep 2017 - Oct 2021
Contributions:2 pushes, 1 branch in 4 years 1 month
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.