Mário Florido
Computer Science Department, Faculty of
Science of the University of Porto.
Research
Type Theory (type systems for functional languages; type-based resource analysis), Lambda-Calculus and Functional Programming (linear and affine calculi), Abstract Interpretation, Rewriting (rewrite systems with built-in unification).
Research Projects
Recent Publications (see also DBLP)
- 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.
- 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 23(1), Springer, 2010.
- Sandra Alves, Maribel Fernandez, Mário Florido and Ian
Mackie. Goedel's System T Revisited. Theoretical Computer Science, 411, 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.
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