Skip to content

Commit

Permalink
Remove "at" in UIUC's full name
Browse files Browse the repository at this point in the history
  • Loading branch information
Xiaohong Chen authored Apr 18, 2023
1 parent 7534d13 commit af8eb6b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand All @@ -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


0 comments on commit af8eb6b

Please sign in to comment.