Frantisek Silvasi
Ferinko
Formal verification engineer.
PhD. in formal software verification / formalization of mathematics.
Tal Derei
TalDerei
MS in Computer Science at Lehigh University
- Member of SSS Research Group (sss.cse.lehigh.edu)
- Software Engineer at Penumbra.
Lehigh University [email protected]