ECOOP 2022 (series) / Heiko Becker
![Heiko Becker](https://2022.ecoop.org/getProfileImage/heikobecker/2c67e7d3-262a-4d61-962e-fa6d4200d3b5/small.jpg?1711609609000)
Registered user since Tue 15 Sep 2020
Name:Heiko Becker
Country:Germany
Affiliation:MPI-SWS
Personal website: https://mpi-sws.org/~hbecker/
X (Twitter): https://x.com/HeyHeiko
GitHub: https://github.com/HeikoBecker
Research interests:Floating-Point Arithmetic, Verified Compilers
Contributions
ECOOP 2022-profile
View general profile
View general profile