From af8eb6b07b82efc54bc76991f25e3a557ac82e9e Mon Sep 17 00:00:00 2001 From: Xiaohong Chen Date: Tue, 18 Apr 2023 10:28:32 -0500 Subject: [PATCH] Remove "at" in UIUC's full name --- index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.md b/index.md index dc77b27..e3a0dd1 100644 --- a/index.md +++ b/index.md @@ -4,7 +4,7 @@ tag: k --- Welcome to the **Formal Systems Laboratory (FSL)** of the [Department of Computer -Science] at the [University of Illinois at Urbana-Champaign] (UIUC). FSL was +Science] at the [University of Illinois Urbana-Champaign] (UIUC). FSL was founded in 2002 by [Grigore Rosu]({{site.baseurl}}/people/grigore-rosu/index.html), when he joined UIUC (from [NASA Ames](http://www.nasa.gov/centers/ames/home/index.html)). In the FSL, we design and develop: @@ -24,6 +24,6 @@ Our current research areas are: You want to work on these topics? See [Grigore Rosu]({{site.baseurl}}/people/grigore-rosu/index.html)'s list of [Open Problems and Challenges](https://hdl.handle.net/2142/95775). [Department of Computer Science]: https://cs.illinois.edu -[University of Illinois at Urbana-Champaign]: https://illinois.edu +[University of Illinois Urbana-Champaign]: https://illinois.edu