We are happy to welcome Zhiyang Wang to the CCC team! Zhiyang obtained his joint MSc degree in Computer Science from VU Amsterdam and the University of Amsterdam in March 2026. He conducted his master's thesis on formalizing weak memory models in Lean 4 via the LeanCat framework under the supervision of Andres Goens at the University of Amsterdam. We are particularly pleased about this connection, as Andres previously completed his own PhD in our group! Over the past years, Zhiyang has developed a strong background in compiler techniques, multicore hardware/software co-design, and formal verification. His previous work includes developing a Rust-based compiler frontend mapping to CIRCT/MLIR, as well as an internship at the Institute of Software, Chinese Academy of Sciences, where he worked on verifying RISC-V instructions using Sail and Lean 4. At the CC Chair, Zhiyang will contribute to the ERC Consolidator Grant project COMETH. He will apply his expertise to develop system-level software that bridges the gap between complex hardware and programmer productivity, exploring new programming and compilation methodologies for heterogeneous systems and emerging computing paradigms. We look forward to working with Zhiyang and are excited about having him in the team!