-
currently one of the important technologies in the field of LAIs. The common approach to manipulate the performance of LAI suspensions release rate relies on changing particle size distribution
-
Engineering Cybersecurity Distributed and Cloud Computing Operating Systems and Digital Infrastructure AI for Software Engineering Software Engineering for Internet of Things Software Engineering for Cyber
-
methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices
-
infrastructure and by providing support and expertise to researchers. The key areas of the center are High Performance Computing (HPC), Cloud Services, Data Analytics and Data Management Services. We assist a
-
programming, including embedded systems, programming of critical software and infrastructure, high-performance computing, and distributed systems. Model-driven Software Engineering Cybersecurity, including
-
.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and
-
of teaching hours per subject per calendar year, as well as any related examination work, for the past three years. Additionally, you should provide an overview of the amount of supervisions, distributed by
-
, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing