Mike Thvedt

Software Engineer at Google

New York, New York, United States
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

👤
Senior
🎓
Top School
Mike Thvedt is a seasoned software engineer with 14 years of experience, currently building large-scale developer tooling at Google after earlier stints solving high-performance problems in mobile input and financial systems. He combines deep theoretical chops (BA in Math and research in mathematical physics) with practical systems engineering across languages from C++ and Java to Haskell. At Slash Keyboard he led a team that implemented a novel, memory- and latency-constrained C++ search structure for swipe/autocorrect, and at Google he has contributed to foundational open-source projects like Bazel and j2objc that power large-scale builds and cross-platform code reuse. Mike excels at leading small teams through unusually difficult technical challenges, designing solutions that are both elegant and production-ready. Based in New York, he favors problems that force trade-offs between theory and pragmatism and is happiest when optimizing systems at the limits of performance.
code14 years of coding experience
job10 years of employment as a software developer
bookBA, Math, Music, BA, Math, Music at University of Chicago
languagesEnglish
stackoverflow-logo

Stackoverflow

Stats
381reputation
13kreached
2answers
0questions
github-logo-circle

Github Skills (17)

objective-c10
protocol-buffers10
build-system10
java10
javas10
build210
bazel10
annotations9
annotation-processing9
file-handling8
file-processing8
file-access8
fileio8
build-automation7
clojure6

Programming languages (3)

JavaRustClojure

Github contributions (5)

github-logo-circle
google/j2objc

Dec 2014 - Jun 2015

A Java to iOS Objective-C translation tool and runtime.
Role in this project:
userBack-end Developer
Contributions:29 commits in 6 months
Contributions summary:Mike focused on enhancing the `google/j2objc` tool, a Java to iOS Objective-C translation tool. Their contributions involved implementing header mappings, reading properties, and modifying the class to use them. They also added support for package prefixes and refactored the code to make it more flexible. The user made further improvements to the annotation processing pipeline.
objective-ctranslation-tooltranslationruntimeios
bazelbuild/bazel

Jun 2015 - Feb 2016

a fast, scalable, multi-language and extensible build system
Role in this project:
userBack-end Developer
Contributions:22 commits in 7 months
Contributions summary:Mike focused on modifying the ProtoSourcesProvider to export direct sources and provide a method for retrieving indirect sources. They also introduced TreeArtifact and associated code, refactoring the ArtifactExpander and updating the FileSystemValueChecker to handle TreeArtifact values. These changes indicate a focus on improving the build system's handling of file dependencies, particularly for protocol buffer sources and directory structures. These contributions are essential for efficient build processes.
scalablecorrectbazelmulti-languagebuild-system
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
Mike Thvedt - Software Engineer at Google