Y11
XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Golang, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀
Jobleap.cn Japan
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Vladislav Dubrovenski
vladi7
PhD Candidate
SE: C#, React, Vue3, Python, Java, SMTLIBv2
DevOps: Terraform, Ansible, Crossplane, Docker, Kubernetes, Jenkins
Karlheinz Friedberger
kfriedberger
@msg-systems (Munich/Ismaning), @sosy-lab (LMU Munich), Bavaria, Germany
Zhiyang Ong
eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs
Design Automation Renegades In passato, vicino al Dolomiti
CHEN Xiang
chenxiang2019
PhD student @ Zhejiang University and N2Sys Lab @ Peking University
Zhejiang University Hangzhou - Zhejiang - China
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
Alok Asok
alokasok
Software Engineer interested in working on Distributed Systems and Database Challenges.
Twilio United States