Skip to content
View tellocam's full-sized avatar
6 followers · 7 following

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Block or report tellocam

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
tellocam/README.md

Camilo Tello Fachin

Co-founder of aramiko GmbH. At aramiko I work on making security claims provable, showing that they are correct and complete, using Rust, Lean 4 and the Aeneas / Charon verification toolchain.

Before that I did research on finite element methods and their theory. FEM, mostly in NGSolve, is now a hobby; the repositories below come from that work.

FEM papers and code

  • publicationNHL: Improved a priori error estimates for the Nitsche Hodge-Laplacian (with W. Tonnon and E. Zampa, 2026). NGSolve experiments and a Lean 4 formalization of the proof chain.
  • richards-nitsche-signorini: Operator-split mixed finite elements for Richards equation with Nitsche–Signorini seepage conditions (with F. Gatti and W. Tonnon, submitted). NGSolve solver and Lean 4 proofs.
  • groundHeatRecovery: Coupled FEM for ground heat recovery with ice formation (with F. Schranz and A. Witzig, BauSIM 2026).
  • nitscheDirichletHodgeLaplace: Nitsche-type Dirichlet conditions for the Hodge Laplacian, code from my master's thesis.

Other FEM projects

LinkedIn

Popular repositories Loading

  1. nitscheDirichletHodgeLaplace nitscheDirichletHodgeLaplace Public

    Repository with all the code for the Hodge Laplacian with Nitsche type enforced Dirichlet boundary conditions in NGSolve

    Python 1

  2. pedestrianFlowInNGSolve pedestrianFlowInNGSolve Public

    Repository recreating and investigating numerical experiments from David Bernhardsgrütter, Mathias Schmid and Rebekka Axthelm

    Jupyter Notebook 1

  3. NGSUM25NitscheHodgeLaplace NGSUM25NitscheHodgeLaplace Public

    This repository contains Jupyter Notebooks in support of Camilo Tellos Presentation at the NGSolve User Meeting in Hamburg

    Jupyter Notebook

  4. MaxwellScattererAndAntennaNGSolve MaxwellScattererAndAntennaNGSolve Public

    Electromagnetic scattering and antenna radiation simulations in NGSolve (Maxwell–Helmholtz with PML), with SLURM workflows for large parametric sweeps.

    Jupyter Notebook 1

  5. publicationNHL publicationNHL Public

    Companion to "Improved A Priori Error Estimates for the Nitsche Hodge-Laplacian": NGSolve scripts reproducing Tables 1–4 and a Lean 4 formalization of the proof chain.

    Lean

  6. groundHeatRecovery groundHeatRecovery Public

    Open-source coupled FEM for ground heat recovery with ice formation (Richards + enthalpy phase change, conforming 1D-3D pipe coupling, NGSolve). Accompanies Tello Fachin, Schranz, Witzig, BauSIM 2026.

    Python