Welcome visiting PhD students: Shaokai and Caio!
Published on
We are happy to host two visiting Ph.D. students this summer. Shaokai Lin is a Ph.D. student at the University of California, Berkeley, advised by Prof. Edward A. Lee and Prof. Sanjit Seshia. Shaokai will work with us, particularly Christian Menard, in the next two months on the LinguaFranca project. This will include work on formal verification of LF programs and static scheduling strategies. Caio Vieira, in turn, recently started his Ph.D. at Universidade Federal do Rio Grande do Sul under the supervision of Prof. Antonio Beck and was granted by the Brazilian CAPES-PRINT program for this research stay. Caio will work on hyperdimensional computing and in-memory computing systems in the context of the ScaDS.AI center together with João Paulo Cardoso de Lima, Hamid Farzaneh, and Dr.-Ing. Asif Ali Khan.