Users following imdea-software
Afonso Rafael (Gafanhoto)
Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing
Barcelona Supercomputing Center Barcelona
Hengfeng Wei
hengxin
I am currently an Associate Professor at Hunan University, China.
Hunan University (湖南大学) Hunan University
Alessio
AlecsFerra
PhD Student in Type Theory @imdea-software
IMDEA Software Institute Madrid, Spain
Gabriel de Oliveira Trindade
fkyros
23. software dev @ Telefónica. comp sci fresh grad @ UPM, but always learning @ 42Madrid :)
@Telefonica
Andrea Colledan
andreacolledan
Backend developer @Blue-Insurance-IT |
PhD in Computer Science and Engineering | Quantum programming languages and verification
Blue Insurance IT Bologna
Christina-Theano (Theatina) Kylafi
theatina
M.Sc. in Language Technology (currently),
Classical Piano Degree, B.Sc. in Informatics & Telecommunications
Netcompany Athens
Ignacio Cascudo
icascudo
Research associate professor, IMDEA Software Institute @imdea-software, Madrid, Spain.
Main research topic: Cryptography.
IMDEA Software Institute @imdea-software Madrid
Ilya Nikitin
F1uctus
Programming languages theory, computational linguistics and maths enthusiast.
Occasionally a game maker. Amateur landscape photographer.
