Mário Florido
Associate Professor at the
Computer Science Department, Faculty of
Science - University of Porto.
Research in Computer Science
Type Theory, Lambda-Calculus, Functional Programming, Rewriting, Static Analysis.
Blogs and News
Recent Publications (see also DBLP)
- P. Vasconcelos, H. Simoes, M. Florido, S. Jost, K. Hammond Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs. Proc. of the 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012.
- S. Alves, M. Fernandez, M. Florido, I. Mackie. Linearity and recursion in a typed Lambda-calculus. Proc. of the 13th Int. ACM Symposium on
Principles and Practice of Declarative Programming, PPDP 2011.
- V. Rodrigues, S. M. de Sousa, J. P. Pedroso, M. Florido. Certifying Execution Time. Proc. of the 2nd Int. Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011.
- V. Rodrigues, M. Florido, S. M. de Sousa. A Functional Approach to Worst-Case Execution Time Analysis. 20th Int. Workshop on
Functional and (Constraint) Logic Programming, WFLP 2011.
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian
Mackie. Goedel's System T Revisited. Theoretical Computer Science (TCS), 411, 2010.
- S. Alves, M. Fernandez, M. Florido, I. Mackie. Linearity and Iterator Types for Godel's System T.
International Journal on Higher-Order and Symbolic Computation (HOSC) 23(1), Springer, 2010.
- Jorge Coelho, Besik Dundua, Mário Florido and Temur Kutsia. A Rule-Based Approcah to XML Processing and Web Reasoning. Web reasoning and Rule Systems (RR 2010). Lecture Notes in Computer Science, Springer Verlag, 2010.
- Jorge Coelho, Mário Florido and Temur Kutsia. Collaborative Schema Construction using Regular Sequence Types. IEEE International Conference on Information Reuse and Integration, IRI 2009. IEEE Computer Society Press, 2009.
Research Projects
Software
Current and former PhD Students
Events
- PC Member: LINEARITY 2012 2nd International Workshop on Linearity.
- co-Chair and PC Member: LINEARITY 2009 First International Workshop on Linearity.
- Organizing Committee: CSL 2009 18th Conference on Computer Science Logic.
- PC Member: WWV 2009 5th International Workshop on Automated Specification and
Verification of Web Systems.
- PC Member: CoRTA 2009 Compiler Related Technologies and Applications
.
Address
Universidade do Porto
Faculdade de Ciências
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169-007 Porto, Portugal
Phone:
(+351) 220 402 914
Fax:
(+351) 220 402 950
Email:
amf(at)ncc.up.pt