固定
Some personal news: I joined Lucid Computing (@LucidCompute) as Director of Research Partnerships & Standards.
My core focus will be to help foster more open source collaboration across the AI verification ecosystem, between the many teams working on similar / adjacent topics