DH

Dániel Horpácsi

Researcher, Eötvös Loránd University

Assistant professor researching formal semantics and verification of Erlang programs.

Talks (3)

Don’t let it crash: How we applied our security checks on Elixir code

Talk 32:00 Don’t let it crash: How we applied our security checks on Elixir code

Melinda Tóth , Dániel Horpácsi

ElixirConf EU 2024

Don’t let it crash

Talk 18:00 Don’t let it crash

Dániel Horpácsi

Code BEAM Europe 2023

Program Equivalence in Sequential Core Erlang

Talk 25:00 Program Equivalence in Sequential Core Erlang

Péter Bereczky , Dániel Horpácsi

Lambda Days 2021