Mario Alejandro Leiva

I hold a Ph.D. in Computer Science from the Universidad Nacional del Sur in Buenos Aires, Argentina, where my research focused on probabilistic structured argumentation in the field of cybersecurity. Currently, I work as a Postdoctoral Fellow at the Department of Computer Science and Engineering, Universidad Nacional del Sur. In addtion, I am currently pursuing a specialization in Data Science. In this role, I actively engage in cutting-edge research, contribute as a Teaching Assistant in various computer science courses, and further enhance my expertise in data science. My interest lie in the areas of argumentation systems, cybersecurity, applied research, software development, and the application of logic programming to solve real-world problems. I have a strong passion for expanding the frontiers of computer science, conducting applied research, and creating software.



Mario A. Leiva

Ph.D. in Computer Science with expertise in research and teaching. Currently working as a Postdoctoral Fellow.

  • Bahía Blanca, Buenos Aires, Argentina


Ph.D. in Computer Science

June 2022

Universidad Nacional del Sur, Buenos Aires, Argentina

Bachelor's degree in Information Systems

March 2017

Universidad Nacional de Santiago del Estero, Santiago del Estero, Argentina

Research Experience

  • Postdoctoral Fellow, National Science and Technical Research Council (CONICET), Department of Computer Science and Engineering (DCIC), Universidad Nacional del Sur.
  • Publication of various research papers on Probabilistic Structured Argumentation and Cybersecurity.
  • Research stays at the University of Huddersfield and DLVSystem - Software company.

Teaching Experience

  • Teaching Assistant. Course: Algorithms and Complexity
  • Teaching Assistant. Course: Simulation


For an overview of citations of my papers, please view my Google Scholar profile.

Selected Publications

  1. DAQAP: Defeasible Argumentation Query Answering Platform: Mario A. Leiva, Gerardo I. Simari, Sebastian Gottifredi, Alejandro J. Garcı́a, Guillermo R. Simari. 13th International Conference on Flexible Query Answering Systems, 2019.
  2. Cyber Threat Analysis with Structured Probabilistic Argumentation: Mario A. Leiva, Gerardo I. Simari, Guillermo R. Simari, Paulo Shakarian. 3rd Workshop on Advances In Argumentation In Artificial Intelligence (AI∧ 3), 2019.
  3. Towards Effective and Efficient Approximate Query Answering in Probabilistic DeLP: Mario A. Leiva, Alejandro J. Garcı́a, Gerardo I. Simari. Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence (AI∧ 3), 2020.
  4. Probabilistic Defeasible Logic Programming: Towards Explainable and Tractable Query Answering (Extended Abstract): Mario A. Leiva, Alejandro J. Garcı́a, Paulo Shakarian, Gerardo I. Simari. 37th International Conference on Logic Programming (ICLP), 2021. Este trabajo también fue presentado durante el consorcio doctoral (Doctoral Consortium) del mismo evento.
  5. Guidelines for the analysis and design of argumentation-based recommendation systems: Mario A. Leiva, Maximiliano C. Budan y Gerardo I. Simari. IEEE Intelligent Systems, 35(5), 28-37. 2020.
  6. Argumentation-Based Query Answering under Uncertainty with Application to Cybersecurity: Mario A. Leiva, Alejandro J. García, Paulo Shakarian y Gerardo I. Simari. Big Data and Cognitive Computing (MDPI), 6(3), 91. 2022.


A small selection of my open-source projects that can be found on my github page:

DPG A DeLP Program Generator

DAQAP Platform The DAQAP platform

DeLP3E Models and Sampling This repository contains all the files needed to generate DeLP3E models and run the world sampling and subprogram sampling algorithms.

DungGraphs A web tool to plot dung graphs

Data Science Some data science projects



San Andrés 800, Bahía Blanca, Buenos Aires, Argentina