== Current Projects == === International Projects === SYMSAFE - Symbolic rewriting methods for safety and security of critical cyber-physical systems, 2023-2026, Science for Peace and Security Programme (NATO „Emerging Securities Challenges Division"), project nr. G6133 (M. Marin) [[http://harmonia-project.eu/about/|HARMONIA]] - Development of a Support System for Improved Resilience and Sustainable Urban areas to cope with Climate Change and Extreme Events based on GEOSS and Advanced Modelling Tools, H2020-LC-CLA-2020-2 / RIA, 2021-2024 (M. Neagul, C. Bonchis) [[https://ict-serrano.eu/|SERRANO]] – Transparent Application Deployment in a Secure, Accelerated and Cognitive Cloud Continuum, H2020/RIA, 2021-2023 (S. Panica) === COST Actions === [[https://www.cost.eu/actions/CA22137/|ROAR-NET]] - Randomised Optimisation Algorithms Research Network, COST Action CA22137, 2023-2027 [[https://europroofnet.github.io/contact/|EuroProofNet]] - European Network on Formal Proof, COST Action CA20111, 2022-2026 [[http://www.hitecaction.org/|HiTeC]] - Text, functional and other high-dimensional data in econometrics: new models, methods, applications, COST Action CA21163, 2022-2026 === National Projects === [[https://merascu.github.io/links/SAGE.html|SAGE]] - A Symbiosis between Satisfiability Verification, Graph Neural Networks and Symbolic Computation, PNIII-TE, 2022-2024 (M. Erascu) [[https://transitional-romanian-transliteration.azurewebsites.net/|ROTLA]] - Transliteration of 19th century Romanian texts written in the transitional alphabet using machine learning, PNIII-PED, 2022-2024 (M. Frincu) [[http://app.scampml.info.uvt.ro:9595/|SCAMP-ML]] - Advanced computational statistics for planning and monitoring production environments, POC/163/1/3/, 2022-2023 (F. Micota) FUSE4DL – Deep Learning using geospatial data fusion, PNIII-PED, 2020-2022 (M. Neagul) CERES - Classification software module of asteroids in satellite imagery using machine learning, PNIII-PED, 2020-2022 (M. Frincu) Cloud2Energy - Cloud dynamics using cloud computing for the prediction of photovoltaic energy generation, PNIII-TE, 2020-2022 (M. Frincu) [[https://coco.hpc.uvt.ro/en/home/|COCO]] – Adaptivity in Continuum Computing: from Cloud to Edge, PNIII-PCE, 2021-2023 (D. Petcu) ----