Skip to content

@Verified-Intelligence Verified Intelligence

@ItisHan
Yuelin Han ItisHan
@aborger
Aaron Borger aborger
Aerospace Software Engineer II at Blue Origin.
@rohithsrinivaas
Rohith Srinivaas M rohithsrinivaas
Graduate Student Researcher @ UC Berkeley, Ex-Data Scientist. B.Tech & M.Tech, IIT Madras.

Berkeley Lab Berkeley, California, United States

@huanzhang12
Huan Zhang huanzhang12
Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)

University of Illinois Urbana-Champaign

@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@limx59
Mingxuan Li limx59
Senior Engineer of ChinaUnicom, focus on the container technology、Big data、Machine Learning~~

China Unicom Research Institute Beijing China

@sanglinwei
Linwei Sang sanglinwei
A Ph.d student focusing on sustaintable power system analytics via AI and OR.

Tsinghua University Berkeley, USA

@xiangruzh
xiangruzh
@YuhaoChrisJ
YuhaoChrisJ
@rajwrdhn
rajwrdhn

Vienna

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@YanghaoZYH
Yanghao ZHANG YanghaoZYH

Imperial College London London

@xaddwell
xaddwell xaddwell
ZJUer
@suizhihao
zhihaosui suizhihao

shanghai ai lab shanghai

@AttentiveNader
Nader AttentiveNader
Deep Learning Engineer

@Proteinea Cairo, Egypt

@emaballarin
Emanuele Ballarin emaballarin
PhD student in (neuro-inspired) Deep Learning. Also: robust / trustworthy / Bayesian DL, kernel methods, computational neuroscience. Overenthusiastic tinkerer.

Dept. of Maths, UniTS | @LACoNIC-UniTS ⊆ @ailab-units | @sissa-data-science | @AI-Student-Society Trieste, Italy

@ErwinZhou
Yuchen Zhou ErwinZhou
Born to be ME

BNRIST Beijing, China

@toby1213
toby1213
@Swarm-lzy
Zheyu Swarm-lzy
PhD on swarm robotic

University of Manchester

@Elohim22
Elohim22
@ZhangLevi-git
Lifeng Zhang ZhangLevi-git
@SJTUGuofei
Guofei Xiang SJTUGuofei
PhD student.
@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@pengqianhan
PengqianHan pengqianhan
Ph.D. candidate of The University of Auckland, New Zealand

The University of Auckland

@ytsao
Yi-Nung Tsao ytsao
AI is Abstract Interpretation ONLY!

University of Luxembourg Esch sur Alzette, Luxembourg

@SubekSharma
Subek Sharma SubekSharma
world of binary 10100011

Pokhara

@linden-yuan
linden-yuan
@Hongji1001
Kirkxuhj Hongji1001
@liuyixin-louis
Yixin Liu liuyixin-louis
@bob1113
Bob Lai bob1113
@Murplugg
Murplugg
@jyhong836
Junyuan Hong jyhong836
Researcher on Federated Learning, Privacy, Trustworthy ML.

University of Texas at Austin

@j29scott
Joe Scott j29scott

University of Waterloo Waterloo, Ontario, Canada

@junochen1114
Kangyun Chen junochen1114

Johns Hopkins University Baltimore

@daimakram
Daim Armaghan daimakram
CS Student at LUMS - Researcher, Developer

Lahore University of Management Sciences Lahore, Pakistan

@nurlanov-zh
Zhakshylyk Nurlanov nurlanov-zh
Ph.D. student at University of Bonn and Bosch Center for AI. Interested in building reliable deep models

University of Bonn Goettingen, Germany

@danielz02
Chenhui Zhang danielz02
MIT IDSS 28' | UIUC CS 23'

Massachusetts Institute of Technology Cambridge, MA