Welcome to the website of ACP, an innovative research and education section in computer science at the University of Southern Denmark.
Established in 2018, our section hosts and integrates multiple research groups working at the highest international level on topics related to Artificial Intelligence, Cybersecurity, and Programming Languages and Systems. We are proud to cultivate a collaborative environment where scientific excellence and societal relevance not only co-exist but actually reinforce each other. See for yourself: check out our projects spanning fundamental, applied, interdisciplinary, and industrial research with diverse foundations and companies!
Are you looking for an expert for your next project or a speaker for your next event? See our list of people or write to our mailbox and we will find the right person for you! Don't worry about formalities, just get in touch.
If you are a student, check out our educational offers (courses, student projects, etc.) or contact us to discuss your ideas!
At ACP, we cherish scientific discourse and mutual respect. We believe in the importance of disruptive ideas, experience, and personal growth. See our values.
ACP is part of the Department of Mathematics and Computer Science, Faculty of Science, University of Southern Denmark.
The paper How to Bake a Quantum Pi by Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry will appear at ICFP 2024!
The JFP paper Alice or Bob?: Process polymorphism in choreographies by Eva Graversen, Andrew Hirsch, and Fabrizio Montesi will be presented at ICFP 2024!
The paper 'Ozone: Fully Out-of-Order Choreographies' (pre-print) has been accepted at ECOOP 2024!
The new ACP website is online!
The paper Choral: Object-oriented Choreographic Programming by Saverio Giallorenzo, Fabrizio Montesi, and Marco Peressotti has been published in TOPLAS!