Michael Tontchev

Staff Software Engineering Tech Lead at Meta

Seattle, Washington, 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

🤩
Rockstar
🎓
Top School
Michael Tontchev is a Staff Software Engineering Tech Lead at Meta with 11 years of experience building scalable systems and leading teams across AI and infrastructure domains. Based in Seattle, he has progressed from software engineering roles at Microsoft to senior technical leadership at Meta, where he focuses on AI safety and alignment for frontier models. His hands-on contributions span TypeScript tooling and ML data pipelines—maintaining ts-essentials types and developing fine-tuning data formatters for the popular meta-llama cookbook—reflecting a blend of rigorous engineering and applied ML. Known for pragmatic fixes (like DeepReadonly edge cases) and production-oriented testing, he pairs strong technical craft with an interest in ensuring AI aligns with human values.
code11 years of coding experience
job12 years of employment as a software developer
bookHigh School Accelerated math and science, High School Accelerated math and science at Baltimore Polytechnic Institute
bookBachelor's degree Computer Science and Economics, Bachelor's degree Computer Science and Economics at University of Maryland
languagesBulgarian, Italian, English
stackoverflow-logo

Stackoverflow

Stats
979reputation
178kreached
24answers
28questions
github-logo-circle

Github Skills (24)

data-formats10
pytorch10
typesc10
python10
testing10
llama10
machine-learning10
typescript10
data-format10
llm10
type-system10
ai10
typescript-types10
fine-tuning10
typescripts10

Programming languages (6)

TypeScriptC#JavaJavaScriptGoJupyter Notebook

Github contributions (5)

github-logo-circle
meta-llama/llama-cookbook

Dec 2023 - Dec 2023

Welcome to the Llama Cookbook! This is your go to guide for Building with Llama: Getting started with Inference, Fine-Tuning, RAG. We also show you how to solve end to end problems using Llama model family and using them on various provider services
Role in this project:
userML Engineer
Contributions:5 reviews, 1 PR, 12 comments in 13 days
Contributions summary:Michael primarily focused on developing and refining data formatting and processing utilities for fine-tuning Llama Guard models within the repository. Their contributions included creating formatters and tests, along with implementing data augmentation strategies. These changes were centered around the `finetuning_data_formatter.py` file, indicating a strong emphasis on preparing and transforming data for machine learning tasks. The user also made minor updates to testing and documentation related to the data formatter.
fine-tuninggoinferencellamaai
ts-essentials/ts-essentials

Feb 2019 - Feb 2019

All essential TypeScript types in one place 🤙
Role in this project:
userBackend Developer
Contributions:7 commits, 1 PR, 6 comments in 3 days
Contributions summary:Michael primarily focused on maintaining and improving the `ts-essentials` library. Their contributions include adding a check for `ReadonlyArray<T>` within the `DeepReadonly` type to fix a bug and adding a build-time test to ensure the fix remains. The user also performed several styling fixes across test files. The commits demonstrate a focus on TypeScript type definitions and testing.
typescript-typestypescripttype-level-programmingtoolbox
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