OPeNDAP™
OPENDAP
OPeNDAP is a non-profit that develops Advanced Software for Remote Data Retrieval
Colorado, Montana, Oregon and Rhode Island
Verified Intelligence
Verified-Intelligence
Formal verification tools for AI. Led by Prof. Huan Zhang at UIUC
AdaCore
AdaCore
AdaCore is the leading provider of commercial software solutions for Ada.
Paris, France - New York City, NY
Eigenius
eigenius
Open-source platform for AI-driven science and engineering with epistemic integrity — typed knowledge graph, formal verification, and replayable reasoning.
The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory (VeriVITAL)
verivital
@ttj of Institute for Software Integrated Systems, Electrical Engineering & Computer Science, Vanderbilt University
Nashville, TN
Frederik Baymler Mathiesen
Zinoex
Post.doc @ Oxford,
Previously: Delft, Berkeley, Aalborg, Topics:
formal methods for dynamical systems and ML
University of Oxford Netherlands
Zero Knowledge Podcast
ZeroKnowledgefm
Zero Knowledge Podcast goes deep into the tech that will power the emerging Web3 and chats with the community that is building it.
Nima Dehmamy
nimadehmamy
I'm a physics PhD, now working on AI for science, and occasionally robotics.
IBM Research Cambridge, MA, USA
William La Cava
lacava
Assistant Prof at Harvard Medical School developing ML for applications in biomedical informatics. I run the @cavalab at Boston Children's Hospital
@cavalab Boston, MA
Roars Lab
dynaroars
Roars (Research on Automated Reasoning Systems) Lab at George Mason University
United States of America
Kanad-Patel
Kanad-Patel
I am a Mechanical Engineering student at School of Engineering and Applied Science, Ahmedabad University
Kevin Wu
KevinyWu
CS PhD @ NYU Courant | 2025 NDSEG Fellow | BS/MS @ UChicago
NYU Courant New York City
Irmak Guzey
irmakguzey
PhD student at NYU. Working on robot learning for dexterous manipulation.
NYU, META
PreviousNext