Skip to content
View dobios's full-sized avatar
☃️
Wishing for snow
☃️
Wishing for snow
86 followers · 79 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLO

Organizations

@llvm @chipsalliance @chiselverify @GameLab-UNIL-EPFL

Block or report dobios

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@KrystalDelusion
Krystine Dawn Sherwin KrystalDelusion
@infinityabundance
riaan de beer infinityabundance
zic-rs - gnucobol-rs - ncurses-native - autotools-rs 🦀Under the C! Under the C! Compiler, it's safer, allocator's braver Statically!

Invariant Forge LLC Porto, Portugal

@widlarizer
Emil J widlarizer
* I WAS ONLY EVER IN IT FOR THE [Freedom].

Yosys HQ Prague

@Nikil-Shyamsunder
Nikil Shyamsunder Nikil-Shyamsunder
cs + math @ cornell, ml compilers @ aws (@nklshy-aws)

Cornell University Ithaca, NY

@aswaterman
Andrew Waterman aswaterman
SiFive co-founder, RISC-V architect, BSE Duke, Ph.D. Cal

@sifive @riscv Berkeley, CA, USA

@Neustradamus
Neustradamus Neustradamus
@jkopanski
Jakub Kopański jkopanski
@MILOUDIAS
MILOUDIAS MILOUDIAS
PhD Student in IC Design | Researching Low-Power SoCs with AI Accelerators | RISC-V | ASIC/FPGA | Open-Source Hardware | Open-Source Enthusiast
@ravenjoad
Raven ravenjoad
Ph.D Candidate at Northwestern University interested in making hardware development better
@arj4web
Aditya Ranjan Jha arj4web
PhD Student, NUS Computing

School of Computing, NUS Singapore

@adreamerofpeace-create
adreamerofpeace-create
@fdeitylink
Eloise Christian fdeitylink
Computer Science student with interests in functional programming, programming languages, and CS theory

Rochester Institute of Technology

@trinhminhtriet
Triet Trinh trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Java | Golang | Rust | Android | Remote

🤖 Vietnam

@Clo91eaf
Clo91eaf Clo91eaf

Hangzhou Institute for Advanced Study, UCAS Hangzhou, China

@Devansh0210
Devansh Tanna Devansh0210

Jamnagar, Gujarat

@ShashankVM
Shashank V M ShashankVM
Electronics engineer

@graphcore Karnataka, India

@EnguinandP
Francille Zhuang EnguinandP
Computer Science BS at Purdue University
@eyes-robson
eyes robson eyes-robson
y = mx+biology <sequence modeling/representation learning>

@UCBerkeley Berkeley, CA, USA

@Ardhish2210
Ardhish Patel Ardhish2210
@CrazybinaryLi
Yufeng Li CrazybinaryLi
“If I knew what I was doing, it wouldn't be called research.” - Albert Einstein.

Institute of Computing Technology, Chinese Academy of Sciences NO. 6, Kexueyuan South Road, Zhongguancun,Beijing, P.R.China

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@clairew
Claire Wang clairew

UPenn

@layoutmask
Layout Mask layoutmask
VLSI IC layout Mask Designer
@javathunderman
Arjun Vedantham javathunderman
ECE PhD student @ UIUC

Urbana, IL / Allentown, PA

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.

Lafayette, Indiana

@lschuermann
Leon Schuermann lschuermann
Grad student. Working on @tock. Chat on Matrix: <at>leons:is.currently.online

@princeton-sns / @tock / @microsoft Research Intern Redmond, WA

@zweizeiler
zweizeiler
@bima-putral
Bima Putra bima-putral

Happitech Indonesia

@Emin017
Qiming Chu Emin017

Shenzhen, China

@biswajek
Biswajeet biswajek

Verana Networks Bangalore

@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China

@wuliJerry
Ruijie (Jerry) Gao wuliJerry
Ph.D. student in computer science

University of Michigan Ann Arbor, USA

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@Max-astro
Max Zhou Max-astro
Compiler / Logic Synthesis / EDA tool developer.
@HongyuHe
Hongyu Hè HongyuHe
Arrested for violating Moore's Law.

Princeton, NJ, USA

@andrejstrogonov
Andrej andrejstrogonov

Voronezh

@ninehusky
Andrew Cheung ninehusky
i study programming languages @ ucsd cse.

UC San Diego La Jolla, California

@mohannashahrad
Mohanna Shahrad mohannashahrad

Princeton, New Jersey

@Marcvi19
Rishik Ram Marcvi19
@linsyking
Yiming Xiang linsyking
Systems & PL

University of Michigan

@cherrypiejam
Gongqi Huang cherrypiejam
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@lzy0505
Zongyuan Liu lzy0505
Post Doc in software verification @ Aarhus University

@logsem Aarhus

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, HPC, HCI rising 3rd year Phd Student @Purdue.

West Lafayette

@rachitnigam
Rachit Nigam rachitnigam
prof at MIT. creator of @calyxir. up to no good.

Massachusetts Institute of Technology

@Aksem
Vladyslav Hnatiuk Aksem
Software (Language) Engineer

Vienna, Austria

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@jellyterra
Jelly Terra jellyterra
Ich bin Kompiler. No silver bullet.

@jellytera Sein und Zeit

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind proving

@SoftwareLanguagesSecurityLab Dallas