Mohammed Sharukh A
MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics
PlanetSpark Kerala, India
Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge Cambridge, United Kingdom
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)
Interdisciplinary Physics Team (InPhyT)
InterdisciplinaryPhysicsTeam
Modeling complex systems via @JuliaLang and @python: Computational Social Science📱| Computational Epidemiology 🦠 | Computational Neuroscience 🧠.
University of Turin Turin, Italy
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen