@Tancrededib I am building https://t.co/SiY5EBQ2NP . My edge: formal verification techniques borrowed from logic. No one else does this in this space btw.
@rayannmubarak Ayo I built this: https://t.co/nNnz8OA8Oa . It codifies 3000+ FDA warning letters into audit checkpoints, I even built deviation maps for Title 21 CFR codes, can i join you guys for a meeting?