About me
Pedro Vasconcelos did his undergraduate and master degrees in Computer Science at the University of Porto, Portugal and concluded his PhD in Cost Analysis for Functional Programs at the University of St Andrews, UK. His main research topics are resource analysis for functional languages, type-based static analyses and property-based testing. He has co-authored papers in relevant international conferences and journals including ICFP, ESOP and JAR. He is now an Auxiliary Professor at Computer Science Department of the Faculty of Science, University of Porto.