code

A quick overview of my open-source contributions.

Selection of my open-source contributions at https://github.com/ivan-hasenohr:

Computer-assisted proofs of non-reachability for linear parabolic PDEs.:

</div>