diff --git a/about.md b/about.md index 65da16a1..59bac835 100644 --- a/about.md +++ b/about.md @@ -12,11 +12,8 @@ design of software intensive systems: a better design that is easier and cheaper to implement, verify and sustain and that is more portable across computing platform differences. -Our three leading projects are [**Panini**](http://paninij.org), a language -designed to enable safe and efficient concurrent programming by construction, -[**Boa**](http://boa.cs.iastate.edu), a domain-specific language and -infrastructure for mining software repositories, and -[**Ptolemy**](http://ptolemy.cs.iastate.edu), a language that strives to balance -expressiveness and modular reasoning for crosscutting concerns. +Currently, the lab is pursuing the following projects: [**Modular Deep Learning**](https://lab-design.github.io/projects.html#modular-deep-learning), which investigates the decomposition of deep neural networks into modules to enable reuse, replacement, and independent evolution of those modules, [**Boa**](http://boa.cs.iastate.edu), a domain-specific language and infrastructure for mining software repositories and [**D4**](https://www.nsf.gov/awardsearch/showAward?AWD_ID=1934884&HistoricalAwards=false) (Dependable Data-Driven Discovery), which works on understanding of the risks to the dependability of data-science lifecycles, to formalize the rigorous mathematical basis of the measures of dependability for data-science lifecycles, and to identify mechanisms to create dependable data-science lifecycles. -Our research meetings are held virtually on Tuesday and Friday from 3:00 pm - 5:30 pm. +Our past projects include [**Panini**](https://design.cs.iastate.edu/panini/), a language designed to enable safe and efficient concurrent programming by construction and [**Ptolemy**](http://ptolemy.cs.iastate.edu), a language that strives to balance expressiveness and modular reasoning for crosscutting concerns. While active work is not ongoing on these projects, interested students may propose collaborative ideas that we would continue to consider. + +Our research meetings are held in-person and virtually on Friday from 3:00 pm - 5:30 pm.