Removed redundant or empty pages. Rewrote research section. Imposed s…

…ome uniformity on member pages.
AlgebraicJulia · Feb 3, 2024 · 830db90 · 830db90
1 parent d630052
commit 830db90
Show file tree

Hide file tree

Showing 20 changed files with 40 additions and 100 deletions.
diff --git a/_quarto.yml b/_quarto.yml
@@ -10,9 +10,7 @@ website:
     logo: _assets/gatas_logo.png
     collapse-below: sm
     right:
-      - about.qmd
       - members.qmd
-      - seminars.qmd    
       - research.qmd
       - text: "Blog"
         href: https://blog.algebraicjulia.org/

diff --git a/about.qmd b/about.qmd
diff --git a/index.qmd b/index.qmd
@@ -12,4 +12,13 @@ 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.
 
-See the laboratory's [About](about.qmd) page to learn more about our research goals and philosophy.
+## 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](https://en.wikipedia.org/wiki/Category_theory).
+Category theory is a mathematical 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/) encodes a number of these
+abstractions; with it, scientists can build powerful, robust, and bespoke scientific models
+without starting from scratch in each domain.
diff --git a/members/benbumpus.qmd b/members/benbumpus.qmd
@@ -5,10 +5,10 @@ about:
     template: solana
 ---
 
-I am a faculty research scientist and the lead of algorithms subprojects within the GATAS lab. 
+is a faculty research scientist and the lead of algorithms subprojects within the GATAS lab. 
 
 The main character in the stories I tell is Complexity and I mean this in the broadest sense:
-I am interested in classifying different kinds of complexity (Structural, algorithmic, behavioral, etc.) 
+I am interested in classifying different kinds of complexity (structural, algorithmic, behavioral, etc.) 
 and in understanding how complexity arises. The main focus of my work is the emergence of complexity 
 and how this relates to the mathematics of Compositionality (the philosophical contention that the structure or 
 meaning of the whole depends on that of its parts). 

diff --git a/members/cuffaromatt.qmd b/members/cuffaromatt.qmd
@@ -5,4 +5,4 @@ about:
   template: solana
 ---
 
-I am the systems administrator for the GATAS lab. I help my colleagues build the AlgebraicJulia ecosystem as a custodian of our IT infrastructure as well as upholding best practices in code quality. 
+is the systems administrator for the GATAS lab. I help my colleagues build the AlgebraicJulia ecosystem as a custodian of our IT infrastructure, as well as upholding best practices in code quality. 
diff --git a/members/georgerauta.qmd b/members/georgerauta.qmd
@@ -6,4 +6,4 @@ about:
     template: solana
 ---
 
-I am a research scientist who likes math.
+is a research scientist who likes math.
diff --git a/members/jamesfairbanks.qmd b/members/jamesfairbanks.qmd
@@ -5,9 +5,8 @@ about:
     template: solana
 ---
 
-Is an assistant professor in Computer and Information Science and Engineering       
-affiliated with Mechanical and Aerospace Engineering, Institute for Computational Engineering, and the Florida Institute for National Security. 
-
+is an assistant professor in Computer and Information Science and Engineering department.
+He is also affiliated with the Mechanical and Aerospace Engineering department, the Institute for Computational Engineering, and the Florida Institute for National Security. 
 
 My research focuses on new paradigms in scientific computing, specifically applied category theory. 
 This approach to mathematical modeling focuses on structure and structure preserving relationships between mathematical objects. 

diff --git a/members/lukemorris.qmd b/members/lukemorris.qmd
@@ -4,7 +4,7 @@ image: images/lukemorris.jpeg
 about:
     template: solana
 ---
-I am leading development on the CombinatorialSpaces.jl and Decapodes.jl projects        
+is leading development on the CombinatorialSpaces.jl and Decapodes.jl projects        
 
 ... for representing multiphysics models and automatically generating simulations from those representations.
 --- 

diff --git a/members/patrickstokes.qmd b/members/patrickstokes.qmd
@@ -6,7 +6,7 @@ about:
     template: solana
 ---
 
-I am a faculty research scientist in the GATAS lab. 
+is 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 

diff --git a/members/richardsamuelson.qmd b/members/richardsamuelson.qmd
@@ -12,4 +12,4 @@ about:
           href: https://richardsamuelson.com
 ---
 
-I am a doctoral student researching category theory, machine learning, and convex analysis.
+is a doctoral student researching category theory, machine learning, and convex analysis.
diff --git a/members/taylorfrederick.qmd b/members/taylorfrederick.qmd
@@ -6,4 +6,4 @@ about:
     template: solana
 ---
 
-I am a research scientist who likes math.
+is a research scientist who likes math.
diff --git a/members/tylerhanks.qmd b/members/tylerhanks.qmd
@@ -6,7 +6,7 @@ about:
     template: solana
 ---
 
-I am a PhD student in the GATAS lab working on optimization, control theory, and machine learning. 
+is a PhD student in the GATAS lab working on optimization, control theory, and machine learning. 
 
 Specifically, I am interested in applying category theory and other tools from abstract algebra and type theory to formalize and exploit the compositional structures arising in these fields.
 Examples of such compositional structures that I study include multi-agent control, distributed optimization, and complex neural network architectures.

diff --git a/members/wilmerleal.qmd b/members/wilmerleal.qmd
@@ -5,7 +5,7 @@ about:
     template: solana
 ---
 
-I am a postdoctoral researcher at the Computer Science Department at the University of Florida, USA.    
+is a postdoctoral researcher at the Computer Science Department at the University of Florida, USA.    
 
 I am fascinated by the interplay between chemistry and mathematics, leveraging mathematical tools to solve chemical questions 
 and using chemical intuition to inspire mathematical insights.  

diff --git a/recent_pubs/aguinaldo et al 23.pdf b/recent_pubs/aguinaldo et al 23.pdf
diff --git a/...ett-et-al-2022-the-application-of-applied-category-theory-to-quantify-mission-success.pdf b/...ett-et-al-2022-the-application-of-applied-category-theory-to-quantify-mission-success.pdf
diff --git a/recent_pubs/pub1.qmd b/recent_pubs/pub1.qmd
diff --git a/recent_pubs/pub2.qmd b/recent_pubs/pub2.qmd
diff --git a/recent_pubs/pub3.qmd b/recent_pubs/pub3.qmd
diff --git a/research.qmd b/research.qmd
@@ -1,15 +1,8 @@
 ---
-title: "Current Work"
-
-listing: 
-  - id: recent_pubs
-    type: grid
-    contents: "recent_pubs/*.qmd"
-    image-placeholder: _assets/gatas_logo.png
-    image-height: 200px
+title: "Research"
 ---
 
-## Current Projects
+## Software
 ### [Decapodes.jl](https://algebraicjulia.github.io/Decapodes.jl/stable/)
 
 Decapodes are a graphical tool for the composition of physical systems.     
@@ -23,8 +16,19 @@ 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_pubs}
-:::
-
+## Publications
+
+| Year | Title |
+| ---- | ----- |
+| 2024 | [The diagrammatic presentation of equations in categories](https://arxiv.org/abs/2401.09751) <br> Kevin Arlin, James Fairbanks, Tim Hosgood, and Evan Patterson |
+| 2024 | [Towards a Compositional Framework for Convex Analysis](https://arxiv.org/abs/2312.02291) <br> Richard Samuelson and Dario Stein |
+| 2023 | [Computational category-theoretic rewriting](https://arxiv.org/abs/2111.03784) <br> Kristopher Brown, Evan Patterson, Tyler Hanks, and James Fairbanks <br> Journal of Logical and Algebraic Methods in Programming |
+| 2023 | [A Categorical Representation Language and Computational System for Knowledge-Based Planning](https://arxiv.org/abs/2305.17208) <br> Angeline Aguinaldo, Evan Patterson, James Fairbanks, and Jaime Ruiz |
+| 2023 | [A Compositional Framework for Convex Model Predictive Control](https://arxiv.org/abs/2305.03820) <br> Tyler Hanks, Baike She, Matthew Hale, Evan Patterson, Matthew Klawonn, and James Fairbanks |
+| 2023 | [Characterizing Compositionality of LQR from the Categorical Perspective](https://arxiv.org/abs/2305.01811) <br> Baike She, Tyler Hanks, James Fairbanks, and Matthew Hale |
+| 2023 | [Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves](https://arxiv.org/abs/2302.05575) <br> Ernst Althaus, Benjamin Merlin Bumpus, James Fairbanks, and Daniel Rosiak |
+| 2023 | [The application of applied category theory to quantify mission success](https://journals.sagepub.com/doi/abs/10.1177/00375497221114861) <br> Robert K Garrett, James Fairbanks, Margaret Loper, and James Moreland <br> Simulation |
+| 2023 | [A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks](https://arxiv.org/abs/2301.01445) <br> Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo Ocal, Evan Patterson, and Brandon Shapiro |
+| 2023 | [A Categorical Representation Language and Computational System for Knowledge-Based Robotic Task Planning](https://ojs.aaai.org/index.php/AAAI-SS/article/view/27718) <br> Angeline Aguinaldo, Evan Patterson, James Fairbanks, William Regli, and Jaime Ruiz <br> Proceedings of the AAAI Symposium Series |
+| 2022 | [An algebraic framework for structured epidemic modelling](https://royalsocietypublishing.org/doi/full/10.1098/rsta.2021.0309) <br> Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, and James Fairbanks <br> Philosophical Transactions of the Royal Society A |
+| 2022 | [Compositional Exploration of Combinatorial Scientific Models](https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_2062.pdf) <br> Kristopher Brown, Tyler Hanks, and James Fairbanks |
diff --git a/seminars.qmd b/seminars.qmd