ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
Jonathan Julian Huerta y Munive

Registered user since Fri 18 Apr 2025

Name:Jonathan Julian Huerta y Munive
Country:Czechia
Affiliation:Czech Technical University
Personal website: https://jjhym.com.mx/
Research interests:interactive theorem proving, proof automation, machine learning

Contributions

Show activities from other conferences

Using general profile