Skip to content

Commit

Permalink
Edited copy; normalized file names; changed templates (jolla -> trest…
Browse files Browse the repository at this point in the history
…les).
  • Loading branch information
samuelsonric committed Dec 8, 2023
1 parent e609b30 commit 0502766
Show file tree
Hide file tree
Showing 19 changed files with 56 additions and 43 deletions.
33 changes: 17 additions & 16 deletions about.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
title: "About"
image: _assets/gatas_logo.png
about:
template: jolla
template: trestles
image-shape: rectangle

links:
Expand All @@ -14,19 +14,20 @@ about:
href: https://www.algebraicjulia.org/
---

The GATAS Lab AlgebraicJulia aims to create novel approaches
to scientific computing based on applied category theory to
solve computational science and engineering problems.
The GATAS laboratory uses applied category to develop novel approaches to scientific
computing. We are domain-agnostic, solving problems in
[dynamics](https://arxiv.org/abs/2105.12282),
[physics](https://github.com/AlgebraicJulia/Decapodes.jl),
[biology](https://royalsocietypublishing.org/doi/abs/10.1098/rsta.2021.0309),
[life sciences](https://arxiv.org/abs/2301.01445),
and [industrial engineering](https://arxiv.org/abs/2305.03820). The laboratory works closely
with Evan Patterson's research group at the [Topos Institute](https://topos.institute) to
maintain and develop the [AlgebraicJulia](https://www.algebraicjulia.org/) software ecosystem.

We are domain agnostic, working in [dynamics](https://arxiv.org/abs/2105.12282), [physics](https://github.com/AlgebraicJulia/Decapodes.jl),
[biology](https://royalsocietypublishing.org/doi/abs/10.1098/rsta.2021.0309) and [life sciences](https://arxiv.org/abs/2301.01445),
and [industrial engineering applications](https://arxiv.org/abs/2305.03820).

The GATAS lab works with Evan Patterson’s research group at the Topos Institute to develop and maintain the [AlgebraicJulia](https://www.algebraicjulia.org/) software ecosystem.
Scientists develop simulations by thinking about their scientific concepts, formulating mathematical models,
and then translating those models into software that answers their questions.

Our goal is to automate as much of the modeling and simulation process using formalization directly on their scientific concepts.
Categorical logic gives us the tools to develop custom mathematical tools for each scientific discipline in a coherent framework of useful abstractions.
By implementing these abstractions in software, we can build more powerful and robust scientific software bespoke to each application, without starting from scratch in each domain.
This conceptual reuse leads to software reuse and acts as a multiplier enabling significant reductions in software engineering effort to develop state of the art scientific codes that can solve complex scientific problems.
Scientists develop simulations by translating scientific concepts into mathematical models,
and then embodying those models in software. We seek to automate this process using category
theory. Category theory is a language rich enough in abstraction to represent any scientific
concept, yet pliable enough to manipulate efficiently with a computer. The software in
[AlgebraicJulia](https://www.algebraicjulia.org/) manipulates these abstractions directly;
with it, scientists can build powerful, robust, and bespoke scientific models without
starting from scratch in each domain.
15 changes: 9 additions & 6 deletions index.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,12 @@
title: "GATAS Lab"
---

The GATAS Lab AlgebraicJulia aims to create novel approaches
to scientific computing based on applied category theory to
solve computational science and engineering problems.

See our "About" section for more detailed information on our lab's research goals and philosophy.

The GATAS laboratory uses applied category to develop novel approaches to scientific
computing. We are domain-agnostic, solving problems in
[dynamics](https://arxiv.org/abs/2105.12282),
[physics](https://github.com/AlgebraicJulia/Decapodes.jl),
[biology](https://royalsocietypublishing.org/doi/abs/10.1098/rsta.2021.0309),
[life sciences](https://arxiv.org/abs/2301.01445),
and [industrial engineering](https://arxiv.org/abs/2305.03820). The laboratory works closely
with Evan Patterson's research group at the [Topos Institute](https://topos.institute) to
maintain and develop the [AlgebraicJulia](https://www.algebraicjulia.org/) software ecosystem.
5 changes: 3 additions & 2 deletions members.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -6,11 +6,12 @@ listing:
- members/jamesfairbanks.qmd
- members/patrickstokes.qmd
- members/benbumpus.qmd
- members/wilmer.qmd
- members/wilmerleal.qmd
- members/lukemorris.qmd
- members/tyler.qmd
- members/tylerhanks.qmd
- members/taylorfrederick.qmd
- members/georgerauta.qmd
- members/richardsamuelson.qmd
type: default
image-align: left
image-height: 250px
Expand Down
4 changes: 2 additions & 2 deletions members/benbumpus.qmd
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
title: "Benjamin Merlin Bumpus"
image: ben.png
image: images/benbumpus.png
about:
template: jolla
template: trestles
---

I am a faculty research scientist and the lead of algorithms subprojects within the GATAS lab.
Expand Down
6 changes: 3 additions & 3 deletions members/georgerauta.qmd
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
---
title: "George Rauta"
image: profile.jpg
image: images/profile.jpg

about:
template: jolla
template: trestles
---

I am a research scientist who likes math.
I am a research scientist who likes math.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
Binary file added members/images/richardsamuelson.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
File renamed without changes
File renamed without changes
4 changes: 2 additions & 2 deletions members/jamesfairbanks.qmd
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
title: "James Fairbanks"
image: james.png
image: images/jamesfairbanks.png
about:
template: jolla
template: trestles
---

Is an assistant professor in Computer and Information Science and Engineering
Expand Down
4 changes: 2 additions & 2 deletions members/lukemorris.qmd
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
title: "Luke Morris"
image: lukemorris.jpeg
image: images/lukemorris.jpeg
about:
template: jolla
template: trestles
---
I am leading development on the CombinatorialSpaces.jl and Decapodes.jl projects

Expand Down
6 changes: 3 additions & 3 deletions members/patrickstokes.qmd
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
---
title: "Patrick Stokes"
image: profile.jpg
image: images/profile.jpg

about:
template: jolla
template: trestles
---

I am a faculty research scientist in the GATAS lab.

My background is in signal processing, statistical modeling, and system identification in computational neuroscience.
My research interest is applying category theory to develop structures and algorithms for robust inference
and identification of complex, high-dimensional, multi-scale, and stochastic systems.
and identification of complex, high-dimensional, multi-scale, and stochastic systems.
8 changes: 8 additions & 0 deletions members/richardsamuelson.qmd
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
---
title: "Richard Samuelson"
image: images/richardsamuelson.png
about:
template: trestles
---

I am a doctoral student researching category theory, machine learning, and convex analysis.
6 changes: 3 additions & 3 deletions members/taylorfrederick.qmd
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
---
title: "Taylor Frederick"
image: profile.jpg
image: images/profile.jpg

about:
template: jolla
template: trestles
---

I am a research scientist who likes math.
I am a research scientist who likes math.
4 changes: 2 additions & 2 deletions members/tyler.qmd → members/tylerhanks.qmd
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
---
title: "Tyler Hanks"
image: TylerHanks.png
image: images/tylerhanks.png

about:
template: jolla
template: trestles
---

I am a PhD student in the GATAS lab working on optimization, control theory, and machine learning.
Expand Down
4 changes: 2 additions & 2 deletions members/wilmer.qmd → members/wilmerleal.qmd
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
---
title: "Wilmer Leal"
image: wilmer.jpg
image: images/wilmerleal.jpg
about:
template: jolla
template: trestles
---

I am a postdoctoral researcher at the Computer Science Department at the University of Florida, USA.
Expand Down

0 comments on commit 0502766

Please sign in to comment.