Skip to content

@AeneasVerif AeneasVerif

Users following AeneasVerif

@N1ark
opale N1ark
/ᐠ - ˕ -マ Ⳋ

Imperial College London London

@apetrozzelli
Alessandro Petrozzelli apetrozzelli

Pisa

@webxos
webXOS webxos
Redefining web3 with micro language models and edge use case software.

webxos united states

@frieren-mage
Frieren frieren-mage
@hlberry
hlberry
@N0xMare
n0x N0xMare
@egorsmkv
Yehor Smoliakov egorsmkv
Speech-to-Text, Text-to-Speech, Voice over Internet Protocol
@andrewallenbruce
Andrew Allen Bruce andrewallenbruce
Healthcare Data Analyst

Georgia

@Samir-Rashid
Samir Rashid Samir-Rashid

@tock

@runbikeswim
Stefan Kusterer runbikeswim
see https://www.linkedin.com/in/stefankusterer/

SAP SE Near Heidelberg, Germany

@CarlKCarlK
Carl Kadie CarlKCarlK

Microsoft Research (Retired) Bellevue, WA

@nodokaha
のどかは(望み通り叶えては) nodokaha
実はイキってるだけでそんなにコード好きでも得意でもないかも知れない。でも知識をながめるのは好き。
@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@jeroen-z
jeroen-z
@achiko
Archil achiko
@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@shard77
shard shard77
@MCB-SMART-BOY
mcb MCB-SMART-BOY

中国

@alext-w
Alexander Tereschenko alext-w

Intel

@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@marcfir
Marc Fischer marcfir
Researcher @ University of Stuttgart

ISW University of Stuttgart Germany

@svetoslavenchev
Svetoslav Enchev svetoslavenchev

Sofia, Bulgaria

@take-cheeze
Takeshi Watanabe take-cheeze

Nagano, Japan

@arindas
Arindam Das arindas
Specializes in distributed systems, deep learning inference and AI SaaS at scale.

@claritas-healthtech India

@jht5945
Hatter Jiang jht5945
Senior Technical Specialist from Alibaba Cloud, I love programming ...

Alibaba Hangzhou, Zhejiang, China

@loncothad
loncothad
@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@janriemer
Jan Riemer janriemer
Creating great experiences for people ✨| Building software in Rust, TypeScript, VueJS and Node | Dare to think for yourself | Striving for excellence

Germany

@julianpritzi
Julian Pritzi julianpritzi

Munich

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@ahuoguo
Alex Bai ahuoguo

New York University

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@gleachkr
Graham Leach-Krouse gleachkr

Draper Laboratory Arlington, Massachusetts

@zhuyutian57
zhuyt zhuyutian57

Institute of SoftWare, Chinese Academy of Sciences Beijing

@lengyijun
lyj lengyijun

SJTU China Shanghai

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@shpark
shpark

Seoul

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@markhakansson
Mark Hakansson markhakansson
I've no idea what I'm doing

Kiteshield Luleå, Sweden

@unsoundsystem
unsoundsystem
Interested in Systems software and their formal verification

Japan

@sonmarcho
Son HO sonmarcho

Inria Paris