delete

nuprl · Nov 14, 2024 · 5c2318b · 5c2318b
1 parent 3c58d59
commit 5c2318b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 11 deletions.
diff --git a/img/minsung_cho.jpg b/img/minsung_cho.jpg
diff --git a/people.rkt b/people.rkt
@@ -429,17 +429,6 @@ software.
             My interests are dynamic languages implementations, Just-in-time compilers, and WebAssembly.
           }
 
-          @person[#:name "Minsung Cho"
-                  #:title "Advisor: Steven Holtzen"
-                  #:e-mail "[email protected]"
-                  #:history @list[
-                      "Joined Northeastern, 2022"
-                      "BS, Carnegie Mellon University"]
-                  #:img "minsung_cho.jpg"
-                  #:website "https://cho.minsung.pl"]{
-            I'm interested in combining expressive abstractions, such as effect handlers, with languages for scalable inference and database querying.
-          }
-
           @person[#:name "Gwenyth Lincroft"
                   #:title "Advisor: Jonathan Bell"
                   #:e-mail "[email protected]"