I am a graduating senior student at Paul
G.
Allen School
of
Computer Science & Engineering. I am interested in all aspects of
Programming Languages
(PL),
and I specifically focus on optimizing Deep Learning compilers leveraging PL
techniques.
Currently, I am a Research Intern at the Intel Strategic CAD Lab working on formal verification for domain-specific accelerators.
I am adviced by Prof. Zachary Tatlock and Dr. Steven Lyubomirsky.
Research InterestsProgramming Languages, Formal Methods, Deep Learning Compilers
Contactdeyuan.he [at] intel.com
I love classical music and enjoy playing the violin. I’ve been playing the violin for 0x11 years and passed the Level 9 test certified by the Central Conservatory of Music. Some recordings are available @ Bilibili
I was a part-time translator / proofreading editor in Gawr Gura’s fansub team. Gura is a Virtual Youtuber affiliated with Hololive EN.
Blog posts on my personal website.
I am keeping a list of courses I took here.
Hit counter: