News

To find a solution to this major issue and explore the true potential of zinc-ion batteries as a more sustainable and ...
Professor Peter Müller and his co-author have been awarded the prestigious ETAPS Test of Time Award for their paper “A Basis for Verifying Multi-threaded Programs”. The ETAPS Test of Time Award has ...