From 721edc987b6c697d6517a697869364c76e0430d1 Mon Sep 17 00:00:00 2001 From: Jason Vega Date: Mon, 4 Nov 2024 22:06:42 -0600 Subject: [PATCH] Updated bio --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index df4207a..50f8418 100644 --- a/index.html +++ b/index.html @@ -25,7 +25,7 @@

- Hi there! I'm a second-year computer science Ph.D. student at the University of Illinois Urbana-Champaign working on artificial intelligence research, particularly on topics in trustworthy machine learning. I'm a member of the FOrmally + Hi there! I'm a third-year computer science Ph.D. student at the University of Illinois Urbana-Champaign working on artificial intelligence research, particularly on topics in trustworthy machine learning. I'm a member of the FOrmally Certified Automation and Learning (FOCAL) Lab, where I'm advised by Prof. Gagandeep Singh. I graduated from the University of California San Diego in June 2022 with a B.S. in Computer Science. My research vision is to enable efficient, ethical development of intelligent systems that are highly performant yet safe, transparent and ultimately beneficial to humanity.