Nyheder

Lars Birkedal, professor i datalogi, er blevet udnævnt til ACM Fellow af sine kollegaer fra den internationale elite af dataloger. Titlen er en anerkendelse af Lars Birkedals forskning i det logiske og semantiske grundlag for compilers og systemer til programverifikation.

Interpersonal skills, ability to see the bigger picture and a lot of patience: It takes a wide variety of skills, if one has to be team captain at the…

Aarhus University must maintain its independence, focus on international recruitment of researchers and students, and increase its collaboration with the private sector. Through this, the university can maintain its high ambitions on quality in research, knowledge and education for the future. This was the main message when Rector at Aarhus University Brian Bech Nielsen visited the Department to meet staff and discuss the university's development, visions and challenges in the year to come.

Lars Birkedal, professor i datalogi, er blevet udnævnt til ACM Fellow af sine kollegaer fra den internationale elite af dataloger. Titlen er en anerkendelse af Lars Birkedals forskning i det logiske og semantiske grundlag for compilers og systemer til programverifikation.

Interpersonal skills, ability to see the bigger picture and a lot of patience: It takes a wide variety of skills, if one has to be team captain at the…

Aarhus University must maintain its independence, focus on international recruitment of researchers and students, and increase its collaboration with the private sector. Through this, the university can maintain its high ambitions on quality in research, knowledge and education for the future. This was the main message when Rector at Aarhus University Brian Bech Nielsen visited the Department to meet staff and discuss the university's development, visions and challenges in the year to come.