Get my own profile
Co-authors
Antti ValmariUniversity of JyväskyläVerified email at jyu.fi
Jaco GeldenhuysAmazon Web ServicesVerified email at amazon.com
Xu WangResearcher, Swansea UniversityVerified email at cs.ox.ac.uk
Shang-Wei LinAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Mark TimmerLecturer in Mathematics Education, University of Twente, The NetherlandsVerified email at utwente.nl
Hao XiaoVeracodeVerified email at veracode.com
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Alfons LaarmanLeiden UniversityVerified email at liacs.leidenuniv.nl
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
David SanánSingapore Institute of TechnologieVerified email at singaporetech.edu.sg
Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Thomas Gibson-RobinsonDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Juho KanniainenProfessor, Tampere UniversityVerified email at tuni.fi
Yang LiuThe Hong Kong Polytechnic UniversityVerified email at polyu.edu.hk
Follow![Henri Hansen](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=VQs_WlcAAAAJ&citpid=3)
Henri Hansen
Docent, University Lecturer, Mathematics, Tampere University
Verified email at tuni.fi