Skip to content
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@BabyMelvin
Baby Melvin BabyMelvin
Do whatever you wanna!!!

EswinComputing shanghai

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore