Skip to content

@coana-tech Coana

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@BarrensZeppelin
Oskar Haarklou Veileborg BarrensZeppelin
Program Analysis Engineer @ Coana

Coana Aarhus, Denmark

@Ao-senXiong
Aosen Xiong Ao-senXiong
Ao-senXiong.github.io

University of Waterloo Waterloo, ON, Canada

@Mohamed988o
Mohamed988o
@LayZeeDK
Lars Gyrup Brink Nielsen LayZeeDK
Microsoft MVP, GitHub Star, Nx Champion, Co-Founder of This is Learning, Organizer of AarhusJS, Author, Writer, Speaker, Open-Source Maintainer.

@this-is-learning Holstebro, Denmark