Skip to content
Cloud, HPC & IoT
Big Data & Data Analysis
AI & ML
ML in EO
Cybersec
Theory of Computing
Applied Math
Cloud, HPC & IoT
Big Data & Data Analysis
AI & ML
ML in EO
Cybersec
Theory of Computing
Applied Math
Search
Search
Activities
Scientific Seminar
Conferences
Events
Projects
Current Projects
Former Projects
Scientific Seminar
Conferences
Events
Projects
Current Projects
Former Projects
Department
Researchers
Infrastructure
Publications
Researchers
Infrastructure
Publications
News
SYNASC 2025
February 12, 2025
February 12, 2025
Official SYNASC 2025 page.
Read More »
SYNASC 2023
November 14, 2024
February 10, 2025
Official page here.
Read More »
SYNASC 2024
November 14, 2024
February 10, 2025
Read More »
Ioan Dragan
Research Empowers Us
Cloud Computing, Formal Verification, First-Order Logic, Automated Theorem Proving
