Past Research Projects

LLM for Romanian

---

Matching Logic, Cryptography and Blockchains

---

Matching Logic and Lean: The 𝕂 Connection

---

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