Chenyu Zhou @zcysky - Bluesky Profile

Latest posts by zcysky.bsky.social on Bluesky

I will be at Denver for POPL next week! Feel excited to talk to new and old friends!!!

19.01.2025 08:21 — 👍 0 🔁 0 💬 0 📌 0

Happy to join the immigration to BlueSky 😂, I really like the PL starter pack!

27.11.2024 04:29 — 👍 1 🔁 0 💬 0 📌 0

@zcysky is following 20 prominent accounts

Ferhat Erata
@erata

PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai

Borzoo Bonakdarpour
@borzoo

Associate Professor of Computer Science at Michigan State University

Aws Albarghouthi
@awsto

Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/

Anders Møller
@andersmoeller

Professor at Aarhus University https://cs.au.dk/~amoeller

Anastasia Isychev
@isychev

postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io

Somesh Jha
@someshjha

I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.