Computer science Research Institute of Lens
Artificial intelligence research and its applications
Themes
Laboratory
Data
Knowledge
Constraints
Explainable AI
AI at the service of other disciplines
Projects
Ongoing
Recents
Partners
Output
PhD theses & HDR
Publications
Software
Data
Awards
News
News
Seminars
Directory
Practical information
Location
Contact
Organization
Recruitment
English
Deutsch
Français
Daniel Crowley
- PhD student
Personal Data
crowley@cril.fr
Degree prepared or obtained while being at CRIL
PhD thesis :
SAT-based Approaches for Formal Verification with B method
Research Axis
Constraints