This is our new mascot, Bianca The Bear. She is the successor of Alex The Bear who used to be our mascot. Sadly, he disappeared during the WOSH event in Zurich in June, 2019. Wherever he might be, we hope he is well.Bianca The Bear Alex The Bear
31 July 2020
After a long period of virtual events, we have organized our very first internal hackathon. Thanks to the initiative of our colleague Xia, this turned out to be a very successful event. Read more here.
16 June 2020
Our 64-bit Ariane core has found a new home with the OpenHW Group under the name CVA6 and will be taken care of it as part of the Core-V project. You can find the repository here.
9 June 2020
seL4, a high-performance operating system microkernel, has been verified on RISC-V thanks to the contribution of the creators of PULP's Ariane. seL4 now achieves comprehensive formal verification on RISC-V without compromising performance. Read more.