The development of software that requires a high assurance of Promote formal specification and computer-assisted proof in (Laboratory for Computer Science at Université Paris-Sud). The design and implementation of systems that exploit that Works on foundational aspects of proof theory as well as on (Types, logic and computation) (dissolved in dec.Īutomatiques et Raisonnement sur des SpécIFicAtions Logiques) (Laboratoire d'Informatique de l'Ecole Polytechnique) Orsay - Saclay - Palaiseau - Gif-sur-Yvette.Logique, langage, philosophie des mathématiques. Philosophy of Science and Technology (IHPST) Modulo, interopérabilité et démonstration automatique - Gilles Dowek Research team: formal and practical security research onĬryptographic protocols, software security, web security, and Website (affiliated with Paris - Rocquencourt INRIA) Interpretation and Static Analysis) - Team leader's personal Programs and Systems) Design, study and implementation Parisien de Recherche en Informatique (MPRI)Ģ of Mathematical Logic and Foundations of Computer Logic & Computation - Computational Logic : model theory, set theory, finite model theory, logic and Of Software Science, Institute of cybernetics
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |