Skip to content

Commit

Permalink
Restored reference to About page. Changed templates: trestles -> sola…
Browse files Browse the repository at this point in the history
…na. Added sections to the About page.
  • Loading branch information
samuelsonric committed Dec 8, 2023
1 parent 0502766 commit c6f23cb
Show file tree
Hide file tree
Showing 12 changed files with 29 additions and 19 deletions.
11 changes: 8 additions & 3 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: trestles
template: solana
image-shape: rectangle

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

# Research

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),
Expand All @@ -24,9 +26,12 @@ and [industrial engineering](https://arxiv.org/abs/2305.03820). The laboratory w
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.

# Philosophy

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
and then embodying those models in software. We seek to automate this process using
[category theory](https://en.wikipedia.org/wiki/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
Expand Down
4 changes: 3 additions & 1 deletion index.qmd
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
title: "GATAS Lab"
title: "The GATAS Laboratory"
---

The GATAS laboratory uses applied category to develop novel approaches to scientific
Expand All @@ -11,3 +11,5 @@ computing. We are domain-agnostic, solving problems in
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.

See the [About](about.qmd) page to learn more about our research goals and philosophy.
2 changes: 1 addition & 1 deletion members/benbumpus.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
title: "Benjamin Merlin Bumpus"
image: images/benbumpus.png
about:
template: trestles
template: solana
---

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

about:
template: trestles
template: solana
---

I am a research scientist who likes math.
2 changes: 1 addition & 1 deletion members/jamesfairbanks.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
title: "James Fairbanks"
image: images/jamesfairbanks.png
about:
template: trestles
template: solana
---

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

Expand Down
2 changes: 1 addition & 1 deletion members/patrickstokes.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ title: "Patrick Stokes"
image: images/profile.jpg

about:
template: trestles
template: solana
---

I am a faculty research scientist in the GATAS lab.
Expand Down
11 changes: 9 additions & 2 deletions members/richardsamuelson.qmd
Original file line number Diff line number Diff line change
@@ -1,8 +1,15 @@
---
title: "Richard Samuelson"
image: images/richardsamuelson.png
image: images/richardsamuelson.jpg
about:
template: trestles
template: solana

links:
- icon: Github
text: GitHub
href: https://github.com/samuelsonric
- text: Website
href: https://richardsamuelson.com
---

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

about:
template: trestles
template: solana
---

I am a research scientist who likes math.
2 changes: 1 addition & 1 deletion members/tylerhanks.qmd
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ title: "Tyler Hanks"
image: images/tylerhanks.png

about:
template: trestles
template: solana
---

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

I am a postdoctoral researcher at the Computer Science Department at the University of Florida, USA.
Expand Down
6 changes: 1 addition & 5 deletions research.qmd
Original file line number Diff line number Diff line change
@@ -1,9 +1,5 @@
---
title: "Current Work"
image: _assets/gatas_logo.png
about:
template: jolla
image-shape: rectangle

listing:
- id: recent_pubs
Expand All @@ -27,7 +23,7 @@ solving a sequence of constrained optimization problems across a given time hori
We present a novel Julia library that leverages our theoretical results to automate
the implementation of correct-by-construction MPC problems in software.

### Recent Publications
## Recent Publications

:::{#recent_pubs}
:::
Expand Down

0 comments on commit c6f23cb

Please sign in to comment.