Isaiah Mindich

Teaching Assistant at Rice University

Houston, Texas, 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
Isaiah Mindich is a mathematically rigorous software engineer and educator with a decade of experience bridging research-grade systems and practical engineering. Currently a Teaching Assistant and PhD candidate at Rice University, he has taught multivariable calculus and supported courses across mathematics and computer science while mentoring undergraduates. His industry work includes research engineering on DARPA-funded hardware security under the BESSPIN project at Galois and backend development in Scala, Haskell, and Node.js during internships. Isaiah contributes to open-source tooling such as the Matterhorn Mattermost client, improving both UI and backend maintainability with thoughtful refactors (e.g., safer text handling for URIs). He combines formal mathematical training with hands-on full-stack development, making him adept at translating complex specifications into robust, maintainable code. Based in Houston, he brings a rare mix of academic depth and practical systems experience to security- and correctness-focused engineering challenges.
code10 years of coding experience
job1 year of employment as a software developer
bookDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at Rice University
bookBachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at Tufts University
github-logo-circle

Github Skills (8)

mattermost10
tui10
front-end-development10
forms10
clientside10
haskell10
ui-design9
webclient9

Programming languages (7)

LeanCSSCJavaScriptHaskellNixPython

Github contributions (5)

github-logo-circle
matterhorn-chat/matterhorn

Feb 2020 - Aug 2020

A feature-rich Unix terminal client for the Mattermost chat system
Role in this project:
userFull-stack Developer
Contributions:27 commits, 4 PRs, 10 pushes in 5 months
Contributions summary:Isaiah made significant contributions to the Matterhorn client, focusing on both the user interface and backend functionalities. They added features related to channel notification preferences and implemented a brick-based form for managing them. The user also addressed code inconsistencies and refactored code by using Text instead of String for URI paths. These changes enhanced the application's usability and maintainability.
golangunixchat-systemmattermost-chatfeature-rich
immindich/daggerfall-books

Jul 2016 - Jul 2016

Contributions:13 commits, 8 pushes, 1 branch in 4 days
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
Isaiah Mindich - Teaching Assistant at Rice University