diff --git a/about.qmd b/about.qmd index 2bc1f11..a7e5fc5 100644 --- 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 index 590327b..5257b15 100644 --- 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 index d6d9918..cf1601a 100644 --- 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 index 93e72b1..5ff0f7a 100644 --- 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 index 388b20e..76e3fd8 100644 --- 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. \ No newline at end of file +I am a research scientist who likes math. diff --git a/members/ben.png b/members/images/benbumpus.png similarity index 100% rename from members/ben.png rename to members/images/benbumpus.png diff --git a/members/james.png b/members/images/jamesfairbanks.png similarity index 100% rename from members/james.png rename to members/images/jamesfairbanks.png diff --git a/members/lukemorris.jpeg b/members/images/lukemorris.jpeg similarity index 100% rename from members/lukemorris.jpeg rename to members/images/lukemorris.jpeg diff --git a/members/profile.jpg b/members/images/profile.jpg similarity index 100% rename from members/profile.jpg rename to members/images/profile.jpg diff --git a/members/images/richardsamuelson.jpg b/members/images/richardsamuelson.jpg new file mode 100644 index 0000000..28c8882 Binary files /dev/null and b/members/images/richardsamuelson.jpg differ diff --git a/members/TylerHanks.png b/members/images/tylerhanks.png similarity index 100% rename from members/TylerHanks.png rename to members/images/tylerhanks.png diff --git a/members/wilmer.jpg b/members/images/wilmerleal.jpg similarity index 100% rename from members/wilmer.jpg rename to members/images/wilmerleal.jpg diff --git a/members/jamesfairbanks.qmd b/members/jamesfairbanks.qmd index 3e80678..9e4f5f9 100644 --- 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 index a36f317..79e2e8e 100644 --- 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 index 2d7c9d3..9c47cdd 100644 --- 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. \ No newline at end of file +and identification of complex, high-dimensional, multi-scale, and stochastic systems. diff --git a/members/richardsamuelson.qmd b/members/richardsamuelson.qmd new file mode 100644 index 0000000..7550d92 --- /dev/null +++ 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 index 7dca4cd..9667532 100644 --- 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. \ No newline at end of file +I am a research scientist who likes math. diff --git a/members/tyler.qmd b/members/tylerhanks.qmd similarity index 91% rename from members/tyler.qmd rename to members/tylerhanks.qmd index 2195138..942ccd6 100644 --- a/members/tyler.qmd +++ b/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 b/members/wilmerleal.qmd similarity index 95% rename from members/wilmer.qmd rename to members/wilmerleal.qmd index 50bb502..3e77ca7 100644 --- a/members/wilmer.qmd +++ b/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 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} :::