Where PhDs and companies meet
Menu
Login

Already registered?

New user?

Thesis topic Open to all scientific expertises

Université Grenoble Alpes Thesis
Grenoble cedex 9 , France
cf. summary in english.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ...
Open to all scientific expertises
analyse de programmes, exécution symbolique, cyber-sécurité, preuve, méthodes formelles
program analysis, formal methods, symbolic execution, program proofs, cybersecurity
Ref. ABG-125808
2024-09-14
Thesis topic