Postgraduate students

currently at the Unit of Logic and Computation

• CAMACHO, Luís (PhD student, Teaching Assistant, U Madeira)
• ROGGIA, Karina (PhD student on a scholarship from FCT)

• BISCAIA, Manuel (PhD student on a scholarship from FCT)
• HENRIQUES, David (PhD student on a scholarship from FCT CMU-Portugal Program)
  
• RODRIGUES, João (PhD student on a scholarship from FCT)

PhD theses by some former postgraduate students:

• M. Gamboni. Statically Proving Behavioural Properties in the Pi-Caluculus via Dependency Analysis. PhD thesis, IST, Universidade Técnica de Lisboa, 2010. Supervised by A. Ravara and C. Caleiro.
• P. Baltazar. Probabilization of Logic Systems. PhD thesis, IST, Universidade Técnica de Lisboa, 2010. Supervised by P. Mateus and C. Sernadas.
  Get a preprint: 10-B-PhDthesis.pdf
• R. Gonçalves. Behavioral Algebraization of Logics. PhD thesis, IST, Universidade Técnica de Lisboa, 2008. Supervised by C. Caleiro.
  Get a preprint: 08-G-PhDthesis.pdf
• D. Graça. Computability with Polynomial Differential Equations. PhD thesis, IST, Universidade Técnica de Lisboa, 2007. Supervised by M. Campagnolo and J. Buescu.
  Get a preprint: 07-G-PhDthesis.pdf
• P. Adão. Formal Methods for the Analysis of Security Protocols. PhD thesis, IST, Universidade Técnica de Lisboa, 2006. Supervised by P. Mateus and A. Scedrov.
  Get a preprint: 06-A-PhDthesis.pdf
  
• J. Marcos. Logics of Formal Inconsistency. PhD thesis, IFCH, Universidade de Campinas and IST, Universidade Técnica de Lisboa, 2005. Supervised by W. A. Carnielli and C. Caleiro.
  Get a preprint: 05-M-PhDthesis.pdf 
• J. Rasga. Fibring Labelled First-order Based Logics. PhD thesis, IST, Universidade Técnica de Lisboa, 2003. Supervised by C. Sernadas.
  Get a preprint: 03-R-PhDthesis.ps  03-R-PhDthesis.pdf 
• M. L. Campagnolo. Computational Complexity of Real Valued Recursive Functions and Analog Circuits. PhD thesis, IST, Universidade Técnica de Lisboa, 2001. Supervised by J. F. Costa and C. Moore.
  Get a preprint: 01-C-PhDThesis.ps 
• C. Caleiro. Combining Logics. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised by A. Sernadas.
  Get a preprint: 00-C-PhDthesis.ps  00-C-PhDthesis.dvi 
• P. Mateus. Interconnection of Probabilistic Systems. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised by A. Sernadas and C. Sernadas.
  Get a preprint: 00-M-PhDthesis.ps  00-M-PhDthesis.dvi 
• J. Ramos. The Situation and State Calculus: Specification and Verification. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised by A. Sernadas.
  Get a preprint: 00-R-PhDthesis.ps  00-R-PhDthesis.dvi 
• A. Ravara. Typing Non-Uniform Concurrent Objects. PhD thesis, IST, Universidade Técnica de Lisboa, 2000. Supervised by V. Vasconcelos and A. Sernadas.
  Get a preprint: 00-R-PhDthesis.ps  00-R-PhDthesis.dvi 
• P. Gouveia. Raciocínio Abdutivo sobre Especificações Temporais de Objectos (Abductive Reasoning over Temporal Specifications of Objects). PhD thesis, IST, Universidade Técnica de Lisboa, 1998. Supervised by C. Sernadas.
  Get a preprint: resumo.ps  capa.ps  corpo.ps 
• P. Resende. Tropological Systems and Observational Logic in Concurrency and Specification. PhD thesis, IST, Universidade Técnica de Lisboa, 1998. Supervised by A. Sernadas.
  Get a preprint: 97-R-PhDThesis.ps 

Last update: May 3, 2010.