Margharita Avanzini
Computer Science
Institut national de physique nucléaire et de physique des particules
France
Biography
Martin Avanzini working in University of Innsbruck , Innsbruck · Department of Computer Science Algorithms, Theory of Computation, he has done PhD, Skills and expertise Theoretical Computer Science Discrete Mathematics Computational Complexity Theory Computer Science Algorithm Analysi
Research Interest
Theoretical Computer Science Discrete Mathematics Computational Complexity Theory Computer Science Algorithm Analysi
Publications
-
Avanzini M, Lago UD. Automating Sized Type Inference for Complexity Analysis (Technical Report). arXiv preprint arXiv:1706.09169. 2017 Jun 28.
