Guilherme Zeus Dantas e Moura
ZeusDM
MMath Student in C&O at the University of Waterloo.
Waterloo, ON, Canada
Yuxuan Sun
Yuxuan-Sun
HaverfordCollege 23' math&cs | HFI 19'
math: algebra, representation theory
cs: theorem proving, machine learning
Paulo Cunha
cunhapaulo
Wait for the news that will amaze everyone: MarpX is coming!!!
Warten Sie auf die Nachricht, die alle in Erstaunen versetzen wird: MarpX kommt!!!
Belém - Brasil
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Owen V. Hayes
MarvelousAnything
Hello there. I am currently a student a software engineering student at Drexel University.
Home
Florian Wilhelm
fwilhe2
I work for SAP. This is my personal account.
Avatar made via chatgpt/dall-e.
Zeki Akyol
zekiakyol
Incoming Economics PhD Student, University of California, Santa Cruz.
University of California, Santa Cruz Santa Cruz, CA
Wesley Scholl
konjoinfinity
Front End Engineer | Mobile Engineer | Full Stack Developer | Crypto & Blockchain Consultant | IT Solutions Expert
Washington, DC
Arian Cantu
AriCaMo
Electrical and Computer Engineering student passionate about circuit design, embedded systems, and energy solutions
BaofengWu
Researcher of CAS.
Research interests: cryptography, applied algebra
Chinese Academy of Sciences Haidian Distr., Beijing, China
Srikanth Pai
srikanthbpai
I am a assistant professor of mathematics by the weekday, coder/youtuber by weeknight, and Olympiad coach by weekend.
Madras School of Economics Chennai
Maximilian Janisch
maximilian-janisch
I am a PhD student at the Institute of Mathematics of the University of Zürich (I-MATH) within the Zürich Graduate School in Mathematics.
Switzerland
Michael Walter
catch22
Professor of Computer Science, working in Quantum Information
Ruhr-University Bochum Bochum, Germany
PreviousNext