Andrew Cropper
andrewcropper
I work on logic and machine learning at the University of Oxford.
Chen Liang
crazydonkey200
Hi, I am Chen, aka crazydonkey, an AI researcher in Google DeepMind (previously Brain), building AI systems that can make new discoveries and self evolve.
Google DeepMind Mountain View, CA
Ebrahim Azarisooreh
eazar001
Software Development Engineer at Travelport with an affinity for functional/logic programming applied to GDS, artificial intelligence, and finance.
Travelport Denver, CO
Philippe Desjardins-Proulx
PhDP
Postdoctoral researcher at the Université de Montréal focusing on probabilistic programming with typed lambda calculi. Ph.D. (Sherbrooke U)
Université de Montréal Quebec, Canada.
Sebastijan Dumancic
sebdumancic
Assistant Professor at Delft University of Technology. Program synthesis/induction, probabilistic programming and StarAI
Delft University of Technology
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
Wouter Beek
wouterbeek
Co-founder at Triply, Semantic Web researcher at VU University Amsterdam, logic-programmer.
Triply, VU University Amsterdam Amsterdam
Josh Marlow
joshmarlow
Flexible programmer that primarily lives in the backend. Tentatively full stack. Preferred languages are Python, Rust and OCaml.
Chattanooga TN
Christian G. Warden
cwarden
Salesforce Development Professional/Linux Aficionado/Economics Dilettante.
Principal, @octoberswimmer.
@octoberswimmer Chicago, IL
PreviousNext