Skip to content

Update about page #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Nov 16, 2024
Merged

Update about page #6

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
d4077f7
Update about.md
Deepakgthomas Nov 15, 2024
2b23885
Update about.md
Deepakgthomas Nov 15, 2024
8979ade
Update about.md
Deepakgthomas Nov 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 4 additions & 7 deletions about.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.