The Soufflé Project
lyj
lengyijun
Premier League Map:
http://ggdg.gitee.io/map_of_the_premier_league/
SJTU China Shanghai
Samed Bayer
SamedBayer
Computational Science and Engineering M.Sc.
Technical University of Munich
Munich
Jevin Sweval
jevinskie
Senior security researcher, compiler/binary hacker, NFC ninja, hardware hacker with a FPGA hammer.
Previously Pay Security.
Lafayette, Indiana
Luc Tielen
luc-tielen
Interested in functional programming, compilers and logic.
Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Lambda Tech Belgium
happyqq
happyqq
本人爱好电脑与美女，喜欢苍老师，懂点网络安全，会写几行hello程序，待人真诚，说话不喜欢拐弯抹角。购买软件或服务的PayPal收款地址: （ https://paypal.me/happyqq ）
WZB China
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken
