Applied Computational Logic and Artificial Intelligence Laboratory
aclai-lab
Applied Computational Logic and Artificial Intelligence (ACLAI) Laboratory of the Department of Mathematics and Computer Science, University of Ferrara
Italy
Tomas Mariancik
Frooxius
Developing a digital universe called Resonite
Yellow Dog Man Studios s.r.o. Czech Republic
Bruno Gavranović
bgavran
Building neural networks that generate provably correct code, and the software infrastructure for training them.
London, United Kingdom
Marcelo Novaes
marnovo
COO & Co-founder @athenianco
@linuxfoundation @LF-Engineering @athenianco @FragileTech @src-d Vault 0 ⇌ BR ⇌ ES ⇌ US
Atviras Vilnius
atvirasvilnius
Vilniaus miesto savivaldybės administracija Konstitucijos pr. 3, LT-09601 Vilnius
Michael Cook
gamesbyangelina
Hey my name's Mike, I warned you you didn't want to see my code, but here we are.
King's College London London