Nyheder

Congratulation to João Marcelo Evangelista Belo, Anna Maria Feit, Tiare Feuchtner and  Kaj Grønbæk for winning the Best Paper Award for their paper…

On April 9, Assistant professor Amin Timany will give his inaugural lecture on Zoom. Title: Formal reasoning about programs and programming languages. Abstract: It is well known that it is important to ensure that programs, especially in critical applications, e.g., online banking, are correct. This is because program bugs can lead to issues including privacy violations and security vulnerabilities. There are different approaches to make sure that programs are correct. In this talk I will present my research o

Last week, PhD students and postdocs from the department gathered for some online teambuilding. They took up the challenge of solving the online…

Congratulations to associate professor Peyman Afshani and PhD student Pingan Cheng for winning the best paper award for the “Lower Bounds for Semialgebraic Range Searching and Stabbing Problems", at the 37th International Symposium on Computational Geometry (SoCG).

In 2018, Harshit Mahapatra came from India to Aarhus to study Computer Science at the department. He graduated in 2020, but decided to stay in Aarhus. He now works as a software developer at the Alexandra Institute.

Congratulations to Lars Birkedal who has received an $80,000 Amazon Research Award (ARA). The grant will support the research already being done at Centre for Center for basic research in Program Verification (CPV), in which Lars and his team develop fundamental mathematically based models and logics for rigorous mathematical reasoning about correctness and security of software systems.

The TPBC 2021 workshop will take place from 19 May to 7 July 2021 as a series of online seminars. The tentative schedule is every Wednesday, starting…

»I am proud that it is made in Aarhus. It is a world-class product,«states CEO Lone Fønss Schrøder about the Danish-developed blockchain protocol Concordium. Most of the development are done at COBRA under the leadership of Ivan Damgård and Jesper Buus Nielsen [article in Danish].

"Jeg har altid sagt, at i forhold til de fantastiske teknologivirksomheder der kommer fra Aarhus, er Aarhus egentlig Silicon Valley af Danmark, og det skal man være stolt af. Dette skyldes ikke mindst Aarhus Universitet, som tiltrækker nogle af landets bedste på området indenfor computer science," siger Geeta Schmidt, CEO ved Humio, i forbindelse med at virksomheden er solgt for over 2 milliarder til den amerikanske virksomhed CrowdStrike, der beskæftiger sig med cybersikkerhed.

Congratulation to João Marcelo Evangelista Belo, Anna Maria Feit, Tiare Feuchtner and  Kaj Grønbæk for winning the Best Paper Award for their paper…

On April 9, Assistant professor Amin Timany will give his inaugural lecture on Zoom. Title: Formal reasoning about programs and programming languages. Abstract: It is well known that it is important to ensure that programs, especially in critical applications, e.g., online banking, are correct. This is because program bugs can lead to issues including privacy violations and security vulnerabilities. There are different approaches to make sure that programs are correct. In this talk I will present my research o

Last week, PhD students and postdocs from the department gathered for some online teambuilding. They took up the challenge of solving the online…

Congratulations to associate professor Peyman Afshani and PhD student Pingan Cheng for winning the best paper award for the “Lower Bounds for Semialgebraic Range Searching and Stabbing Problems", at the 37th International Symposium on Computational Geometry (SoCG).

In 2018, Harshit Mahapatra came from India to Aarhus to study Computer Science at the department. He graduated in 2020, but decided to stay in Aarhus. He now works as a software developer at the Alexandra Institute.

Congratulations to Lars Birkedal who has received an $80,000 Amazon Research Award (ARA). The grant will support the research already being done at Centre for Center for basic research in Program Verification (CPV), in which Lars and his team develop fundamental mathematically based models and logics for rigorous mathematical reasoning about correctness and security of software systems.

The TPBC 2021 workshop will take place from 19 May to 7 July 2021 as a series of online seminars. The tentative schedule is every Wednesday, starting…

»I am proud that it is made in Aarhus. It is a world-class product,«states CEO Lone Fønss Schrøder about the Danish-developed blockchain protocol Concordium. Most of the development are done at COBRA under the leadership of Ivan Damgård and Jesper Buus Nielsen [article in Danish].

"Jeg har altid sagt, at i forhold til de fantastiske teknologivirksomheder der kommer fra Aarhus, er Aarhus egentlig Silicon Valley af Danmark, og det skal man være stolt af. Dette skyldes ikke mindst Aarhus Universitet, som tiltrækker nogle af landets bedste på området indenfor computer science," siger Geeta Schmidt, CEO ved Humio, i forbindelse med at virksomheden er solgt for over 2 milliarder til den amerikanske virksomhed CrowdStrike, der beskæftiger sig med cybersikkerhed.