John Zezelic
Founder Director @Correctlycoded Inc
Signup · Get unlimited contacts
WORK HISTORY
Founder Director @Correctlycoded Inc
CA
Design, architecture and building software services of highest quality utilizing modern techniques, including but not limited to: category theory, Curry-Howard equivalence, pure functions, intuitionistic type theory, dependent types and property testing.Languages- Haskell, C, C++, Java, C#, Rust, Purescript, Typescript, Javascript, Elm, Dhall, Python, SQL, Lua, m86k, AVRTech- Servant, Happstack, Blaze, Clay, Yesod, Halogen, GTK, Qt, Zsh, Docker, GoogleCloud, AWS, Linux, PostgreSQL, Redis
EDUCATION
Highschool of technical science
IT technician, IT, Electronics, Programming
Sveučilište u Rijeci / University of Rijeka
IT management
SKILLS
ABOUT JOHN ZEZELIC
I\'m an open minded, creative person who thrives on challenges and difficult problems, and seeks to solve them through logic, analysis, science and communication.At the same time, these are my greatest qualities - in that exact order.When I look for employment, I seek offers that provide great challenges and power to change things - rather than great paychecks.The future of my career is, and always will be, an open path; I\'ve earned paychecks with carpentry on one end, and both business and games programming on the other - and learned much from the whole journey.If you want to make the best of my skillset and personality - offer me a messy, complicated situation and give me power to clear it out. A worthwhile challenge will keep me motivated even if you can pay me only in chips and cookies.
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.