Ibrahim Ghonem
Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog
Sky limit Egypt
Emanuele Ballarin
emaballarin
PhD candidate in Deep Learning. Representations, robustness, empirical methods, kernels, physics & neuroscience. Overenthusiastic tinkerer.
@ailab-units | @UCLComputerScience London, UK
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
Cornelius Diekmann
diekmann
Proving stuff in Isabelle. Computer networks and security.
Munich, Germany
Tobias Wolter
towo
Does admin stuff for @cccc @froscon and others.
Team Lead Technical Infrastructure and moonlighting consultant at @b1-systems.
Often angry.
@b1-systems Wuppertal, Germany
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)