Mark Fontenot
MarkFontenot
Teaching Professor in the Khoury College of Computer Sciences at Northeastern University
Northeastern University Boston, MA
Logic and Learning group
logic-and-learning-lab
The Logic and Learning (LOL) group works on inductive logic programming
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Timothy Baldridge
halgari
Software engineer/project manager specializing in programming and logic language design, business software, and video game modding tools.
@Nexus-Mods Denver, CO
Martin Kellogg
kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
Jethro Kuan
jethrokuan
Author of Org-roam.
previously:
bytedance, twitter, carousell
@abnormal-security San Francisco
Hassan Aït-Kaci
ha-k
Long-time fan of AI Technology & Knowledge Automation by Constraint Inference
HAK Language Technologies Surrey, BC
Scheme Containers
scheme-containers
The least unofficial curated collection of ready-to-run Scheme implementations
ASU ARG
azreasoners
This is the Github repo by the <a href="https://azreasoners.github.io">Automated Reasoning Group at Arizona State University</a> led by Joohyung Lee
Arizona State University
Monica Powell
M0nica
Building tech to elevate people. Founder of React Robins a community for React JS developers.
New York, New York