Explore projects

Discrete Adjoint for Rapid Transonic Flows

Custom implementation of nf-core RNAseq pipeline

The evolving specification for Alethe, a flexible format for SMT proofs.

A three-way (Interoception, Proprioception, Control) repeated measures three factor design counter-balanced and randomized for order effects to assess the behavioral impact of isometric handgrip and diaphragmatic breathing on cognitive performance. n = 21

Converts profilometry data from a Veeco Wyko (saved in the ASC format) into something readable by another software. Also provides data pre-processing.