We are announcing a new research project, continuing our partnership with Runtime Verification.
Category: Research Projects
Project in collaboration with arGO: Machine Learning Techniques for Computer Numerical Control Machines
We are announcing a new research project, a collaboration with arGO, which has as its main goal the exploration of applications of machine learning (ML) algorithms aiding computer numeric control (CNC) machining.
New Project: Latent Space Curation through Hybrid Metaheuristics
We are announcing a new research project, a collaboration with the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest; Ion Mincu University of Architecture and Urban Planning; International Center for Research and Education in Innovative Creative Technologies (CINETic); and the “Arhitectura Celuilalt” Association.
New Project: Common Representation for Normative Statements and Research Results
We are announcing a new research project, coordinated by Alexandru-Dan Corlan.
Project in collaboration with Runtime Verification: Matching Logic and Lean
The project marks the start of our partnership with Runtime Verification, and concerns the Lean formalization of Matching Logic.