michael/blog
1
0
Fork 0
Code Issues 1 Pull requests Releases Packages Wiki Activity

shortbio

Browse source
This commit is contained in:
Michael Zhang 2024-09-18 06:32:18 -05:00
parent 37d59e6927
commit 2f4c87ea1d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/content/partials/shortBio.md
View file

@ -1,7 +1,7 @@
I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia]. I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia].
My current research topic is in cubical type theory and formalization of the Serre spectral sequence. My current research topic is in cubical type theory and formalization of the Serre spectral sequence.
I also work as a researcher for [SIFT], specializing in compilers and binary analysis. Previously I worked as a software engineer at [Swoop Search] and [AWS]. I've also worked as a researcher for [SIFT], specializing in compilers and binary analysis. Previously I worked as a software engineer at [Swoop Search] and [AWS].
Before that, I was a CTF hobbyist. I created [EasyCTF], a cybersecurity competition for high schoolers. Before that, I was a CTF hobbyist. I created [EasyCTF], a cybersecurity competition for high schoolers.
I also briefly played with the CTF team [Project Sekai][pjsk]. I also briefly played with the CTF team [Project Sekai][pjsk].