Explore projects

austin zhang

Proof assistant based on first-order logic and set theory

Solver for higher-order functional programs

Code and project management repository for Castration/Regeneration multiome analysis (Estelle Deby @KathausLab EPFL)

This project aims to simulate various types of scattering spectra (Thomson, Raman, Rayleigh) and the expected detected signal for several diagnostic setups (transmission grating spectrometer, ...).