I hold a Ph.D. Degree in A.I. and I have over 10 years of experience as a researcher in Argentina and Romania. My work was published in two prestigious journals in my field of expertise and recognized and awarded by the National Ministry of Education. I also collaborated briefly for the United Nations where I applied with a paper on E-Governance in 2016.
I have founded an award winning A.I. based startup, implementing a Machine Learning based solution for improving hotel guest experiences. I have also worked with different tech focused startups in helping them choosing and implementing A.I. within their products. I am currently also collaborating with startups in designing AI solutions that fit their general vision and values.
SERVICES OFFERED
DATA AUDITS
• structured data analysis • data visualization
DATA MANAGEMENT
• data modeling & management • knowledge extraction
A.I. SOLUTIONS
• Machine Learning (ML) algorithms • Artificial Intelligence methodologies & concepts integration
Domains of expertise
Recommender Systems, Classifications, Formal Reasoning Methodologies, Data Visualization
LIST OF PUBLICATIONS
JOURNALS
● I. A. Letia, A. Goron - Model Checking as Support for Inspecting Compliance to Rules in Flexible Processes, Journal of Visual Languages and Computing, 2015
● S. A. Gomez, A. Goron, A. Groza, I.A. Letia - Assuring Safety in Air Traffic Control Systems with Argumentation and Model Checking, Expert Systems with Applications, Elsevier, 2016
SPRINGER VOLUMES
● I. A. Letia, A. Goron - Towards Justifying Norm Compliance, in S. Cranefield et al. (Eds.): Coordination, Organization, Institutions, and Norms in Agent Systems, Lecture Notes in Computer Science 7254, pp. 110-128. Springer, Heidelberg, 2012
● A. Groza, l. A. Letia, A. Goron and S. Zaporojan - A formal approach for identifying assurance deficits in unmanned aerial vehicle software, Progress in Systems Engineering, Ed. H. Selvaraj, D. Zydek, G. Chmaj, Advances in Intelligent Systems & Computing Series 330, pp. 233-239,
CONFERENCES AND WORKSHOPS
● Letia, I.A. Goron, A., “Integrating Agent Programs with the Support of Formal Concepts”, IEEE 5th International Conference on Intelligent Computer Communication and Processing (ICCP09), pages 47-50, Cluj-Napoca, Romania, August, 2009
● Letia, I.A. Goron, A., "Value Based Argumentation using Formal Concepts", International Conference on Development and Application Systems, Suceava, Romania, May 2010
● Letia, I.A. Goron, A., "Handling Incompletely Specified Contracts by Argumentation", 2010 IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, August 2010
● Letia, I.A. Goron, A., “Argumentation in Incompletely Specified Software Services”, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 2010
● Letia, I.A. Goron, A., “Non-Functional Requirements for Services”, the 4th Workshop on Non- Functional Properties and SLA Management in Service-Oriented Computing, NFPSLAM-SOC'10, Cyprus, December 2010
● Letia, I.A. Goron, A., “Non-Functional Requirements for Services”, 12th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN@AAMAS, Taiwan 2011
● I. A. Letia, A. Goron - Checking the Norms for Explanation, 8th IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, August, 2012
● S. Gomez, A. Groza, C. Chesnevar, I. A. Letia, A. Goron, M. Lucero - ARGSAFE: Usando Argumentacion para Garantizar Seguridad en Sistemas Tecnicos Complejos, XVI Workshop de Investigadores en Ciencias de la Computacion (WICC), 7 -8 May 2014, Ushuaia, Tierra del Fuego
● A. Goron, A. Groza, S. A. Gomez, I. A. Letia - Towards an argumentative approach for repair of hybrid logics models, Eleventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2014), Paris, France, 5-9 May 2014
● S. A. Gomez, A. Goron, A. Groza - Assuring Safety in an Air Traffic Control System with Defeasible Logic Programming, Argentine Symposium on Artificial Intelligence (ASAI14), 1-5 September 2014, Buenos Aires, Argentina
● I. A. Letia, A. Goron - A Temporal View on Model Checking Hybrid Logics, 10th IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, September, 2014
● I. A. Letia, A. Goron - Instrumenting the Auditing of Business Process Logs, Fourth International Workshop on Combinations of Intelligent Methods and Applications (CIMA 2014), Limassol, Cyprus, 10 - 11 November 2014
● HLMC: a Hybrid Logic Tool for Model Checking in Verification of Administrative Processes, Mar 2, 2016 , ICEGOV 2016 Montevideo, Uruguay - 9th International Conference on Theory and Practice of Electronic Governance
