CertSAFE is a software suite developed by Cyient for the design, development, simulation, verification, and validation of safety-critical systems. CertSAFE features a graphical development environment for a visual modeling language based on dataflow…

Citrine Informatics is building the next-generation materials development platform from the ground up, using the power of domain expertise, data, and machine learning to bring new materials to market faster, and capture materials-enabled product val…

CertSAFE is a software suite developed by Cyient for designing, simulating, verifying, and validating safety-critical systems. Team works on programming language theory, graph theory, UI design, concurrent/parallel software, and test automation. Dev…