High-Assurance Software Laboratory
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
ZHU Siyuan
floatshadow
programming language, compiler;
participated in ASC'22, ISC'23
Hangzhou, China
Pedro Peixoto
vaavaav
PhD Student in Informatics interested in operating, distributed, and storage systems
University of Minho Portugal
João Costeira
joaocosteira
Software Engineering Student at University of Minho.
@costeirao Braga, Portugal
Vishal Lama
vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA