Ian Kariniemi
CTO Intern at Bloomberg
Portland, Oregon, United States
Summary
👤
Senior🎓
Top SchoolIan Kariniemi is a research-driven software engineer with eight years of experience bridging academic research and industry practice, currently serving as a CTO Intern at Bloomberg while pursuing a PhD at Portland State University. He specializes in types, program synthesis, and static analysis, and has a strong background in security-oriented tooling from work on privacy-preserving systems and binary analysis. Ian has shipped research and engineering work in OCaml, Common Lisp, Java, C, and Python across startups and labs, including contributions to AI planning and microservices restructuring. Notably, he coauthored a paper on privacy-preserving analytics presented at ACM CCS and has practical experience turning static analyses and research prototypes into applied solutions. Based in Portland, OR, he combines deep theoretical interests with hands-on system-building and cross-team collaboration.
8 years of coding experience
4 years of employment as a software developer
Bachelor's of Science of Computer Science, Computer Science, Bachelor's of Science of Computer Science, Computer Science at University of Minnesota
Github Skills (16)
language-extensions10
metaprogramming9
extraction8
programming-language8
compiler8
thread-safety8
readability6
memory-safety6
coq6
cpp5
dependent-types5
functional-programming4
haskell4
transpiler3
inlining1
Programming languages (6)
Github contributions (5)
hypnoticOxbow/Configs
Apr 2018 - Jul 2022
Contributions:22 pushes, 1 branch in 4 years 3 months
hypnoticOxbow/qmk_firmware
Apr 2020 - Nov 2025
Open-source keyboard firmware for Atmel AVR and Arm USB families
Contributions:7 pushes in 5 years 8 months
rp2040nrf52840firmwareavratmel
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.