Áron Baráth: Towards Safer Programming Language Constructs. Eötvös Loránd University, Hungary 2019