Skip to content

@autonomy-and-verification-uol Autonomy and Verification Laboratory - UoL

@freja-zy
zy_relu freja-zy
Get up and Dive
@Palladiumm
palladdiumm Palladiumm
IT, adventures, kayaking.

@lacmus-foundation

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@929937690
Yuntao Li 929937690
I am a programming lover.
@FurkanEdizkan
Furkan Edizkan FurkanEdizkan

@inomuh Eskişehir, Turkey