A Computational Logic for Applicative Common Lisp
Users following acl2
Gideon_Opoku
RealHope1
# HELLO WELCOME TO THE OFFICIAL ACCOUNT FOR GIDEON OPOKU.
A passionate software engineer and software developer from Ghana.
GHANA
Velimir Đurković
djvelimir
Highly experienced Senior Software Engineer. Proficient in a range of technologies including .NET, Java, Angular, JavaScript, and TypeScript.
Novi Sad, Vojvodina, Serbia
Robert Ryley
rryley
US healthcare professional turned technologist. Interested in using computer science to improve service delivery and the deployment of assistive technology.
mocenigo
mocenigo
Father, Composer, Mathematician, Cryptologist. Former architect at ARM. Designed QARMA. Chaotic good. Notorious craic killer.
Munich, Bavaria, Germany
Émerson Silva
SilvaEmerson
Software Engineer @gympass & Functional enthusiast
@gympass Alagoas, Brazil
Luisa Cicolini
luisacicolini
creativity and formal methods enthusiast, engineer, CS phd student
University of Cambridge, @opencompl Cambridge
Ali
deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Forth, Standard ML, Scheme and Assembly
deadmarshal Iran, Karaj
Andrew B
abrown7100
Senior Software Engineer interested in Math, Formal Methods and Software Specification (TLA+, Alloy), TDD, and all the functional things.
Austin, Texas
Abdullah Baharoon
Asbaharoon
I am Oracle e-business suite R12 ERP user and Junior Student in programming of Java language, also currently I have job purchasing coordinator
@openjdk and @graalvm Yemen
Ben Brown
bencwbrown
PhD Student in Mathematics, with an emphasis on hypertoric varieties, Higgs bundles, and geometric quantisation.
University of Edinburgh United Kingdom
Noah Friedman
noahfriedman
I was born at a very early age.
Center for the Study of Sudden Cranial Expansion Seattle, WA
Vishal Lama
vishallama
Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
