Karishma Daga

Founder at FirstSignals

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

🤩
Rockstar
🎓
Top School
Karishma Daga is a founder and software engineer with nine years of experience building AI and cloud-native systems, currently focused on Azure CoreAI model provisioning and feature development. At Microsoft she shipped global OpenAI model provisioning, enabled enterprise-tier quotas that increased adoption by 34% across 4,200+ accounts, and designed security and lifecycle features for Model-as-a-Service offerings. She also engineered distributed GPU authentication and migrated services to identity-based access to remove unmanaged secrets, demonstrating a strong security-first, production-focused mindset. As an undergraduate researcher she built Bauhaus, an open-source Python library for on-the-fly logical theory construction used in multi-agent reasoning research. Based in New York, she blends hands-on systems engineering with product impact and startup-building experience through FirstSignals, where she applies AI to transform credit lifecycle and risk management.
code9 years of coding experience
job5 years of employment as a software developer
bookComputer Science and Mathematics Computer Science, Computer Science and Mathematics Computer Science at Queen's University
languagesEnglish, Hindi
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (34)

rubiks-cube10
microsoft10
swagger10
microsoft-azure10
api10
rest10
azure10
rest-api10
openapi10
azure-machine-learning9
lifecycle9
machine-learning9
sat9
on-the-fly9
arm-templates9

Programming languages (5)

BicepJavaScriptJupyter NotebookPythonTypeSpec

Github contributions (5)

github-logo-circle
QuMuLab/bauhaus

Oct 2020 - Jun 2021

Build logical theories for SAT solvers on the fly
Contributions:1 release, 23 reviews, 157 commits in 7 months
satsolverstheoriessat-solveron-the-fly
KarishmaDaga/interview-prep

Nov 2018 - Jul 2020

code for leetcode questions, implementations of data structures and more in python
Contributions:2 PRs, 51 pushes, 2 branches in 1 year 8 months
implementationspythonleetcodeleetcode-solutionsleetcode-questions
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
Karishma Daga - Founder at FirstSignals