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
-
Abduvoris Abduvakhobov
- Det Tekniske Fakultet for IT og Design - Ph.d.-stipendiat
- Institut for Datalogi - Ph.d.-stipendiat
- Data Engineering, Science and Systems - Ph.d.-stipendiat
Person: VIP
-
Christian Aebeloe
- Det Tekniske Fakultet for IT og Design - Adjunkt
- Institut for Datalogi - Adjunkt
- Data, Knowledge and Web Engineering - Adjunkt
Person: VIP
-
Adam Alami
- Det Tekniske Fakultet for IT og Design - Tenure Track Adjunkt
- Institut for Datalogi - Tenure Track Adjunkt
- Human-Centered Computing - Tenure Track Adjunkt
Person: VIP
-
Digital Twins for Abundant Feedback: Novel Feedback Paradigms via Explainable Multilingual Natural Language Processing
Bjerva, J., Lindsay, E. & Zhang, M.
01/01/2024 → 31/12/2025
Projekter: Projekt › Forskning
-
The integration of AI powered tools in software development and UX practices
Alami, A., Jensen, V. V., Persson, J. S. & Bruun, A. R.
01/09/2023 → 20/09/2024
Projekter: Projekt › Forskning
-
COPLEWIC: Collaborative Operational Planning for Local Energy-Wise Communities
Anvari-Moghaddam, A., Bak-Jensen, B., Teli, M., Sperling, K., Jensen, R. H., Hellwig, R. T., Rüdiger, M., Lundholm-Stenkjær, K. & Horsbøl, A.
01/09/2023 → 31/12/2025
Projekter: Projekt › Forskning
Fil
Publikationer
-
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 adgang -
A Call for Consistency in Reporting Typological Diversity
Poelman, W., Ploeger, E., de Lhoneux, M. & Bjerva, J., 3 dec. 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 -
ACSmt: A plugin for eclipse papyrus to model systems of systems
Remond Harbo, S. K., Palmelund Voldby, E., Madsen, J. & Albano, M., jan. 2024, I: Science of Computer Programming. 231, 103008.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang
Forskningsdatasæt
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 12 jun. 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Datasæt
-
The Yelp Collaborative Knowledge Graph
Corfixen, M. (Ophavsperson), Olesen, M. (Ophavsperson), Heede, T. (Ophavsperson), Nielsen, C. F. P. (Ophavsperson), Lissandrini, M. (Bidrager), Dell'Aglio, D. (Bidrager) & Jendal, T. E. (Bidrager), Zenodo, 7 maj 2023
DOI: 10.5281/zenodo.7878446, https://zenodo.org/record/7878446
Datasæt
-
Additional file 3 of The Danish-American Research Exchange (DARE): a cross-sectional study of a binational research education program
Mehta, K. M. (Ophavsperson), Petersen, K. L. (Ophavsperson), Goodman, S. (Ophavsperson), Sørensen, H. (Ophavsperson), Bøgsted, M. (Ophavsperson), Olesen, J. D. (Ophavsperson), Burks, S. (Ophavsperson), Shaw, R. E. (Ophavsperson), Hove, J. D. (Ophavsperson), Ousager, J. (Ophavsperson), Milla, C. (Ophavsperson), Andersen, V. (Ophavsperson), Ejskjær, N. (Ophavsperson), Brix-Christensen, V. (Ophavsperson), Ghose, S. (Ophavsperson), Kjær, A. (Ophavsperson) & Chin-Hong, P. V. (Ophavsperson), Figshare, 6 feb. 2023
DOI: 10.6084/m9.figshare.22604626.v1, https://springernature.figshare.com/articles/dataset/Additional_file_3_of_The_Danish-American_Research_Exchange_DARE_a_cross-sectional_study_of_a_binational_research_education_program/22604626/1
Datasæt: Supplerende materiale
Priser
-
EliteForsk-rejsestipendium 2024
Chen, Yiyi (Modtager), 26 feb. 2024
Pris: Forsknings- uddannelses og innovationspriser
-
Honorable Mention Paper Award at the 2023 Designing Interactive Systems Conference
Lindrup, Martin (Modtager), Menon, Arjun Rajendran (Modtager) & Biørn-Hansen, Aksel (Modtager), 11 jul. 2023
Pris: Konferencepriser
-
NLP4KGC Best Paper Award
Sagi, Tomer (Modtager), Zaitoun, Antonio (Modtager) & Hose, Katja (Modtager), 30 apr. 2023
Pris: Konferencepriser
Aktiviteter
-
2024 ACM CHI Conference on Human Factors in Computing Systems (Begivenhed)
Victor Vadmand Jensen (Fagfællebedømmer)
11 maj 2024 → 16 maj 2024Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
2024 ACM CHI Conference on Human Factors in Computing Systems (Begivenhed)
Martin Lindrup (Fagfællebedømmer)
11 maj 2024 → 16 maj 2024Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Netværk i Cybersikkerhed: Large Language Models: Inner workings and Cybersecurity Risks
Johannes Bjerva (Oplægsholder)
21 feb. 2024Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
Presse/medier
-
-
-
Underviser bruger ChatGPT til studenterfeedback: Den høster de lavthængende frugter
Johannes Bjerva & Euan Lindsay
16/02/2024
1 element af Mediedækning
Presse/medie
Impacts
-
-
HERD-projektet: Interaktion mellem mennesket og robotsværmen
Mikael B. Skov (Deltager), Timothy Robert Merritt (Deltager) & Niels van Berkel (Deltager)
Impact: Økonomisk impact