MIT Startup Exchange Live Demo Day

Adam Chlipala joined MIT in July 2011 in MIT's Department of Electrical Engineering and Computer Science (EECS). He is also a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL).

Chlipala received a B.S. in computer science at Carnegie Mellon in 2003 and his Ph.D. in computer science at UC Berkeley in 2007. Chlipala's research applies computer theorem proving to construct more effective software development tools.  Much of his work involves proving theorems about the correct behavior of software using the Coq theorem proving system, about which he has written a popular online book, due out soon in hard copy from MIT Press. He also works in the design and implementation of new programming languages, including Ur/Web, a domain-specific language for Web applications, which applies theorem proving technology to rule out costly mistakes in orchestrating the many pieces of a realistic Web site.

Before starting at MIT, Chlipala was a postdoctoral fellow at Harvard. His research focuses on applications of formal logic to software development and analysis.

Antoni Rosinol is co-founder & CEO of Stack AI, a platform to deploy AI Agents for Enterprises, backed by Google. He completed his PhD in Artificial Intelligence at MIT. Before founding Stack AI, Antoni worked at NASA's Jet Propulsion Laboratory. He is the recipient of LaCaixa, Bakala, and RafaelDelPino Fellowships, and has received several mentions for Best Paper Awards in the field of Robotics.

Dan Sturtevant founded Silverthread in 2013 to commercialize 15 years of Harvard and MIT research on software complexity and business outcomes. While at MIT, he researched the empirical foundations of Silverthread’s predictive analytics linking design quality and development productivity, agility, quality, and staff turnover. Before this, Dan spent 15 years as a software architect and engineer, manager, and developer in commercial and defense enterprises. His domain experience spanned data analytics, computational simulation modeling, cryptography, virtualization, Linux supercomputing, and the fusion of satellite data.

Sturtevant has a B.S. in computer engineering from Lehigh University, an M.S. in engineering and management from MIT, and a Ph.D. in engineering systems, also from MIT.

In 2013, Karan Kashyap, Posh’s Chief Executive Officer, began his journey at MIT where he met co-founder and CTO Matt McEachern their freshman year by rushing the same fraternity. His education at MIT included undergraduate and graduate degrees focused on artificial intelligence, where he was named a Siebel Scholar for his research work. While Karan was completing his graduate degree, he and Matt began AI and software consulting with enterprises across multiple industries, building a business foundation, and establishing a pathway to the beginning of Posh. Posh now has more than 100 clients across the banking and credit union space with an ever-growing client base and employee roster. Outside of work, Karan has joyfully traveled across 20+ countries, plays a variety of sports including soccer, golf, and squash, and enjoys cooking. He lives in Cambridge, MA.

Sara Remsen is the CEO and co-founder of Melodi. Sara is a repeat founder with a background in startups and human-centered design. Her first company Waypoint helped manufacturers document operational expertise for training and compliance, leading to a successful exit to PTC in 2018. At PTC, Sara was the VP of Product Experience, where she led the launch of a strategic new product and oversaw product design across multiple product lines. Sara holds a master’s in Integrated Design and Management from MIT, which was a joint program between the Sloan School of Business and the engineering school. While at MIT, Sara was a research assistant at the Media Lab and developed new product ideas for IDEO. Sara has a BA in Biology and Digital Arts from Dartmouth College.

Seasoned operations and technology leader with a track record of scaling high-growth companies from $10M to $100M+ ARR. Expert in building efficient teams, optimizing platforms, and driving strategic execution to maximize growth and operational excellence.

As Founder and CTO of Mobi, Peng Yu is the technological visionary behind our Human Collaborative AI Platform. In addition, he oversees Mobi’s research and development, guiding a group of PhDs in pushing the boundaries of what’s possible when applying advanced technologies to real-world problems. Peng earned his PhD from MIT working in the CSAIL (Computer Science and Artificial Intelligence) and MERS (Mobile-Enables Robotic Systems) labs and histhesis on using AI for decision assistance forms the backbone of Mobi’s solutions.

Andre is the founder and CEO of Koya AI, the universal api for ecommerce data. Koya AI helps marketplaces and procurement platforms with seamless catalog data management. Instead of spending days chasing down, standardizing, and enriching product data manually, Koya’s clients can rely on Koya’s data-as-a-service offering. Koya helps to obtain, normalize, and continually update product data with the power of Machine Learning. Before Koya AI, Andre co-founded two other companies: DeepChoice, a technical consultancy company that develops machine learning projects for major companies in various sectors like AB-InBev, Americanas SA, Royal Bank of Canada, and Kraft Heinz. And Pistil Data a SAAS company, implementing powerful analytic tools driven by data science to provide precise sales information for brands in the cannabis sector. Andre got his PhD in Computer Science from New York University, and his research and thesis was focused on how to better use machine learning methods in tabular data. He was also a Postdoctoral researcher at NYU and MIT working on methods for multi-stage transfer learning with application in recommendation systems, people analytics, and underwriting models.