Projekt per år
Organisationsprofil
Organisationsprofil
The research at Information Technology is organized around on three themes: development of mission-critical software, the industrial internet and algorithms and software in bio engineering:
- Mission-critical software focuses on the design and development of high quality, reliable software systems. This includes formal methods in system design, software testing, explainable AI for the development of autonomous systems, high performance software and low-power and energy efficient software systems.
- Industrial internet focuses on the interconnections of sensors and actuators with computer systems in industrial and manufacturing applications. We study the creation of digital twins for performance and reliability evaluation in challenging industrial systems.
- Algorithms and software in bio engineering focuses on research on computational systems ,biology natural computing, network analysis theory of computing and computational modelling.
Fingeravtryck
Nätverk
Profiler
-
Tanwir Ahmad
- Fakulteten för naturvetenskaper och teknik, Informationsteknologi - Projektforskare
Person
-
Mats Aspnäs
- Fakulteten för naturvetenskaper och teknik, Datavetenskap - Akademilektor
- Fakulteten för naturvetenskaper och teknik, Informationsteknologi - Akademilektor
Person
Projekt
-
VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments
Truscan, D., Porres Paltor, I., Ashraf, A., Ahmad, T., Chariyarupadannayil Sudheerbabu, G. & Chapagain, S.
01/10/20 → 30/09/23
Projekt: Forskning
-
Smart Miscarriage Prevention – An Artificial Intelligence Approach
01/06/20 → 31/05/21
Projekt: Forskning
Forskningsresultat
-
Applying guidelines for system modelling in Event-B: A systematic literature review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, I: International Journal of Critical Computer-Based Systems. 10, 1, s. 1–36Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Applying Test-Driven Development for Improved Feedback and Automation of Grading in Academic Courses on Software Development
Truscan, D., Ahmad, T. & Tran, C., 2020, Frontiers in Software Engineering Education. Bruel, J., Capozucca, A., Mazzara, M., Meyer, B., Naumchev, A. & Sadovykh, A. (red.). Springer, s. 310–323Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Applying Test-driven Development to Evaluating Student Projects
Tran, C., Truscan, D. & Ahmad, T., 2020, 6th International Conference on Higher Education Advances (HEAd’20). Domenech, J., Merello, P., de la Poza, E. & Peña-Ortiz, R. (red.). Universitat Politècnica de València Press, s. 1155–1163Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil
Priser
Aktiviteter
-
Women in Tech - Writing a New Script
Sepinoud Azimi Rashti (Talare)
16 sep 2020Aktivitet: Tal eller presentation › Inbjudet tal
-
Women in Tech - The Change Agents
Sepinoud Azimi Rashti (Talare)
24 okt 2020Aktivitet: Tal eller presentation › Inbjudet tal
-
IEEE Tech & Concentration of Power Committee (Extern organisation)
Sepinoud Azimi Rashti (Medlem)
2020 → …Aktivitet: Medlemskap › Medlemskap i kommitté