Informal Research WritingsNovember 15, 2025Workshop papers and other visionary writings. Applied Implicit Computational ComplexityECOOP Doctoral Symposium 2025.Certifying Complexity AnalysisCoqPL 2023.Formally Verified Resource Bounds through Implicit Computational ComplexitySPLASH DS 2022.Realizing Implicit Computational ComplexityTYPES'22.