Skip to content

@JuliaReach JuliaReach

@djtrack16
Darius Liddell djtrack16
Stanford CS. Ruby. Functional Programming Enthusiast. Slow Traveller. Cycling.
@jpo71
Peter Olausson jpo71
@saitejp
Sai Tej Paruchuri saitejp
@alxg78
alxg78
@erbakirhan
Erhan BAKIRHAN erbakirhan
Sr. Software Engineer

Ankara, Turkey

@briancabbott
Brian Abbott briancabbott
Software Engineer. I currently live in Bellevue, WA. My focuses are on Systems Programming, Mathematics and Deep Learning.

Bellevue, WA

@younes-io
Younes younes-io
Julia. Rust. Prolog. Typescript. Node.js. TLA+. LLMs. Distributed systems. Concurrency. Consensus algorithms.
@artemsolod
Artem Solod artemsolod
@nhcho91
Namhoon Cho nhcho91

Cranfield University

@TongCHEN779
Tong CHEN TongCHEN779
Postdoc researcher

Copenhagen Denmark

@SCLiao47
Shih-Chi Liao SCLiao47
Ph.D. student interested in control theory, dynamical systems, and optimization methods.

University of Michigan - Electrical and Computer Engineering (ECE)

@anupekbote
anupekbote
@MahyarAmeli
Mahyar Ameli MahyarAmeli
@BrentKylling
BrentKylling
@nacng
nacng
@Accacio
Rafael Accácio Nogueira Accacio
Assistant Professor at IMT Atlantique/LS2N in Nantes, France.

IMT Atlantique Nantes, France

@sjtuSecondSilly
ZYX sjtuSecondSilly

SJTU CN

@adrienbanse
Adrien Banse adrienbanse
Ph.D. student at UCLouvain 👨‍🎓 Worried about climate change 🌳

UCLouvain Brussels, Belgium

@Zinoex
Frederik Baymler Mathiesen Zinoex
PhD student in ML @ TU Delft, Previously: UC Berkeley, Aalborg University, Topics: probabilistic verification, Bayesian neural networks, barrier functions

TU Delft Netherlands

@TooVooT
Kaerka TooVooT
work hard

HIT China

@beamiter
beamiter
I'm cool
@incebellipipo
Emir Cem Gezer incebellipipo
I build robots. I program linux. I play instruments.

NTNU: Norwegian University of Science and Technology Trondheim, Norway

@HanMeh
Han Meh HanMeh
@gunadhineha
NALLAPPAN GUNASEKARAN gunadhineha

Toyota Technological Institute Japan

@aaspeel
Antoine Aspeel aaspeel

University of Michigan Ann Arbor

@a6a3uh
Ali Tlisov a6a3uh

Бюро 1440 Санкт-Петербург

@liuyangdh
Yang Liu liuyangdh
@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

Formal Land Paris

@DevasmitDutta
Devasmit Dutta DevasmitDutta
MS Student in Structural Mechanics

UCLA Los Angeles, CA, USA

@wbinw
Wenbin Wan wbinw
Assistant Professor @ UNM ｜Controls and Machine Learning ｜UIUC Ph.D.

@Opt-n-Est-Lab In a simulation on earth

@RosalRicardo
Ricardo Rosal RosalRicardo
@PanCihui
PanCihui
@lassepe
Lasse Peters lassepe
PhD candidate in the TU Delft Department of Cognitive Robotics working on game-theoretic motion planning.

Delft University of Technology

@ivaquero
_ivaquero_ ivaquero
Minimalism Follower & Fan of Command Lines
@jianzuo
zuoj jianzuo
@jrf
Jeffrey Fetzer jrf
Seeker of the wisdom of the ancients

Mayo Clinic -- @MCGAIL Rochester, MN

@AlunStokes
Alun Cennyth Stokes AlunStokes
Dessins d'enfants, graph embeddings (metric kind), and various machines learnings. Most repos are private by necessity (for now). I study number theory.

McMaster University Hamilton, Ontario

@ltrunrunrun
ltrunrunrun
@0xD3ADBEEF
Viktorio 0xD3ADBEEF

Soundboks Copehagen, Denmark

@ZhaoDu
Zhao Du ZhaoDu
Good for you.

Tongji University Shanghai, China

@MortezaSh79
Morteza Shabanzadeh MortezaSh79
My current interests and activities are in the intersection of energy management systems (EMS+DMS) and software development.

Niroo Research Institute Tehran - Iran

@lucasilvalves
Lucas Alves da Silva lucasilvalves
I'm too much of an erratic, moody baby! I don't have the passion anymore and so remember, its better to burn out than to fade away.

CEADIS São Paulo

@dfcaporale
Daniel Freire Caporale dfcaporale
@leejoonhun
이준헌 leejoonhun

@qraft-technologies Seoul, Republic of Korea

@schillic
Christian Schilling schillic
Computer scientist

Aalborg University Denmark