Projekter pr. år
Organisationsprofil
Organisationsprofil
Head of Department
Peter Axel Nielsen
The department's research is directed at computers, computing, software and computer systems. The research approach encompasses the formally logical, the experimentally constructive, and the empirically descriptive.
Programming and programming languages constitute vital links between computers and human activity and the study hereof is fundamental. Computer science is concerned with how to carry out an efficient and qualitybased software development with design and implementation of formalized languages and with development and application of software development tools. Computer science is also in a broader sense concerned with development and utilization of information technology.
Computer science is engaged in, on the one hand, exploitation and development of the technical possibilities, e.g., utilization of parallelism in computer networks, and, on the other hand, development and adaptation of concrete systems and technologies to specific applications.
Computer science is related to mathematics, engineering, and to humanistic and social science disciplines.
The department is divided into four research units:
- Distributed, Embedded and Intelligent Systems
- Data Engineering, Science and Systems
- Data, Knowledge and Web Engineering
- Human-Centered Computing
Fingerprint
Samarbejde i de sidste fem år
Profiler
-
Digitalization Activities for DAD students
Raptis, D. (PI (principal investigator)), Zada, A. M. (Projektdeltager), Ananjeva, A. (Projektdeltager), Shalawadi, S. B. (Projektdeltager) & Nielsen, P. A. (CoPI)
01/09/2024 → 01/10/2026
Projekter: Projekt › Forskning
-
Guarantees of Factuality in LLM-based Extraction of Financial KPIs from Earnings Transcripts
Bjerva, J. (PI (principal investigator)), Jensen, R. T. A. (Projektdeltager), Rizzi, G. (Supervisor) & Larsen, T. (Supervisor)
01/09/2024 → 31/08/2027
Projekter: Projekt › Forskning
-
Cosyne: Safe Control Systems with Neural Networks
01/09/2024 → 31/08/2028
Projekter: Projekt › Forskning
Publikationer
-
Robust probabilistic temporal logics
Zimmermann, M., feb. 2025, I: Information Processing Letters. 188, 106522.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., jan. 2024, I: Logical Methods in Computer Science. 20, 1, 39.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Citationer (Scopus) -
A Call for Consistency in Reporting Typological Diversity
Poelman, W., Ploeger, E., de Lhoneux, M. & Bjerva, J., 17 mar. 2024, Proceedings of the 6th Workshop on Research in Computational Linguistic Typology and Multilingual NLP. Association for Computational LinguisticsPublikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang
Forskningsdatasæt
-
Additional file 5 of DGH-GO: dissecting the genetic heterogeneity of complex diseases using gene ontology
Asif, M. (Ophavsperson), Martiniano, H. F. M. C. (Ophavsperson), Lamurias, A. (Ophavsperson), Kausar, S. (Ophavsperson) & Couto, F. M. (Ophavsperson), Figshare, 13 aug. 2024
DOI: 10.6084/m9.figshare.26585160.v1, https://springernature.figshare.com/articles/dataset/Additional_file_5_of_DGH-GO_dissecting_the_genetic_heterogeneity_of_complex_diseases_using_gene_ontology/26585160/1
Datasæt
-
Additional file 6 of DGH-GO: dissecting the genetic heterogeneity of complex diseases using gene ontology
Asif, M. (Ophavsperson), Martiniano, H. F. M. C. (Ophavsperson), Lamurias, A. (Ophavsperson), Kausar, S. (Ophavsperson) & Couto, F. M. (Ophavsperson), Figshare, 13 aug. 2024
DOI: 10.6084/m9.figshare.26585163.v1, https://springernature.figshare.com/articles/dataset/Additional_file_6_of_DGH-GO_dissecting_the_genetic_heterogeneity_of_complex_diseases_using_gene_ontology/26585163/1
Datasæt
-
Additional file 3 of DGH-GO: dissecting the genetic heterogeneity of complex diseases using gene ontology
Asif, M. (Ophavsperson), Martiniano, H. F. M. C. (Ophavsperson), Lamurias, A. (Ophavsperson), Kausar, S. (Ophavsperson) & Couto, F. M. (Ophavsperson), Figshare, 13 aug. 2024
DOI: 10.6084/m9.figshare.26585154.v1, https://springernature.figshare.com/articles/dataset/Additional_file_3_of_DGH-GO_dissecting_the_genetic_heterogeneity_of_complex_diseases_using_gene_ontology/26585154/1
Datasæt
Priser
-
DIS 2024 Honourable Mention
Shalawadi, S. B. (Modtager), Getschmann, C. (Modtager), van Berkel, N. (Modtager) & Echtler, F. (Modtager), 1 jul. 2024
Pris: Konferencepriser
-
Teacher of the year 2022/2023 for the Faculty of IT and Design
Bacci, Giorgio (Modtager), 19 apr. 2024
Pris: Undervisningspriser
-
EliteForsk-rejsestipendium 2024
Chen, Yiyi (Modtager), 26 feb. 2024
Pris: Forsknings- uddannelses og innovationspriser
Aktiviteter
-
Secure Integration of Large Language Models
Bjerva, J. (Oplægsholder)
26 aug. 2024Aktivitet: Foredrag og mundtlige bidrag › Gæsteforelæsning
-
Text Embedding Inversion Security for Multilingual Language Models
Yiyi Chen (Foredragsholder)
12 aug. 2024Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg
-
2024 ACM CHI Conference on Human Factors in Computing Systems (Begivenhed)
Lindrup, M. (Fagfællebedømmer)
11 maj 2024 → 16 maj 2024Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Presse/medier
-
Har vi styr på AIstyringen af vores fremtidige elnet?
11/10/2024
1 element af Mediedækning
Presse/medie
-
-
Digitale Vismænd: Begrebet it-specialister er blevet udvandet, sæt mål på typer af it-uddannede i fremtiden
22/08/2024
1 element af Mediedækning
Presse/medie
Impacts
-
-
HERD-projektet: Interaktion mellem mennesket og robotsværmen
Skov, M. B. (Deltager), Merritt, T. R. (Deltager) & van Berkel, N. (Deltager)
Impact: Økonomisk impact