diff --git a/about.qmd b/about.qmd index 289643a..c415830 100644 --- a/about.qmd +++ b/about.qmd @@ -2,7 +2,7 @@ title: "About" image: _assets/gatas_logo.png about: - template: trestles + template: solana image-shape: rectangle links: @@ -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), @@ -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 diff --git a/index.qmd b/index.qmd index a04ec66..053fa0e 100644 --- a/index.qmd +++ b/index.qmd @@ -1,5 +1,5 @@ --- -title: "GATAS Lab" +title: "The GATAS Laboratory" --- The GATAS laboratory uses applied category to develop novel approaches to scientific @@ -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. diff --git a/members/benbumpus.qmd b/members/benbumpus.qmd index 6bbba3a..5ff0f7a 100644 --- a/members/benbumpus.qmd +++ b/members/benbumpus.qmd @@ -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. diff --git a/members/georgerauta.qmd b/members/georgerauta.qmd index 3853bea..76e3fd8 100644 --- a/members/georgerauta.qmd +++ b/members/georgerauta.qmd @@ -3,7 +3,7 @@ title: "George Rauta" image: images/profile.jpg about: - template: trestles + template: solana --- I am a research scientist who likes math. diff --git a/members/jamesfairbanks.qmd b/members/jamesfairbanks.qmd index 57ede73..9e4f5f9 100644 --- a/members/jamesfairbanks.qmd +++ b/members/jamesfairbanks.qmd @@ -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 diff --git a/members/lukemorris.qmd b/members/lukemorris.qmd index 9f520fd..79e2e8e 100644 --- a/members/lukemorris.qmd +++ b/members/lukemorris.qmd @@ -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 diff --git a/members/patrickstokes.qmd b/members/patrickstokes.qmd index 757e3b3..9c47cdd 100644 --- a/members/patrickstokes.qmd +++ b/members/patrickstokes.qmd @@ -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. diff --git a/members/richardsamuelson.qmd b/members/richardsamuelson.qmd index 8455464..7550d92 100644 --- a/members/richardsamuelson.qmd +++ b/members/richardsamuelson.qmd @@ -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. diff --git a/members/taylorfrederick.qmd b/members/taylorfrederick.qmd index eaa15fb..9667532 100644 --- a/members/taylorfrederick.qmd +++ b/members/taylorfrederick.qmd @@ -3,7 +3,7 @@ title: "Taylor Frederick" image: images/profile.jpg about: - template: trestles + template: solana --- I am a research scientist who likes math. diff --git a/members/tylerhanks.qmd b/members/tylerhanks.qmd index aa60abe..942ccd6 100644 --- a/members/tylerhanks.qmd +++ b/members/tylerhanks.qmd @@ -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. diff --git a/members/wilmerleal.qmd b/members/wilmerleal.qmd index bc5f195..3e77ca7 100644 --- a/members/wilmerleal.qmd +++ b/members/wilmerleal.qmd @@ -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. diff --git a/research.qmd b/research.qmd index ce9921c..301d32b 100644 --- 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} :::