People and topics related to Theorem proving
People and topics related to Theorem proving
lucas cordeiro
Lucas
Cordeiro
Program analysis
Program analysis
lucas cordeiro--Program analysis
Program synthesis
Program synthesis
lucas cordeiro--Program synthesis
Blockchain
Blockchain
lucas cordeiro--Blockchain
Robotics
Robotics
lucas cordeiro--Robotics
Unmanned aerial vehicles
Unmanned aerial vehicles
lucas cordeiro--Unmanned aerial vehicles
Software development security
Software development security
lucas cordeiro--Software development security
Satisfiability modulo theories
Satisfiability modulo theories
lucas cordeiro--Satisfiability modulo theories