yiyunliu/info-page
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add Mike's new page

Browse source
This commit is contained in:
Yiyun Liu 2025-01-05 19:15:38 -05:00
parent 547f039842
commit b483efe291
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
index.org
View file

@ -6,7 +6,7 @@
I am currently a fourth-year CS PhD student at University of I am currently a fourth-year CS PhD student at University of
Pennsylvania, advised by [[https://www.seas.upenn.edu/~sweirich/][Prof. Stephanie Weirich]]. I got my MS degree from University of Maryland, advised Pennsylvania, advised by [[https://www.seas.upenn.edu/~sweirich/][Prof. Stephanie Weirich]]. I got my MS degree from University of Maryland, advised
by [[https://www.cs.umd.edu/~mwh/][Prof. Michael Hicks]]. by [[https://mhicks.me/][Prof. Michael Hicks]].
My current research is about integrating dependently typed My current research is about integrating dependently typed
programming languages and graded type systems. I investigate how programming languages and graded type systems. I investigate how