Daniel Wappner
I am a PhD Candidate in Computer Science at the University of Buenos Aires (UBA). I work on software analysis methods with a focus on security, co-advised by Diego Garbervetsky, Víctor Braberman, and Sebastián Uchitel. My current research focuses on employing state-aware abstractions to guide vulnerability discovery on the Linux kernel. Beyond my core research, I have a broad interest in software testing, formal methods, and computational logic.
Soy Candidato a Doctor en Ciencias de la Computación en la Universidad de Buenos Aires (UBA). Trabajo en métodos de análisis de software con enfoque en seguridad, bajo la co-dirección de Diego Garbervetsky, Víctor Braberman y Sebastián Uchitel. Mi investigación actual se centra en emplear abstracciones sensibles al estado para guiar el descubrimiento de vulnerabilidades en el kernel de Linux. Más allá de mi investigación principal, me interesan áreas generales como el testing, los métodos formales y la lógica computacional.
Buenos Aires, Argentina
Research Areas
Áreas de Investigación
Employing behavior-preserving abstractions to guide vulnerability discovery on the Linux kernel and operating systems.
Uso de abstracciones que preservan el comportamiento para guiar el descubrimiento de vulnerabilidades en el kernel de Linux y sistemas operativos.
Automatic program analysis towards program verification and validation.
Análisis automático de programas orientado a la verificación y validación de software.
Generating validation-oriented abstractions of Solidity source code through dynamic symbolic execution.
Generación de abstracciones orientadas a la validación de código fuente Solidity mediante ejecución simbólica dinámica.
Publications
Publicaciones
Talks & Events
Charlas y Eventos
-
▹
FACAS 2026
Argentine Workshop of Foundations for Analysis and Automatic Construction of Software · Villa Carlos Paz, ArgentinaPresentation: "State-Directed Fuzzing of Operating System Modules"Presentación: "State-Directed Fuzzing of Operating System Modules"
-
▹
CLAWS 2025
Computational Logic and Applications Winter School · GTIIT, Shantou, China
-
▹
FACAS 2024
11th Argentine Workshop of Foundations for Analysis and Automatic Construction of Software · Rio Cuarto, ArgentinaPresentation: "Creating Behavior Abstractions through Symbollic Execution on Smart Contracts"Presentación: "Creating Behavior Abstractions through Symbollic Execution on Smart Contracts"
Teaching
Docencia
I have been actively involved in university education since 2021, holding teaching positions at both the University of Buenos Aires (UBA) and the Guangdong Technion-Israel Institute of Technology (GTIIT). I teach mostly at courses focused on theoretical Algorithms and Data Structures.
Participo activamente en la docencia universitaria desde 2021, dictando clases tanto en la Universidad de Buenos Aires (UBA) como en el Guangdong Technion-Israel Institute of Technology (GTIIT). Mi enfoque docente principal se centra en los fundamentos de las ciencias de la computación, específicamente en Algoritmos, Estructuras de Datos e Introducción a la Programación. Asimismo, mi experiencia incluye el dictado de cursos sobre Paradigmas de Programación, Métodos Numéricos y Álgebra Lineal.