ULB Research ⤶ |
Description of the Unit | Projects of the Unit | Composition |
Collaborations of the Unit | Protected technologies | Publications | Skills |
Faculty of Sciences | Computer Science
(Code: ULB512)
Person in charges of the unit : MASSART Thierry J., MASSART Thierry, RASKIN Jean-François. |
The research and teaching activities of the ''formal methods and verification group'' deal with rigourous methods that allow to design reliable computer systems. These methods are usually applied in the context of critical systems, such as embedded systems in transportation (trains, planes, cars), plants control systems, and so forth.
Campus : | Campus de la Plaine |
Location : | Campus de la Plaine, Bâtiment NO, 8è étage |
Address : | CP212 Bruxelles |
Phone number : | +32-2-650.56.14 |
Fax : | +32-2-650.56.09 |
E-mail : | Thierry.Massart@ulb.be |
Web site : | http://www.ulb.ac.be/di/verif |
• Analysis of data processing systems
• Applied computer science - softwares
• General informatics
• Mathematical informatics