High Performance Computing with FPGAs and TSPs, Quantum Simulation, Quantum Cryptography.

---

Type Theory Group: Working on programming languages and proof assistants based on Martin-Löf's type theory.

---

High Assurance Refactoring Project: We design and implement methods and tools for making trustworthy refactoring transformations in functional programming languages. We employ formal methods and proof assistants to ensure the behaviour-preservation property.

---

We aim to analyze the usability of various open-source edge solutions, such as EdgeX, Akranio, and others. Our focus is on exploring different IoT use cases and evaluating the efficiency of these solutions. Additionally, we assess the pros and cons of       various architectures and examine how easy it is to deploy and manage new applications. Ensuring low latency guarantees will be a key consideration. Furthermore, we work on the design and deployment of microservices-based applications that can effectively manage multiple users and applications while maintaining data sharing and isolation.

---

Our goal is to find innovative models of distributed systems for green computing, to verify and test various communication models, finding appropriate language tools, implementing various distributed patterns for HPC. Coordination of special distributed CPS systems e.g. SmartHouse or SmartCity are also of interest both from collaborative tasks and from energy saving point of view.

---

RefactorErl: Static program analyses and transformations for Erlang programs: code comprehension support, software maintenance support, code checking, quality/complexity analysis, software security analysis, testing support, dependence analysis, software visualisation, refactorings, concurrent/distributed program analysis, green computing.

---