Hichem Belgacem
![]() |
|
||||
Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
Department | SVV | ||||
Postal Address |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
Campus Office | JFK Building, E01-118 | ||||
![]() |
|||||
Telephone | (+352) 46 66 44 5514 | ||||
Hichem Begacem received his master degree from the Faculty of sciences of Monastir (Tunisia), in 2018. His research interests are in Software verification and validation, Formal Methods and Model Checking. Hichem joined the Software Verification and Validation group, SVV, headed by Prof. Lionel Briand and he will be advised by the latter.
Last updated on: Wednesday, 17 April 2019
powered by

In press

; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)