Samuel Pastva
Assistant Professor at Masaryk University
Brno, South Moravia, Czechia
Summary
👤
Senior🎓
Top SchoolSamuel Pastva is an Assistant Professor and researcher with 12 years of experience blending academic rigor and hands-on engineering across programming languages, bioinformatics, and mobile/embedded systems. He has a strong track record from PhD work on symbolic tools for Boolean networks to postdoctoral research on learning logic-based models from single-cell RNA data, and now teaches and researches at Masaryk University. Samuel also spent time at Oracle improving GraalVM tooling and contributing tests and robustness fixes to the high-profile GraalJS runtime, demonstrating care for correctness and interoperability. A perfectionist by nature, he combines theoretical depth with practical contributions—shipping Android and IoT apps early in his career and building reproducible analysis tools—so he tends to pursue problems until they are solved or formally proven otherwise.
12 years of coding experience
10 years of employment as a software developer
Master's degree, Parallel and Distributed Systems, Master's degree, Parallel and Distributed Systems at Masaryk University Brno, Faculty of Informatics
English, German, Slovak, Czech
Stackoverflow
1,127reputation
112kreached
26answers
9questions
Github Skills (14)
javas10
javascript10
graalvm10
java10
testing10
parsing9
parse9
parser9
kotlin6
generics6
xml6
kotlin-android-extensions6
android6
trim6
Programming languages (15)
Github contributions (5)
oracle/graaljs
May 2020 - Jul 2020
GraalJS – A high-performance, ECMAScript compliant, and embeddable JavaScript runtime for Java
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:28 commits in 1 month
Contributions summary:Samuel focused on enhancing the GraalJS runtime, primarily through test improvements. Their work involved creating tests for interop arguments and ensuring consistent behavior with and without arguments. They also addressed code style issues and incorporated argument sanitization to improve the robustness of the JavaScript language parser. These modifications contributed to a more reliable and well-tested JavaScript runtime environment.
polyglotnode-jscompliantjavascriptinteroperability
sybila/biodivine-lib-param-bn
Jan 2020 - Jan 2023
Contributions:23 releases, 3 reviews, 312 commits in 3 years
rust-libraryrustrustlangpyo3boolean-networks
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.