Runze Xue
Assistant Instructor at Indiana University Luddy School of Informatics, Computing, and Engineering
Bloomington, Indiana, United States
Summary
🤩
Rockstar🎓
Top SchoolRunze Xue is an early-career computer scientist and instructor with five years of teaching and research experience across top programs in the US, UK, and China. Currently an Assistant Instructor at Indiana University Luddy teaching advanced database concepts, he previously supported courses in programming languages and operating systems at the University of Michigan and served as an undergraduate researcher under Prof. Max New. Runze holds a BS (Summa Cum Laude) in Computer Science, an MPhil with distinction in Advanced Computer Science from Cambridge, and is enrolled in a PhD program at Indiana University, blending strong theoretical foundations with practical classroom experience. His background across joint institutes and international study suggests fluency navigating multicultural academic settings and curricula. The enigmatic GitHub bio "AD ASTRA ABYSSOSQVE" hints at a thinker comfortable with classical references and unconventional expression, reflecting curiosity beyond standard technical interests.
5 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS, Computer Science, Summa Cum Laude, Bachelor of Science - BS, Computer Science, Summa Cum Laude at University of Michigan College of EngineeringHigh School Diploma, High School Diploma at No. 2 High School of East China Normal UniversityAcademic Minor, Mathematics, Academic Minor, Mathematics at University of Michigan College of Literature, Science, and the ArtsDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Indiana University Luddy School of Informatics, Computing, and EngineeringBachelor of Engineering - BE, Electrical and Computer Engineering, Bachelor of Engineering - BE, Electrical and Computer Engineering at UM-SJTU Joint Institute, Shanghai Jiao Tong UniversityMaster of Philosophy - MPhil, Advanced Computer Science, Distinction, Master of Philosophy - MPhil, Advanced Computer Science, Distinction at 英国剑桥大学
Github Skills (42)
reasonml10
abstract10
elm9
ocaml9
portal9
functional-programming9
lenses9
reason9
monads9
homotopy-type-theory8
category-theory8
haskell8
dune8
opam7
editor7
Programming languages (5)
Github contributions (5)
ricky136973/archive
Nov 2020 - Nov 2020
Contributions:5 commits, 3 pushes in 12 days
ricky136973/alfa-agda
Feb 2023 - Feb 2023
Contributions:3 pushes, 1 branch in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.