Alexandre Rademaker
arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.
EMAp/FGV Rio de Janeiro
Oliver Soeser
oliversoeser
Computer Science and Maths student, University of Edinburgh class of 2027.
Edinburgh, Scotland
Georgii Sergeev
sergeevgk
Software Engineer | C#, .NET, ASP.NET, Azure, SQL, WPF | Loves playing chess, video games and volleyball | Enthusiastic about LLMs and Cloud Tech
BBraun Miethke Berlin, Germany
Guido Schmidt
guidoschmidt
Creative programmer from Heidelberg, Germany
FIELD.io Heidelberg, Germany
Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge Cambridge, United Kingdom
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
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Kadanstsev Georgii
FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic
Beijing, China
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)
--
greydoubt
🛸 . •. 🌎 ° .• 🌓 • .°• • 🚀 ✯. •. . •.
. • ★ * ° . 🛰 °· •. ๏ .• 🪐
. • • ° ★ • ☄. ๏ •. . •.
Mars
PreviousNext