Gus Smith
gussmith23
Computer Architecture and Programming Languages PhD @ University of Washington
University of Washington Seattle, WA
Rui Li
lirui-shanghaitech
A Ph.D. student at ShanghaiTech University
ShanghaiTech University Shanghai, China
Mateusz Paprocki
mattpap
Co-creator and former maintainer of SymPy. Co-creator and maintainer of Bokeh.
Anaconda, Inc. Wrocław, Poland
Rob Dickerson
rcdickerson
PhD student at Purdue University studying programming languages, program verification and synthesis. Previously Square and elsewhere.
Purdue University
Mike He
AD1024
(Ceil (- now Sep.2022))-year Ph.D. @PrincetonUniversity
@PrincetonUniversity Princeton, NJ
Mathias Soeken
msoeken
Researcher in the areas of logic synthesis, quantum compilation, and formal verification.
@microsoft Switzerland
The OpenROAD Project
The-OpenROAD-Project
OpenROAD seeks to develop and foster an autonomous, 24-hour, open-source layout generation flow (RTL-to-GDS).
HKUST-VLSILab-SoftwareTeam
The software sub-group of the VLSI Lab, HKUST.
HKUST, Clear Water Bay, Kowloon, Hong Kong SAR, China
Jianyi Cheng
jianyicheng
Research Associate at the University of Cambridge Computer Laboratory
University of Cambridge London, UK
Jinguo Liu
GiggleLiu
I am an assistant professor at The Hong Kong University of Science and Technology (Guangzhou). My research field is quantum information and scientific computing
Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China
SI-RISCV
Deprecated account, please go to @riscv-mcu for latest hbird e203 riscv support, @Nuclei-Software for commercial Nuclei RISC-V Software support
@riscv-mcu
RISC-V Non-ISA Specifications
riscv-non-isa
The Open-Standard Instruction Set Architecture
Switzerland
Guangyu (Gary) HU
Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
The Hong Kong University of Science and Technology Hong Kong
Pavel Panchekha
pavpanchekha
University of Utah professor building new web browsers using programming languages techniques.
University of Utah School of Computing Salt Lake City, UT
Cunxi Yu
ycunxi
Cunxi Yu
Assistant Professor
ECE (main), CS (affiliated)
University of Maryland, College Park
https://ycunxi.github.io/cunxiyu/
University of Maryland, College Park College Park, Maryland
Ming Zhu
zhumingpassional
Creator of RLSolver, FinRL, ElegantRL and FinGPT | Co-Founder of AI4Finance | Graduate from UCAS
AI4Finance
Jing Ma
jma712
Assistant professor at Case Western Reserve University; PhD at University of Virginia
Yue Zhao
yzhao062
Assistant Professor of Computer Science @ University of Southern California (USC); Ph.D. @ CMU. Anomaly/Outlier/OOD Detection | ML Systems | AutoML
University of Southern California Los Angeles, CA, USA
PreviousNext