Skip to content
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@akilegaspi
Adrian Legaspi akilegaspi
Software Detective at @evolution-gaming

@evolution-gaming

@floatshadow
ZHU Siyuan floatshadow
programming language, compiler; participated in ASC'22, ISC'23

Hangzhou, China

@phohtoo
Htain Linn Htoo phohtoo
Software Engineer..

Germany

@vaavaav
Pedro Peixoto vaavaav
PhD Student in Informatics interested in operating systems, distributed systems and storage systems

University of Minho Portugal

@demcgovern
Donlon Eamonn McGovern demcgovern

Inter-State Studio United States of America

@joaocosteira
João Costeira joaocosteira
Software Engineering Student at University of Minho.

@costeirao Braga, Portugal

@lrpereira
lrp lrpereira

@MonetDBSolutions Amsterdam

@VitoVan
VitoVan
I make shit.
@vishallama
Vishal Lama vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.

USA