Javier Hernández Sánchez
javierhersan
Software Engineer | MSc in Telecommunication Engineering
Madrid
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Mojtaba Khodadadi
mkhm
Physics, Financial Markets Analysis, Computational Social Science, Applied Machine Learning, Neuroscience.
Trieste, Italy
ASM Najmus Sakib Khan
asmnajmussakibkhan
"Gotta stick to the code and the literature"
Dhaka, Bangladesh
Carsten Ruff
ipcasy
Empowering Innovation through AI, Learning Excellence, and Expert Talent Acquisition – Elevate your Future!
ruff it-solutions Germany
PreviousNext