Ilan Godik

Israel
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Ilan Godik is a software engineer with 12 years of experience specializing in backend and functional programming, blending academic research with practical open-source contributions. Based in Israel, he has worked on full-stack research projects like Secure Cloudlog and contributed notable improvements to prominent functional libraries and tools, including optics work for the Scala Monocle library and build/setup fixes for the Haskell Stack. His contributions show deep comfort with type-level programming, data transformation via optics, and robust build configuration and tooling. Driven by a mission to improve humanity, he pairs technical rigor (95% average in Computer Science from Haifa University) with a pragmatic focus on making developer tooling and language features more reliable and expressive.
code12 years of coding experience
job1 year of employment as a software developer
bookHugim High Scool
bookBachelor of Science (B.S.), Computer Science, 95 Average, Bachelor of Science (B.S.), Computer Science, 95 Average at Haifa University
languagesHebrew, English, Russian, German, Arabic
github-logo-circle

Github Skills (13)

configuration-management10
functional-programming10
opt10
lenses10
haskell10
build-automation10
scala10
top-level9
cli9
command-line9
command-line-interface9
typer9
cat8

Programming languages (15)

C#JavaC++RustPureScriptCoqScalaTeX

Github contributions (5)

github-logo-circle
optics-dev/Monocle

Mar 2014 - Dec 2016

Optics library for Scala
Role in this project:
userBack-end Developer
Contributions:39 commits, 14 PRs, 12 pushes in 2 years 9 months
Contributions summary:Ilan primarily contributed to the `monocle` Scala library, focusing on adding and modifying features related to type-level programming and optics. They implemented prisms for various data types like Strings, Tuples, and Booleans, enabling conversions and manipulations within the library. Furthermore, the user introduced new functionalities, such as parsing and safe casts, improving the library's utility for Scala developers. The commits demonstrate a strong understanding of functional programming principles and the application of optics for data transformation.
opticsfunctional-programmingscalatypelevellens
commercialhaskell/stack

Sep 2015 - Nov 2019

The Haskell Tool Stack
Role in this project:
userBackend Developer
Contributions:16 commits, 3 PRs, 15 comments in 4 years 2 months
Contributions summary:Ilan primarily focused on improving the build process and setup configurations for the Haskell Tool Stack. Their contributions include adding documentation about the data flow of the 'path' command, properly displaying the architecture, and prioritizing configuration settings in the setup info. The user also addressed multiple issues related to the setup info, including support for multiple locations, relative paths, and fixing precedence issues.
haskellservant
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.
Request Free Trial
Ilan Godik