Home // SnT // People // Joshua Dawes

Dr. Joshua Dawes

Joshua Dawes

Postdoctoral researcher

Department SVV
Postal Address Université du Luxembourg
29, avenue JF Kennedy
L-1855 Luxembourg
Campus Office JFK Building, E01-113
Email
Telephone (+352) 46 66 44 9843
Fax (+352) 46 66 44 39843

Joshua Dawes received his PhD degree from the University of Manchester (England), in 2020. His research interests lie in the fundamental research necessary to analyse programs' behaviour and the engineering work necessary to apply program analysis tools in the industrial context. Joshua joined the Software Verification and Validation research group, SVV, headed by Prof. Lionel Briand and he will be reporting to Prof. Domenico Bianculli.

Last updated on: Monday, 07 December 2020

powered by
orbilu.uni.lu

2021

Full Text
See detailSpecifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs
Dawes, Joshua; Bianculli, Domenico

in Proceedings of the 21st International Conference on Runtime Verification (2021, October)

Top of Page