Skip to content

Commit 8979ade

Browse files
Update about.md
1 parent 2b23885 commit 8979ade

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

about.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,6 @@ platform differences.
1414

1515
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.
1616

17-
Our past projects include [**Panini**](http://paninij.org), 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.
17+
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.
1818

1919
Our research meetings are held in-person and virtually on Friday from 3:00 pm - 5:30 pm.

0 commit comments

Comments
 (0)