AlgebraicJulia · samuelsonric · Dec 8, 2023 · Dec 8, 2023 · Dec 8, 2023 · Dec 8, 2023
diff --git a/about.qmd b/about.qmd
@@ -2,7 +2,7 @@
 title: "About"
 image: _assets/gatas_logo.png
 about:
-  template: jolla
+  template: solana
   image-shape: rectangle
 
   links:
@@ -14,19 +14,25 @@ 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. 
+## Research
 
-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 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),
+[the 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.
 
-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. 
+## Philosophy
 
-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](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
+starting from scratch in each domain.
diff --git a/index.qmd b/index.qmd
@@ -1,10 +1,15 @@
 ---
-title: "GATAS Lab"
+title: "The GATAS Laboratory"
 ---
 
-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),
+[the 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.
 
+See the [About](about.qmd) page to learn more about our research goals and philosophy.
diff --git a/members.qmd b/members.qmd
@@ -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

diff --git a/members/benbumpus.qmd b/members/benbumpus.qmd
@@ -1,8 +1,8 @@
 ---
 title: "Benjamin Merlin Bumpus"
-image: ben.png
+image: images/benbumpus.png
 about:
-    template: jolla
+    template: solana
 ---
 
 I am a faculty research scientist and the lead of algorithms subprojects within the GATAS lab. 

diff --git a/members/georgerauta.qmd b/members/georgerauta.qmd
@@ -1,9 +1,9 @@
 ---
 title: "George Rauta"
-image: profile.jpg
+image: images/profile.jpg
 
 about:
-    template: jolla
+    template: solana
 ---
 
-I am a research scientist who likes math.
+I am a research scientist who likes math.
diff --git a/members/ben.png → members/images/benbumpus.png b/members/ben.png → members/images/benbumpus.png
diff --git a/members/james.png → members/images/jamesfairbanks.png b/members/james.png → members/images/jamesfairbanks.png
diff --git a/members/lukemorris.jpeg → members/images/lukemorris.jpeg b/members/lukemorris.jpeg → members/images/lukemorris.jpeg
diff --git a/members/profile.jpg → members/images/profile.jpg b/members/profile.jpg → members/images/profile.jpg
diff --git a/members/images/richardsamuelson.jpg b/members/images/richardsamuelson.jpg
diff --git a/members/TylerHanks.png → members/images/tylerhanks.png b/members/TylerHanks.png → members/images/tylerhanks.png
diff --git a/members/wilmer.jpg → members/images/wilmerleal.jpg b/members/wilmer.jpg → members/images/wilmerleal.jpg
diff --git a/members/jamesfairbanks.qmd b/members/jamesfairbanks.qmd
@@ -1,8 +1,8 @@
 ---
 title: "James Fairbanks"
-image: james.png
+image: images/jamesfairbanks.png
 about:
-    template: jolla
+    template: solana
 ---
 
 Is an assistant professor in Computer and Information Science and Engineering       

diff --git a/members/lukemorris.qmd b/members/lukemorris.qmd
@@ -1,8 +1,8 @@
 ---
 title: "Luke Morris"
-image: lukemorris.jpeg
+image: images/lukemorris.jpeg
 about:
-    template: jolla
+    template: solana
 ---
 I am leading development on the CombinatorialSpaces.jl and Decapodes.jl projects        
 

diff --git a/members/patrickstokes.qmd b/members/patrickstokes.qmd
@@ -1,13 +1,13 @@
 ---
 title: "Patrick Stokes"
-image: profile.jpg
+image: images/profile.jpg
 
 about:
-    template: jolla
+    template: solana
 ---
 
 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.
diff --git a/members/richardsamuelson.qmd b/members/richardsamuelson.qmd
@@ -0,0 +1,15 @@
+---
+title: "Richard Samuelson"
+image: images/richardsamuelson.jpg
+about:
+    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.
diff --git a/members/taylorfrederick.qmd b/members/taylorfrederick.qmd
@@ -1,9 +1,9 @@
 ---
 title: "Taylor Frederick"
-image: profile.jpg
+image: images/profile.jpg
 
 about:
-    template: jolla
+    template: solana
 ---
 
-I am a research scientist who likes math.
+I am a research scientist who likes math.
diff --git a/members/tyler.qmd → members/tylerhanks.qmd b/members/tyler.qmd → members/tylerhanks.qmd
@@ -1,9 +1,9 @@
 ---
 title: "Tyler Hanks"
-image: TylerHanks.png
+image: images/tylerhanks.png
 
 about:
-    template: jolla
+    template: solana
 ---
 
 I am a PhD student in the GATAS lab working on optimization, control theory, and machine learning. 

diff --git a/members/wilmer.qmd → members/wilmerleal.qmd b/members/wilmer.qmd → members/wilmerleal.qmd
@@ -1,8 +1,8 @@
 ---
 title: "Wilmer Leal"
-image: wilmer.jpg
+image: images/wilmerleal.jpg
 about:
-    template: jolla
+    template: solana
 ---
 
 I am a postdoctoral researcher at the Computer Science Department at the University of Florida, USA.    

diff --git a/research.qmd b/research.qmd
@@ -1,9 +1,5 @@
 ---
 title: "Current Work"
-image: _assets/gatas_logo.png
-about:
-  template: jolla
-  image-shape: rectangle
 
 listing: 
   - id: recent_pubs
@@ -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}
 :::