Ian Kariniemi
PhD Candidate
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
University of Minnesota Twin Cities
Github Skills (34)
tla10
abstract-syntax-tree10
peg10
languagetool10
grammars10
language-extensions10
dsl9
polymorphism9
tlaplus9
parser-generator9
metaprogramming9
grammar9
compiler8
composable8
interpreter8
Programming languages (4)
Github contributions (5)
hypnoticOxbow/Configs
Apr 2018 - Jul 2022
Contributions:22 pushes, 1 branch in 4 years 3 months
hypnoticOxbow/qmk_firmware
Apr 2020 - Feb 2023
Open-source keyboard firmware for Atmel AVR and Arm USB families
Contributions:5 pushes in 2 years 10 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.