Kristopher Micinski
Assistant Professor at Syracuse University College of Engineering and Computer Science
City of Syracuse, New York, United States
Summary
👤
Senior🎓
Top SchoolKristopher Micinski is an Assistant Professor of Computer Science at Syracuse University with 15 years of experience at the intersection of programming languages, security, and formal logics. He earned a PhD from the University of Maryland focusing on information-flow security and language-based verification, and has taught and researched at Haverford College and as a graduate researcher on practical security problems. His background spans systems work—from DSL and compiler prototyping at Microsoft to wireless networking research as an undergrad—giving him a rare blend of practical implementation and formal methods expertise. Known on GitHub as a "lover of lambdas," he brings functional-programming sensibilities to security-focused language design. Colleagues would describe him as rigorous and quietly witty (self-described as "1/100th of Alan Robinson"), signaling both humility and deep respect for the field.
15 years of coding experience
The University of Maryland, College ParkBS, Computer Engineering, BS, Computer Engineering at Michigan State University
Stackoverflow
7,622reputation
557kreached
167answers
6questions
android
top-5%
android-service
top-5%
functional-programming
top-5%
Github Skills (64)
scraper10
google-play10
programming-language9
android-service9
dalvik9
instrumentation9
android9
bytecode9
api9
theorem9
apk9
functional-programming9
crawler9
kotlin8
reverse-engineering8
Programming languages (13)
Github contributions (5)
kmicinski/kmicinski.github.io
Jun 2017 - Dec 2022
Contributions:211 commits, 233 pushes, 1 branch in 5 years 7 months
kmicinski/program-analysis
Aug 2019 - Mar 2020
Contributions:38 commits, 46 pushes, 1 branch in 6 months
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.