Adrian Johnstone
AJohnstone2007
I am Professor of Computing at Royal Holloway, University of London
Royal Holloway, University of London Egham, Surrey, TW20 0EX UK
Alexander Mayorov
ZeroBone
Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.
RPTU Kaiserslautern-Landau Kaiserslautern, Germany
Sergey Dovgal
Sergey-A-Dovgal
Université de Bourgogne, Institut de Mathématiques de Bourgogne Dijon
Patrick Soga
AJB117
CS PhD student at UVA. Working on ML on graphs.
University of Virginia Charlottesville, VA
Chad Scharf
cscharf
I am a son of God. I believe in the inherent dignity of all life as sons and daughters of God from conception. I denounce satan and all his works and ideologies
St Augustine, FL
Kaiyu Yang
yangky11
Research Scientist @ Meta, FAIR
Meta Fundamental AI Research (FAIR) New York, NY
Aoyang Yu
permui
Senior in Computer Science, interested in programming language theory.
Zhejiang University Hangzhou, China
David Huggins-Daines
dhdaines
Low technology solutions for real world problems. Mostly natural language related.
Sainte-Adèle, Québec
Jingnan Shi
jingnanshi
robotics PhD candidate @MIT-SPARK
Massachusetts Institute of Technology Cambridge, MA
Hakan Kjellerstrand
hakank
Independent Researcher. Interests: Constraint Modeling, Logic Programming, (Recreational) Mathematics, Probabilistic programming. Co-author of the Picat book.
Software Developer (Retired) / Independent Researcher Malmoe, Sweden
Paul Bittner
pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs | Allergic to syntax without semantics
University of Paderborn Paderborn
Zhendong Wang
Zhendong-Wang
I am a PhD student in the University of Texas at Austin. Currently, I focus on research in deep generative models, and reinforcement learning.