Skip to content
@haisamido
Haisam Ido haisamido

Self Washington, DC

@lorenzo-gomez-windhover
Lorenzo Gomez lorenzo-gomez-windhover
lgomez@windhoverlabs.com

Windhover Labs

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving