Radosław Waśko
Software Engineer at Coralogix
Poland
Summary
🤩
Rockstar🎓
Top SchoolRadosław Waśko is a software engineer with 11 years of experience specializing in programming language theory, type systems, compilers and formal verification, currently building backend systems at Coralogix. He spent several years at Enso developing a data-analytics library ecosystem, authoring features like SQL-generating table APIs, package management, and runtime tooling that bridge in-memory and database-backed workflows. Focused on correctness and clean design, he pairs formal rigor (teaching experience in program semantics and verification) with hands-on engineering—shipping pragmatic features such as .pgpass support and test helpers in open-source projects. Equally comfortable moving fast in hackathon-style experiments, he brings a background in game dev, networking and data science to solve practical problems. Based in Poland, he balances deep technical interests with pursuits in theology, philosophy, hiking and skiing.
11 years of coding experience
5 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at University of WarsawExchange during master's degree, Computer Science, Exchange during master's degree, Computer Science at EPFL (École polytechnique fédérale de Lausanne)
Polish, English
Stackoverflow
29reputation
3kreached
0answers
1question
Github Skills (10)
data-management10
database-design10
testing10
apidoc9
postgresql9
api9
javas8
java8
performance-optimization8
shell6
Programming languages (17)
Github contributions (5)
enso-org/enso
Jun 2020 - Jan 2023
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:5171 reviews, 276 commits, 523 PRs in 2 years 8 months
Contributions summary:Radosław contributed to the Enso Analytics platform by adding new options to the Delimited format, allowing for more flexible data handling. They also implemented the `should_succeed` testing helper and integrated support for `.pgpass` files for PostgreSQL database authentication. Furthermore, the user made various improvements to the project's table API, particularly in relation to value types, the `distinct` operation, and also enhanced the codebase with new date/time operations.
polyglotjitfunctional-programminglanguage-designrts
enso-org/benchmarks
Mar 2021 - Apr 2021
Contributions:43 commits, 2 PRs, 32 pushes in 21 days
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.