Skip to content
View jf-li00's full-sized avatar
41 followers · 142 following
  • Huazhong University Of Science and Technology
  • Wuhan, Hubei, China

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report jf-li00

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@CetusProtocol
CetusProtocol
@LPTK
Lionel Parreaux LPTK
Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department

HKUST

@seclab-fudan
seclab-fudan seclab-fudan
System Software & Security Lab @ Fudan University

Shanghai, China

@OffchainLabs
Offchain Labs OffchainLabs
@mmalvarez
Mario Alvarez mmalvarez
I'm a Formal Verification and Programming Languages researcher who focuses on Blockchain technologies

@OffchainLabs

@CHAOZHAO-1
Zhao Chao （赵超） CHAOZHAO-1

NEU&HUST&POLIMI Shen Yang

@soareschen
Soares Chen soareschen
@maybevoid ∘ @contextgeneric ∘ Rust ∘ Haskell ∘ Functional Programming ∘ Programming Language Theory

@maybevoid Leipzig, Germany

@clementfung
Clement Fung clementfung
Computer Science Graduate Student @ CMU. Security, Machine Learning, and Systems.

Carnegie Mellon University Pittsburgh, PA, USA

@ret2zhao
ret2zhao ret2zhao
2x CVE | 🦀Rustacean | Security Researcher | Reverse Engineer | Exploit Developer | CISSP & CCSP & CISM & CISA

Fortinet | Georgia Tech Vancouver, Shanghai

@fEst1ck
Zekun Wang fEst1ck
MMath Computer Science @uWaterloo

University of Waterloo

@verifereum
Verifereum verifereum
Formal Verification of Ethereum Applications
@electronicarts
Electronic Arts electronicarts
Electronic Arts, inspiring a global community of players to explore new ways to play every day

Worldwide

@rappie
Rappie rappie
CTO & Lead Fuzzing Specialist @perimetersec

@perimetersec

@ilyasergey
Ilya Sergey ilyasergey
CS Prof

National University of Singapore Singapore

@perimetersec
Perimeter perimetersec
Offering top-tier fuzzing & invariant testing services
@dreamATD
Tianyi Liu dreamATD
A PhD student researching on practical ZKP.

University of Illinois at Urbana-Champaign Urbana, IL

@netrixframework
netrixframework
@cyruliu
Cyrus Liu cyruliu
Formal Verification/Program Analysis

New Jersey USA

@FormalizedFormalLogic
Formalized Formal Logic FormalizedFormalLogic
Formalize Formal Logic in Lean4
@AliAtaollahi
AliAtaollahi
Computer Engineering Student at University of Tehran
@sergerad
Serge Radinovich sergerad
Staff Protocol Engineer | Miden

New Zealand

@stong
cts stong
Security researcher and co-founder @Zellic. CTFs with @perfectblue. Previously @Vector35, @sslab-gatech.

@Zellic 0x4141414141414141

@OCamlPro
OCamlPro OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.

Paris & Saclay

@kupl
Software Analysis Lab. @ Korea University kupl
@deepmancer
Alireza Heidari deepmancer
M.Sc. Computer Science @ Simon Fraser University

Simon Fraser University Vancouver

@CoinFabrik
CoinFabrik CoinFabrik
Founded in 2014, CoinFabrik is a blockchain R&D and security auditing company with offices in Argentina, Europe, USA and Brazil.

United States of America

@inside-compiler
inside-compiler
@ntu-SRSLab
NTU SRSLab ntu-SRSLab
Software Reliability and Security Lab @ NTU

Singapore

@canyie
残页 canyie
21 y.o. Android (framework) developer & security researcher. Vulnerable. QAQ

China

@jxlpzqc
An Honest Liar jxlpzqc
🐟 🐟 🐟

Huazhong University of Science and Technology Wuhan, China

@radareorg
radare org radareorg
@liyishuai
Yishuai Li liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Editor @Coq-zh; Contributor @rocq-prover.

@PingCAP Shanghai Hongkou

@MarisaKirisame
霧雨魔理沙 MarisaKirisame
Ordinary Magician

魔法の森, Gensokyo

@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@h1994st
Shengtuo Hu h1994st
Think More, Do More, and Talk More :)
@rvantonder
Rijnard van Tonder rvantonder
@THU-WingTecher
WingTecher @ Tsinghua University THU-WingTecher
WingTecher Lab: Software System Security Assurance Group
@CassOnMars
Cassandra Heart CassOnMars
BDFL of Quilibrium, eng @ Farcaster, ex-Coinbase, always opinionated, ultra caffeinated, never hydrated

Quilibrium Wichita, KS

@gakonst
Georgios Konstantopoulos gakonst
cto & general partner at @paradigmxyz. mev, layer 2, proof of stake, zkps. we're hiring engineers internally & for the portfolio: georgios at paradigm dot xyz

@paradigmxyz Thessaloniki, Greece

@transmissions11
t11s transmissions11
research @paradigmxyz
@pcaversaccio
sudo rm -rf --no-preserve-root / pcaversaccio
𝐖𝐨𝐫𝐤𝐢𝐧𝐠 𝐨𝐧 𝐰𝐡𝐚𝐭'𝐬 𝐧𝐞𝐱𝐭.

w021d

@Philogy
Philippe Dumonet Philogy

SenseiLang

@AntonPing
Anton Ping AntonPing
An undergraduate at Moscow State University. Write Rust and Haskell most of the time.

Moscow State University Moscow

@flashbots
Flashbots flashbots
@minaminao
minaminao minaminao
full-time hobbyist security researcher

Tokyo

@jtriley2p
Riley jtriley2p
independent research engineer
@KaihuaQin
Kaihua KaihuaQin
Blockchain security and privacy.

London

@shao-hua-li
Shaohua Li shao-hua-li
Assistant Professor at The Chinese University of Hong Kong

The Chinese University of Hong Kong Hong Kong

@NikolajBjorner
Nikolaj Bjorner NikolajBjorner

Microsoft Research Redmond, USA

@PKU-ASAL
PKU-OSLAB PKU-ASAL
The OSLab of Peking University

China