Research Projects Proof mining in optimization and nonlinear analysis Matching logic – theoretical foundations Past Research Projects LLM for Romanian Matching Logic, Cryptography and Blockchains AI for Chemistry AI for RPA In-flight failure prediction of electronics using Artificial Intelligence (DETECT-AI) Latent Space Curation through Hybrid Metaheuristics: A Model of Curation, Optimization and Discretization by Affective Computing Machine Learning Techniques for Computer Numerical Control Machines: Exploratory Phase Matching Logic and Lean: Foundations
