Academic degree defenses

Agregação em Matemática

Thursday, 16 November 2023, 15h 00m, Online
Friday, 17 November 2023, 15h 00m, Online

Maria do Rosário de Oliveira Silva
Report: Multivariate Analysis.
Synthesis: Symbolic Principal Component Analysis for Interval-Valued Data.
Jury member: Lynne Billard, Franklin College of Arts and Sciences, University of Georgia, EUA
Jury member: Peter Filzmoser, Institute of Statistics and Mathematical Methods in Economics, Vienna University of Technology, Áustria
Jury member: Luis Angel Garcia Escudero, Escuela de Ingenieria Industriales, Universidad de Valladolid, Espanha
Jury member: Elizabeth de Azevedo Reis, ISCTE Business School
Jury member: Mário Alexandre Teles de Figueiredo, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Manuel Gonzalez Scotto, Instituto Superior Técnico da Universidade de Lisboa

Tuesday, 11 July 2023, 14h 00m, Anfiteatro PA-3, Piso -1, Pavilhão de Matemática
Wednesday, 12 July 2023, 14h 00m, Anfiteatro PA-3, Piso -1, Pavilhão de Matemática

James Bernard Kennedy
Report: Análise Matemática III.
Synthesis: Geometric spectral theory of quantum graphs.
Jury member: Peter Kuchment, College of Arts & Sciences, Texas A&M University, EUA
Jury member: Rafael Benguria, Facultat de Física, Pontificia Universidad Católica de Chile
Jury member: Ilaria Fragalà, Politecnico di Milano, Itália
Jury member: David Borthwick, Department of Mathematics, Emory University, USA.
Jury member: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Jury member: José António Maciel Natário, Instituto Superior Técnico da Universidade de Lisboa

Monday, 22 May 2023, 15h 30m, Online
Tuesday, 23 May 2023, 15h 30m, Online

Hugo Ricardo Nabais Tavares
Report: Partial Differential Equations.
Synthesis: Topics in elliptic problems: from semilinear equations to shape optimization.
Jury member: Thomas Bartsch, Mathematisches Institut, Justus-Liebig- Universitat GieBen, Alemanha
Jury member: Manuel del Pino, University of Bath, UK
Jury member: Louis Jeanjean, Laboratoire de Mathemátiques, Université de Franche-Comté, França
Jury member: Veronica Felli, Universitá di Milano, Bicocca, Itália
Jury member: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 20 April 2023, 14h 00m, Online
Friday, 21 April 2023, 14h 00m, Online

Gunter Markus Shutz
Report: Stochastic interacting particle systems.
Synthesis: Dynamical Universality Classes in Driven Diffusive Systems.
Jury member: Herbert Spohn, Technical University of Munich, Germany
Jury member: Bernard Derrida, École Normale Supérieure , Collège de France, France
Jury member: Cristian Giardinà, Dipartimento di Fisica, Informatica e Matematica, Università di Modena e Reggio Emilia, Italy
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico da Universidade de Lisboa
Jury member: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Kirone Mallick, Insitute de Physique Théorique, Paris, France
Jury member: Ellen Saada, Laboratoire MAP5, Université Paris Cité, France

Tuesday, 21 March 2023, 09h 00m, Online
Wednesday, 22 March 2023, 12h 00m, Online

Miguel Jorge Couceiro de Sousa Santos
Report: Lattice theory for symbolic knowledge discovery.
Synthesis: Galois theories for functions with applications in equational definability and analogy based classification.
Jury member: Anna Labella, Sapienza Università di Roma, Itália
Jury member: Vincenzo Marra, Università degli Studi di Milano, Itália
Jury member: Georg Struth, Ubiversity Of Sheffield, Reino Unido
Jury member: Jesús Medina Moreno, Universidade de Cádiz, Espanha
Jury member: Mário Alexandre Teles de Figueiredo, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Pedro Manuel Agostinho Resende, Instituto Superior Técnico, da Universidade de Lisboa.

Thursday, 9 February 2023, 17h 00m, Online
Friday, 10 February 2023, 17h 00m, Online

Diogo Gaspar Teixeira de Oliveira e Silva
Report: Harmonic Analysis.
Synthesis: Sharp Restriction Theory.
Jury member: James Robert Wright, School of Mathematics, College of Science and Engineering, The University of Edinburgh, UK.
Jury member: Malabika Pramanik, Faculty of Science, The University of British Columbia, Canadá.
Jury member: Lillian Beatrix Pierce, Trinity College of Arts & Science, Duke University, EUA.
Jury member: António Manuel Rosa Pereira Caetano, Universidade de Aveiro
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Pedro Simões Cristina de Freitas, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 2 February 2023, 10h 00m, Online
Friday, 3 February 2023, 10h 00m, Online

Manuel João Cabral Morais
Report: Introduction to Stochastic Processes.
Synthesis: On the pivotal role of ARL-unbiased charts in SPC.
Jury member: Giovanna Capizzi, Scuola Di Scienze, Universitá di Padova, Itália
Jury member: Antonios Economou, School of Sciences, National and Kapodistrian University of Athens, Grécia
Jury member: Paulo Eduardo Aragão Aleixo e Neves de Oliveira, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Carlos Manuel Agra Coelho, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Ana Patrícia Carvalho Gonçalves, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Manuel Gonzalez Scotto, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 29 September 2022, 13h 30m, Online
Friday, 30 September 2022, 13h 30m, Online

Carlos Manuel Costa Lourenço Caleiro
Report: Elements of Programming.
Synthesis: A manifesto for multiple conclusions in logic.
Jury member: Marcelo Finger, Instituto de Matemática e Estatística da Universidade de São Paulo, Brasil
Jury member: Simon John Gay, School of Computing Science, University of Glasgow, UK
Jury member: Maria Cristina de Sales Viana Serôdio Sernadas, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa
Jury member: Jorge Orestes Lasbarrères Cerdeira, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: José Manuel Cunha Leal Molarinho Carmo, Faculdade de Ciências Exatas e da Engenharia da Universidade da Madeira
Jury member: Paulo Alexandre Carreira Mateus, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa
Jury member: Pedro Manuel Agostinho Resende, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa.

Tuesday, 27 September 2022, 15h 00m, Anfiteatro Pa3
Wednesday, 28 September 2022, 15h 00m, Anfiteatro Pa3

Ana Leonor Mestre Vicente Silvestre
Report: Mathematical and Numerical Methods in Fluid Dynamics.
Synthesis: Mathematical fluid mechanics: steady incompressible viscous flows in exterior domains.
Jury member: Hugo Beirão da Veiga, University of Pisa, Itália
Jury member: Paolo Maremonti, Università degli Studi della Compania Luigi Vanvitelli, Itália
Jury member: Luca Formaggia, Politecnico di Milano, Itália
Jury member: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, Instituto Superior Técnico, da Universidade de Lisboa

Thursday, 16 December 2021, 09h 30m, Online
Friday, 17 December 2021, 09h 30m, Online

Leonardo Magalhães Macarini
Report: Symplectic Geometry.
Synthesis: Applications of Symplectic Topology to Dynamics and Geometry.
Jury member: Yiming Long, Chem Institute of Mathematics, Nankai University, China
Jury member: Yael Karshon, School Of Mathematical Sciences, Raymond & Beverly Sackler, Faculty of Exact Sciences, Tel Aviv University, Israel
Jury member: Frédéric Bourgeois, Laboratoire of Mathématiques d'Orsay, Université Paris-Saclay, França
Jury member: Hansjörg Geiges, Mathematical Institute, University of Cologne, Alemanha
Jury member: José Manuel Vergueiro Monteiro Cidade Mourão, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa
Jury member: José António Maciel Natário, Departamento de Matemática, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 4 November 2021, 10h 00m, Online
Friday, 5 November 2021, 10h 00m, Online

Cláudia Rita Ribeiro Coelho Nunes Philippart
Report: Introduction to Mathematical Finance.
Synthesis: Jump-Diffusion Processes in Optimal Stopping Application in Real Options.
Jury member: Jacco Thijssen, University of York, UK
Jury member: Stephane Villeneuve, Toulouse School of Economics, França
Jury member: Paulo Eduardo Aragão Aleixo e Neves de Oliveira, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Carlos Manuel Agra Coelho, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Maria de Rosário Lourenço Grossinho, ISEG - Lisbon School of Economics and Management da Universidade de Lisboa
Jury member: Alfredo Duarte Egídio dos Reis, ISEG - Lisbon School of Economics and Management da Universidade de Lisboa
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do Instituto Superior Técnico da Universidade de Lisboa

Thursday, 24 September 2020, 13h 30m, Online
Friday, 25 September 2020, 13h 30m, Online

João Lopes Costa
Report: Mathematics and numerical Methods for Economy and Finance I.
Synthesis: Topics in Mathematical Relativity.
Jury member: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Mihalis Dafermos, Princeton University, EUA
Jury member: Hans Gunnar Ringström, KTH Royal Institute of Technology; Suécia
Jury member: José Maria Martin Senovilla, Facultad de Ciencia y Tecnología, Universidad del País Vasco, Espanha
Jury member: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico, Universidade de Lisboa
Jury member: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Philippe G. LeFloch, Laboratoire Jacques-Louis Lions & Centre National de la Recherche Scientifique, Sorbonne Université, França.
Jury member: Paul Tod, St John’s College, University of Oxford, UK

Monday, 6 July 2020, 15h 00m, Online
Tuesday, 7 July 2020, 15h 00m, Online

Henrique Manuel dos Santos Silveira de Oliveira
Report: Mathematics of Music.
Synthesis: Synchronization by small impacts.
Jury member: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Rafael Ortega Ríos, Facultad de Ciencias, Universidad de Granada, Espanha
Jury member: Francisco Balibrea Gallego, Facultad de Matemáticas, Universidad de Murcia, Espanha
Jury member: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Alberto Adrego Pinto, Faculdade de Ciências da Universidade do Porto
Jury member: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Jury member: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico, Universidade de Lisboa

Thursday, 18 June 2020, 15h 00m, Online
Friday, 19 June 2020, 15h 00m, Online

João Filipe Quintas dos Santos Rasga
Report: Decidability of First-Order Theories.
Synthesis: Combining Logics and Theories.
Jury member: Frank Wolter, Faculty of Science and Engineering, University of Liverpool, UK
Jury member: Silvio Gilhardi, Facoltà di Scienze e Tecnologie, Università degli Studi di Milano, Itália
Jury member: Luca Viganò, Faculty of Natural & Mathematical Sciences, King's College London, UK
Jury member: Jorge Orestes Lasbarrères Cerdeira, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Reinhard Josef Klaus Kahle, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Maria Cristina de Sales Viana Serôdio Sernadas, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico, Universidade de Lisboa

Monday, 3 February 2020, 15h 00m, Anfiteatro Pa3
Tuesday, 4 February 2020, 15h 00m, Anfiteatro Pa3

Maria Luísa Ribeiro dos Santos Morgado
Report: Numerical Methods for Fractional Differential Equations: an Introduction.
Synthesis: Finite Difference Solution of Distributed-Order Diffusion Equations.
Jury member: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Kai Diethelm, Faculty of Applied Sciences and Humanities, University od Applied Sciences Wũrzburg-Schweinfurt, Alemanha
Jury member: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Stéphane Louis Clain, Escola de Ciências da Universidade do Minho
Jury member: Manuel Duque Pereira Monteiro Marques, Fauldade de Ciências da Universidade de Lisboa
Jury member: Adélia da Costa Sequeira dos Ramos Silva, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 4 July 2019, 13h 00m, Anfiteatro Pa3
Friday, 5 July 2019, 13h 00m, Anfiteatro Pa3

Paulo Jorge Canas Rodrigues
Report: Multivariate Statistics and Machine Learning.
Synthesis: Recent advances in Singular Spectrum Analysis.
Jury member: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Peter Filzmoser, Institute of Statistics ans Mathematical Methods in Economics, TU Wien, Austria
Jury member: Vladas Pipiras, Departmente of Statistics and Operation Research, The University of North Carolina at Chapel Hill, EUA
Jury member: Carlos Alberto dos Santos Braumann, Facudade de Ciência e Tecnologia da Universidade Nova de Lisboa
Jury member: Carlos Manuel Agra Coelho, Faculdade de Ciências e tecnologia da Universidade Nova de Lisboa
Jury member: Maria Manuela Costa Neves Figueiredo, Instituto Superior de Agronomia da Universidade Nova de Lisboa
Jury member: António Manuel Pacheco Pires, Instituto Superior Técnico da Universidade de Lisboa

Wednesday, 8 May 2019, 14h 30m, Anfiteatro Pa3
Thursday, 9 May 2019, 14h 30m, Anfiteatro Pa3

Pedro Manuel Agostinho Resende
Report: A Course in Category Theory.
Synthesis: Quantales.
Jury member: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Mark Verus Lawson, Heriot-Watt University
Jury member: Maria Manuel Pinto Lopes Ribeiro Clementino, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Jorge Manuel Senos da Fonseca Picado, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Pedro Ventura Alves da Silva, Faculdade de Ciências da Universidade do Porto
Jury member: Maria Cristina Sales Viana Serôdio Sernadas, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Miguel Tribolet de Abreu, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 28 June 2018, 11h 00m, Anfiteatro Pa3
Friday, 29 June 2018, 11h 00m, Anfiteatro Pa3

Ana Patrícia Carvalho Gonçalves
Report: Probability Theory.
Synthesis: Universality from Microscopic Stochastic Dynamics.
Jury member: Herbert Spohn, Technische Universität München, Germany
Jury member: Massimiliano Gubinelli, Institute of Applied Mathematics and Hausdorff Center for Mathematics, University of Bonn, Germany
Jury member: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: José Miguel Dordio Martinho de Almeida Urbano, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Pedro Simões Cristina de Freitas, Instituto Superior Técnico da Universidade de Lisboa
Jury member: António Manuel Pacheco Pires, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 7 June 2018, 14h 00m, Anfiteatro Pa3
Friday, 8 June 2018, 14h 00m, Anfiteatro Pa3

Daniel da Silva Graça
Report: Introduction to the Theory of Computation.
Synthesis: Computing with Continuous-Time Dynamical Systems.
Jury member: Vasco Brattka, Faculty of Computer Science, Universität der Bundeswehr München, Alemanha
Jury member: Olivier Bournez, École Polytechnique, Université Paris-Saclay, França
Jury member: Alberto Adrego Pinto, Faculdade de Ciências da Universidade do Porto
Jury member: Luís Manuel Marques da Costa Caires, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Jorge Orestes Lasbarrères Cerdeira, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: José Manuel Cunha Leal Molarinho Carmo, Faculdade de Ciências Exactas e da Engenharia da Universidade da Madeira
Jury member: Fernando Jorge Inocêncio Ferreira, Faculdade de Ciências da Universidade de Lisboa
Jury member: Maria Cristina de Sales Viana Serôdio Sernadas, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 1 March 2018, 10h 00m, Anfiteatro Pa3
Friday, 2 March 2018, 10h 00m, Anfiteatro Pa3

Pedro Alexandre Simões dos Santos
Report: Operator Algebras.
Synthesis: More than 40 years of algebric techniques in Numerical Analysis.
Jury member: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Albrecht Böttcher, Faculty of Mathematics, Technische Universität Chemnitz, Germany
Jury member: Stefano Serra Capizzano, Università degli Studi dell'Insubria, Como, Italy
Jury member: Yuri Karlovich, Centro de Investigación en Ciencias, Instituto en Ciencias Básicas y Aplicadas, Universidade Autónoma do Estado de Morelos, México
Jury member: Luís Filipe Pinheiro de Castro, Universidade de Aveiro
Jury member: Ana Maria Severino de Almeida e Paiva, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Pedro Simões Cristina de Freitas, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 4 January 2018, 10h 00m, Anfiteatro Pa3
Friday, 5 January 2018, 10h 00m, Anfiteatro Pa3

José Carlos Pedro Cardoso Matias
Report: A Course on Calculus of Variations.
Synthesis: A Survey on Structured Deformations.
Jury member: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Bernard Dacorogna, École Polytechnique Fédérale de Lausanne, Suiça
Jury member: Irene Maria Quintanilha Coelho da Fonseca, Carnegie Mellon University, USA
Jury member: Maria Luísa Martins Macedo de Faria Mascarenhas, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Isabel Maria Narra de Figueiredo, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Manuel Duque Pereira Monteiro Marques, Faculdade de Ciências da Universidade de Lisboa
Jury member: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 29 September 2016, 15h 00m, Anfiteatro Pa3
Friday, 30 September 2016, 15h 00m, Anfiteatro Pa3

José António Maciel Natário
Report: A Course on Riemannian Geometry.
Synthesis: Topics in Geometry and General Relativity.
Jury member: Gary William Gibbons, Cambridge University, UK
Jury member: Mihalis Dafermos, Cambridge University, UK
Jury member: Eduardo Garcia Rio, Universidade de Santiago de Compostela, Espanha
Jury member: Orfeu Bertolami Neto, Faculdade de Ciências da Universidade do Porto
Jury member: Estelita Graça Lopes Rodrigues Vaz, Escola de Ciências da Universidade do Minho
Jury member: José Pizarro de Sande Lemos, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico da Universidade de Lisboa
Jury member: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico da Universidade de Lisboa

Thursday, 25 February 2016, 14h 30m, Anfiteatro Pa3
Friday, 26 February 2016, 14h 30m, Anfiteatro Pa3

Maria Cristina Carvalho de Aguiar Câmara
Report: Riemann-Hilbert Problems - A Course in the Scientific Area of Functional Analysis.
Synthesis: Asymetric Truncated Toeplitz Operators in Hardy Spaces of the Half-Plane.
Jury member: William Thomas Ross, Professor Catedrático, University of Richmond, USA
Jury member: Jonatham Richard Partington, Professor Catedrático, School of Mathematics, University of Leeds, UK
Jury member: Natália Isabel Quadros Bebiano Pinheiro da Providência e Costa, Professora Catedrática, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Luís Filipe Pinheiro de Castro, Professor Catedrático, Universidade de Aveiro
Jury member: António Francisco Ferreira dos Santos, Professor Catedrático Jubilado, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Carlos Alberto Varelas da Rocha, Professor Catedrático, Instituto Superior Técnico da Universidade de Lisboa
Jury member: Dan Grigore Timotin, Investigador Coordenador, Simion Stoilow Institute of Mathematicsof the Romanian Academy, Roménia
Jury member: Frank-Olme Ewald Speck, Especialista de Reconhecido Mérito, Center for Functional Analysis, Linear Structures and Applications do Instituto Superior Técnico da Universidade de Lisboa

Thursday, 8 May 2014, 15h 00m, Anfiteatro Pa3
Friday, 9 May 2014, 15h 00m, Anfiteatro Pa3

Nelson Gomes Rodrigues Antunes
Report: Processos Estocásticos e Teoria das Filas de Espera.
Synthesis: Stochastic Modelling in Communication Networks.
Jury member: Onno Johan Boxma, Professor Catedrático da Eindhoven University of Technology, Holanda
Jury member: Laurent Decreusefond, Professor Catedrático da Telecom ParisTech, França
Jury member: Maria da Nazaré Simões Quadros Mendes Lopes, Professora Catedrática da Universidade de Coimbra
Jury member: Paulo Eduardo Aragão Aleixo Neves de Oliveira, Professor Catedrático da Universidade de Coimbra
Jury member: Carlos Alberto dos Santos Braumann, Professor Catedrático da Universidade de Évora
Jury member: Helena Maria Simões Ferreira, Professora Catedrática da Universidade da Beira Interior
Jury member: Maria Fernanda Neto Ramalhoto, Professora Catedrática Aposentada do Instituto Superior Técnico, UL
Jury member: Rui Jorge Morais Tomaz Valadas, Professor Catedrático do Instituto Superior Técnico, UL
Jury member: António Manuel Pacheco Pires, Professor Catedrático do Instituto Superior Técnico, UL

Thursday, 5 January 2012, 16h 00m, Anfiteatro Pa3
Friday, 6 January 2012, 14h 00m, Anfiteatro Pa3

João Luís Pimentel Nunes
Report: Differential Topology.
Synthesis: Quantization and Reality.
Jury member: Brian C. Hall, Professor Catedrático do Departamento de Matemática da Universidade de Notre Dame, E.U.A.
Jury member: Alejandro Uribe, Professor Catedrático do Departamento de Matemática da Universidade de Michigan,E.U.A.
Jury member: Maria Teresa de Lemos Monteiro Fernandes, Professora Catedrática do Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa;
Jury member: Orfeu Bertolami Neto, Professor Catedrático do Departamento de Física e Astronomia da Faculdade de Ciências da Universidade do Porto;
Jury member: Rui António Loja Fernandes, Professor Catedrático do Departamento de Matemática do Instituto Superior Técnico, UTL
Jury member: Miguel Tribolet de Abreu, Departamento de Matemática do Instituto Superior Técnico, UTL

Thursday, 20 January 2011, 14h 30m, Anfiteatro VA-2 (Piso -1, Pavilhão de Civil)
Friday, 21 January 2011, 14h 30m, Anfiteatro VA-2 (Piso -1, Pavilhão de Civil)

Gabriel Czerwionka Lopes Cardoso
Report: Topics in String Theory: The $N=2$ Black Hole Jigsaw Puzzle.
Synthesis: Black Holes, Attractors and the OSV Conjecture.
Jury member: Philip Candelas, Professor Catedrático, Instituto de Matemática da Universidade de Oxford, Inglaterra
Jury member: Georgios Papadopoulos, Professor Catedrático, Departamento de Matemática da King's College London, Inglaterra
Jury member: Robertus Potting, Professor Catedrático, Departamento de Física da Faculdade de Ciências e Tecnologiada Universidade do Algarve
Jury member: Orfeu Bertolami, Professor Catedrático, Departamento de Física e Astronomia da Faculdade de Ciências da Universidade do Porto
Jury member: Jorge Manuel Rodrigues Crispim Romão, Professor Catedrático, Departamento de Física do Instituto Superior Técnico da Universidade Técnica de Lisboa;
Jury member: Carlos Alberto Varelas da Rocha, Professor Catedrático, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Jury member: Rui António Loja Fernandes, Professor Catedrático, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa

Monday, 21 June 2010, 14h 00m, Anfiteatro PA-3 Edifício de Matemática
Tuesday, 22 June 2010, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Ana Margarida de Lencastre Godinho Cannas da Silva
Report: Geometria Diferencial.
Synthesis: Folded Symplectic Manifolds.
Arguer: Michèle Audin, Institut de Recherche Mathématique Avancée da Universidade de Estrasburgo, França
Arguer: Christopher Woodward, Departamento de Matemática da Universidade de Rutgers, USA
Jury member: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Jury member: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa

Monday, 21 December 2009, 14h 30m, Anfiteatro VA-4 (Pavilhão de Civil)
Tuesday, 22 December 2009, 14h 30m, Anfiteatro VA-4 (Pavilhão de Civil)

Ricardo Pina Schiappa de Carvalho
Report: Área Científica de Física-Matemática.
Synthesis: Stokes Resurgence of Random Matrices and Strings.
Jury member: Ugo Bruzzo, SISSA - International School for Advanced Studies, Italy
Jury member: Marcos Mariño Beiras, Secção de Matemática da Universidade de Genebra, Suiça
Jury member: Robertus Hendrikus Potting, Departamento de Física da Faculdade de Ciências e Tecnologia da Universidade do Algarve
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Jury member: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico

Monday, 21 December 2009, 10h 30m, Anfiteatro PA-3 Edifício de Matemática
Tuesday, 22 December 2009, 10h 30m, Anfiteatro PA-3 Edifício de Matemática

Rahul Vijay Pandharipande
Report: Algebraic Geometry: An Introduction.
Synthesis: Maps, Sheaves, and \(K3\) Surfaces.
Jury member: Carel Faber, School of Engineering Sciences, KTH-Royal Institute of Technology
Jury member: Ugo Bruzzo, SISSA - International School for Advanced Studies, Italy
Jury member: Teresa Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Jury member: Rui António Loja Fernandes, Departamento de Matemática do Instituto Superior Técnico

Thursday, 18 June 2009, 15h 00m, PA-3 Edifício da Matemática
Friday, 19 June 2009, 15h 00m, PA-3 Edifício da Matemática

Maria Amélia Duarte Reis Bastos
Report: Álgebra de Operadores.
Synthesis: Representações de produtos Cruzados \(C^\ast\) e Símbolos Operatoriais de Álgebras Não-Locais de Operadores Singulares.
Jury member: Rudolf Bernd Silbermann, Faculdade de Matemática da Universidade Técnica de Chemnitz, Alemanha
Jury member: Yuri Karlovich, Departamento de Matemática da Faculdade de Ciências da Universidade Autónoma do Estado de Morelos, México
Jury member: Stefan Gregorievich Samko, Departamento de Matemática da Faculdade de Ciência e Tecnologia da Universidade do Algarve
Jury member: Mário Sequeira Rodrigues Figueira, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Jury member: Helmuth Robert Malonek, Departamento de Matemática da Universidade de Aveiro
Jury member: António Francisco Ferreira dos Santos, Departamento de Matemática do Instituto Superior Técnico
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do Instituto Superior Técnico
Jury member: Luís Manuel Gonçalves Barreira, Departamento de Matemática do Instituto Superior Técnico

Tuesday, 7 October 2008, 10h 30m, Anfiteatro do Complexo I
Wednesday, 8 October 2008, 10h 30m, Anfiteatro do Complexo I

Carlos Armindo Arango Florentino
Report: Superfícies de Riemann e Curvas Algébricas.
Synthesis: Representations of Surface Groups into Lie Groups: Álgebra, Geometry and Quantization.
Arguer: Oscar García-Prada, Departamento de Matemáticas do Instituto de Matemática e Física Fundamental, Espanha
Arguer: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Jury member: Jorge Dias de Deus, Departamento de Física, IST
Jury member: António Francisco Ferreira dos Santos, Departamento de Matemática, IST
Jury member: Luís Pereira de Quintanilha e Mendonça Dias Torres Magalhães, Departamento de Matemática, IST
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, IST
Jury member: Luís Manuel Gonçalves Barreira, Departamento de Matemática, IST
Jury member: Rui António Loja Fernandes, Departamento de Matemática, IST
Jury member: Peter Beier Gothen, Departamento de Matemática Pura da Faculdade de Ciências da Universidade do Porto

Thursday, 17 July 2008, 15h 00m, PA-3 Edifício da Matemática
Friday, 18 July 2008, 15h 00m, PA-3 Edifício da Matemática

Carlos José Santos Alves
Report: Análise Numérica de Equações Diferenciais Parciais.
Synthesis: Ill Conditionning and Accuracy in Numerical Methods for Direct and Inverse Problems in Partial Differential Equations.
Arguer: David Colton, Departamento de Ciências Matemáticas da Universidade de Delaware, Estados Unidos da América
Arguer: Mário Sequeira Rodrigues Figueira, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Jury member: Maria Paula Martins Serra de Oliveira, Departamento de Matemática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Carlos Alberto Mota Soares, Departamento de Engenharia Mecânica, IST
Jury member: António Francisco Ferreira dos Santos, Departamento de Matemática, IST
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, IST
Jury member: Luís Manuel Gonçalves Barreira, Departamento de Matemática, IST

Monday, 14 July 2008, 14h 00m, Anfiteatro PA-3 Edifício de Matemática
Tuesday, 15 July 2008, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Aleksander Mikovic
Report: Representação de Grupos e Álgebras de Lie.
Synthesis: Redes e Espumas de Spin em Teorias de Campo Quânticas Topológicas e em Gravitação Quântica.
Jury member: John Carlos Baez, Departamento de Matemática da Universidade da Califórnia, Riverside, Estados Unidos da América
Jury member: Louis Kauffman, Departamento de Matemática da Universidade de Illinois, Chicago, Estados Unidos da América
Jury member: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Jury member: Jorge Manuel Rodrigues Crispim Romão, Departamento de Física do Instituto Superior Técnico da Universidade Técnica de Lisboa
Jury member: Amílcar dos Santos Costa Sernadas, Departamento de Matemática do IST
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática do IST
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do IST
Jury member: Luís Manuel Gonçalves Barreira, Departamento de Matemática do IST
Jury member: Rui António Loja Fernandes, Departamento de Matemática do IST

Tuesday, 19 February 2008, 11h 00m, Anfiteatro do Complexo I do IST
Wednesday, 20 February 2008, 15h 30m, Anfiteatro do Complexo I do IST

Ana Maria Nobre Vilhena Nunes Pires Parente
Report: Análise de Modelos Lineares - Na Licenciatura (1º Ciclo) em Matemática Aplicada e Computação.
Synthesis: Um Panorama da Estatística Robusta.
Jury member: Frank Critchley, Open University, UK
Jury member: Graciela Boente, Faculdade de Ciências Exactas e Naturais da Universidadede Buenos Aires, Argentina
Jury member: Maria Ivette Leal de Carvalho Gomes, Departamento de Estatística e Investigação Operacional da Faculdade deCiências da Universidade de Lisboa
Jury member: Carlos António Pancada Guedes Soares, Secção Autónoma de Engenharia Naval, IST
Jury member: Maria Fernanda Neto Ramalhoto, DM, IST
Jury member: Maria Cristina Sales Viana Serôdio Sernadas, DM, IST
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, DM, IST

Monday, 21 January 2008, 10h 00m, Anfiteatro do Complexo I
Tuesday, 22 January 2008, 10h 00m, Anfiteatro do Complexo I

Miguel Tribolet de Abreu
Report: Geometria Simplética.
Synthesis: Overview Lecture - A Personal Tour Through Sympletic Topology and Geometry.
Jury member: Dietmar Salamon, Departamento de Matemática do Instituto de Tecnologia de Zurique, Suiça
Jury member: Maria Luisa Fernandez Rodríguez, Departamento de Matemática da Faculdade de Ciência e Tecnologia da Universidade do País Basco
Jury member: Maria Teresa de Lemos Monteiro Fernandes, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
Jury member: José Agostinho Basto Gonçalves, Departamento de Matemática Aplicada da Faculdade de Ciências da Universidade do Porto
Jury member: António Ferreira dos Santos, Departamento de Matemática do IST
Jury member: Luís Pereira Quintanilha e Mendonça Dias Torres Magalhães, Departamento de Matemática do IST
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática do IST
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática do IST
Jury member: Luís Manuel Gonçalves Barreira, Departamento de Matemática do IST

Thursday, 22 February 2007, 14h 30m, Instituto Superior Técnico
Friday, 23 February 2007, 14h 30m, Instituto Superior Técnico

Jorge Sebastião de Lemos Carvalhão Buescu
Report: Sistemas Dinâmicos e Teoria de Números.
Synthesis: Positividade e núcleos reprodutores em alguns aspectos de Análise Matemática.
Jury member: José Agostinho Basto Gonçalves, Faculdade de Ciências da Universidade do Porto
Jury member: Mário Sequeira Rodrigues Figueira, Faculdade de Ciências da Universidade de Lisboa
Jury member: Viktor Gregorievich Kravchenko, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Jury member: Carlos Eduardo do Rêgo da Costa Salema, IST, UTL.
Jury member: António Ferreira dos Santos, Matemática, IST, UTL.
Jury member: Amílcar dos Santos Costa Sernadas, Matemática, IST, UTL.
Jury member: Luís Pereira Quintanilha Torres Magalhães, Matemática, IST, UTL.
Jury member: Carlos Alberto Varelas da Rocha, Matemática, IST, UTL.
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Matemática, IST, UTL.
Jury member: Luis Manuel Gonçalves Barreira, Matemática, IST, UTL.

Wednesday, 21 June 2006, 15h 00m, Anfiteatro do Complexo Interdisciplinar
Thursday, 22 June 2006, 15h 00m, Anfiteatro do Complexo Interdisciplinar

António Manuel Pacheco Pires
Report: Processos Estocásticos.
Synthesis: Ordenação estocástica de tempos de primeira passagem: contribuições em controlo de qualidade e na comparação de processos estocásticos com excedência de nível.
Jury member: Onno Boxma, Eindhoven University of Technology, Netherlands
Jury member: Wolfgang Schmid, Europa-Universität Viadrina, Frankfurt
Jury member: Paulo Oliveira, U. Coimbra
Jury member: Teresa Alpuim, U. Lisboa
Jury member: Luís Borges de Almeida, Engenharia Electrotécnica, IST
Jury member: Fernanda Ramalhoto, Matemática, IST
Jury member: Cristina Sernadas, Matemática, IST
Jury member: Ana Bela Cruzeiro, Matemática, IST
Jury member: Luis Barreira, Matemática, IST

Thursday, 27 April 2006, 10h 00m, Anfiteatro do Complexo Interdisciplinar
Friday, 28 April 2006, 10h 00m, Anfiteatro do Complexo Interdisciplinar

Pedro Miguel Rita da Trindade Lima
Report: Métodos Numéricos para Equações Diferenciais Ordinárias.
Synthesis: Aceleração de Convergência de Métodos Computacionais para Equações Diferenciais e Integrais.
Jury member: Neville Ford, Chester University, UK
Jury member: Luís Trabucho, Universidade de Lisboa
Jury member: Mário Figueira, Universidade de Lisboa
Jury member: Filomena Almeida, Universidade do Porto
Jury member: João Martins, IST, Eng. Civil
Jury member: António Ferreira do Santos, IST, Matemática
Jury member: Carlos Rocha, IST, Matemática
Jury member: Anabela Cruzeiro, IST, Matemática

Monday, 27 March 2006, 14h 30m, Anfiteatro do Complexo Interdisciplinar
Tuesday, 28 March 2006, 14h 30m, Anfiteatro do Complexo Interdisciplinar

Paulo Alexandre Carreira Mateus
Report: Matemática Discreta.
Synthesis: Análise de Sistemas de Prova de Conhecimento Nulo.
Jury member: Andre Scedrov, Univ. Pennsylvania
Jury member: Manuela Sobral, Univ. Coimbra
Jury member: Paulo Neves de Oliveira, Univ. Coimbra
Jury member: José Manuel Valença, Univ. Minho
Jury member: Jorge Dias de Deus, IST, Física
Jury member: João Pavão Martins, IST, Eng. Informática
Jury member: Maria Fernanda Ramalhoto, IST, Matemática
Jury member: Amílcar Sernadas, IST, Matemática
Jury member: Cristina Sernadas, IST, Matemática
Jury member: Ana Bela Cruzeiro, IST, Matemática
Jury member: Luís Barreira, IST, Matemática

Thursday, 19 January 2006, 11h 00m, Pa3
Friday, 20 January 2006, 11h 00m, Pa3

Marcos Mariño Beiras
Report: Aspectos Geométricos de Teoria do Campo.
Synthesis: Teoria de Cordas e Invariantes de Nós.
Jury member: Philip Candelas, Univ. Oxford, UK
Jury member: Rahul Pandharipande, Univ. Princeton
Jury member: José Basto Gonçalves, Univ. Porto
Jury member: Alfredo Barbosa Henriques, IST, Departamento de Física
Jury member: António Ferreira do Santos, IST
Jury member: Luís Magalhães, IST
Jury member: Carlos Rocha, IST
Jury member: Ana Bela Cruzeiro, IST
Jury member: Luís Barreira, IST

Monday, 16 January 2006, 14h 30m, Pa3
Tuesday, 17 January 2006, 14h 30m, Pa3

Diogo Luís de Castro Vasconcelos de Aguiar Gomes
Report: Transformações Integrais e Distribuições.
Synthesis: Equações de Hamilton-Jacobi e Dinâmica Hamiltoniana.
Jury member: Constantin Dafermos, Univ. Brown, USA
Jury member: João Paulo Dias, U. Lisboa
Jury member: Luis Sanchez, U. Lisboa
Jury member: Miguel Ramos, U. Lisboa
Jury member: Luísa Mascarenhas, U. Nova de Lisboa
Jury member: Jorge Dias de Deus, Departamento de Física, I.S.T.
Jury member: Ana Bela Cruzeiro, Departamento de Matemática, I.S.T.
Jury member: António Ferreira dos Santos, Departamento de Matemática, I.S.T.
Jury member: Luís Magalhães, Departamento de Matemática, I.S.T.
Jury member: Carlos Rocha, Departamento de Matemática, I.S.T.
Jury member: Luís Barreira, Departamento de Matemática, I.S.T.

Thursday, 28 February 2002, 15h 00m, Faculdade de Ciências da Universidade de Lisboa
Friday, 1 March 2002, 15h 00m, Faculdade de Ciências da Universidade de Lisboa

Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes
Report: Introdução à geometria algébrica.
Synthesis: A aplicação bicanónica de superfícies com \(p_g=0\).
Arguer: Arnaud Beauville, Laboratoire Dieudonne, Université de Nice, França.
Arguer: Eduardo Manuel Freire Marques de Sá, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: José Basto Gonçalves, Professor Catedrático, Faculdade de Ciências da Universidade do Porto
Jury member: Maria Luísa Melo de Noronha Galvão, Professora Catedrática, Faculdade de Ciências da Universidade de Lisboa
Jury member: Margarida Benito Ramalho, Professora Catedrática, Faculdade de Ciências da Universidade de Lisboa
Jury member: Armando Henrique Prazeres Machado, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Jury member: João Paulo de Carvalho Dias, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Jury member: António Jorge Brandão Lopes Pinto, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Jury member: João Cândido de Antas Furtado Coelho, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Jury member: José António Perdigão Dias da Silva, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Jury member: Luís Fernando Sanchez Rodrigues, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa
Jury member: José Francisco da Silva Costa Rodrigues, Professor Catedrático, Faculdade de Ciências da Universidade de Lisboa

Doutoramento em Segurança de Informação

Thursday, 16 January 2025, 14h 00m, Online

Manuel Maria Trigueiros Sampaio Batalha dos Santos
Quantum Assisted Secure Multiparty Computation.
Adviser: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico
Co-adviser: Armando Humberto Moreira Nolasco Pinto, Universidade de Aveiro
Arguer: Jeroen Antonius Maria van de Graaf, Universidade Federal de Minas Gerais - UFMG, Brasil
Arguer: Walter O. Krawec, University of Connecticut, EUA
Jury member: João Miguel Lourenço Ribeiro, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Matemática

Wednesday, 15 January 2025, 09h 30m, Anfiteatro Pa3

Arber Selimi
Categorical Aspects of 3-Bundles and Local 3-Connections.
Adviser: Roger Francis Picken, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Brasnislav Jurco, Charles University, University of Republic Checa
Arguer: John Gmerek Huerta, Instituto Superior Técnico, Universidade de Lisboa
Jury member: João Nuno Gonçalves Faria Martins, School of Mathematics, University of Leeds, Reino Unido

Thursday, 19 December 2024, 14h 00m, Online

Flavio Rossetti
Stability of the Cauchy Horizon for Cosmological Black Holes in Spherical Symmetry.
Adviser: José António Maciel Natário, Insttituto Superior Técnico
Arguer: Mihalis Dafermos, Princeton University
Arguer: Peter Hintz, ETH Zürich
Jury member: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico
Jury member: Pedro Alves Martins da Silva Girão, Instituto Superior Técnico

Tuesday, 18 June 2024, 14h 30m, Online

Javier Orts Romero
Symmetric products of Galois-Maximal varieties.
Adviser: Pedro Ferreira dos Santos, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Paulo Lima-Filho, College of Arts and Sciences, Texas A&M University, EUA
Arguer: Clover May, Faculty of Information Technology and Electrical Enginering, Norwegian University of Science and Technology (NTNU), Noruega
Jury member: Gonçalo Jorge Trigo Neri Tabuada, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Miguel Tribolet de Abreu, Instituto Superior Técnico, Universidade de Lisboa
Jury member: João Pedro Boavida de Brito, Instituto Superior Técnico, Universidade de Lisboa

Thursday, 6 June 2024, 15h 00m, Anfiteatro Pa3

Rodrigo de Sousa Leal de Oliveira Duarte
Applications of Dyadic Harmonic Analysis to Weighted Inequalities.
Adviser: Jorge Filipe Drumond Pinto da Silva, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Diogo Gaspar Teixeira de Oliveira e Silva, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Ioannis Parissis, University of the Basque Country & Ikerbasque, Espanha
Jury member: Mateus Costa de Sousa, Researcher, Basque Center for Applied Mathematics (BCAM), Espanha

Thursday, 9 May 2024, 15h 00m, Anfiteatro Pa3

Nino Tiziano Scalbi
Differential Cohomology as Diffeological Homotopy Theory.
Adviser: Roger Francis Picken, Instituto Superior Técnico, Universidade de Lisboa
Co-adviser: John Gmerek Huerta, Instituto Superior Técnico, Universidade de Lisboa
Arguer: John Daniel Christensen, University of Western Ontario, Canadá
Arguer: Daniel Grady, Wichita State University, EUA

Friday, 16 February 2024, 10h 00m, Online

Robert Stephen Hanson
The Dirac-Higgs complex on the stack of Higgs bundles.
Adviser: Emilio Franco Gómez, Facultad de Ciencias, Universidad Autónoma de Madrid, Espanha
Arguer: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto
Arguer: Ana Péon-Nieto, Universidade de Santiago de Compustela, Espanha
Jury member: João Luís Pimentel Nunes, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Francesco Sala, Università di Pisa, Itália
Jury member: John Gmerek Huerta, Instituto Superior Técnico, Universidade de Lisboa

Wednesday, 7 February 2024, 15h 00m, Online

António José Marcos Lages
Quandles and the Cyclic Structure of their Permutations.
Adviser: Pedro Miguel Marques Francisco Lopes, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Victor Samuel Nelson, Claremont McKenna College, USA
Arguer: João Jorge Ribeiro Soares Gonçalves de Araújo, FCT da Universidade Nova de Lisboa
Jury member: Petr Vojtechovsky, College of Natural Sciences and Mathematics, University of Denver, USA
Jury member: Lina Maria Mateus de Oliveira, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Maria Joana Mendes Bordalo Ventura, Instituto Superior Técnico, Universidade de Lisboa

Monday, 29 January 2024, 11h 00m, Anfiteatro Pa3

Gabriel Silva Nahum
Non-linear problems in Interacting Particle Systems.
Adviser: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Bernard Derrida, École Normale Supérireure, Collége de France
Arguer: Funaki Tadahisa, Beijing Institute of Mathematical Sciences and Applications (BIMSA)
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
Jury member: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Rodrigo Marinho de Souza, Universidade Federal de Santa Maria, Brasil

Friday, 19 May 2023, 14h 00m, Online

Salvatore Baldino
WKB Methods for Finite Difference Schrödinger Equations.
Adviser: Ricardo Pina Schiappa de Carvalho, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Marcos Mariño Beiras, Faculté des Sciences, Université de Genève, Suiça
Arguer: Davide Masoero, Faculdade de Ciências, Universidade de Lisboa
Jury member: André Voros, Institut dePhysique Théorique, Commissariat à lenergie atomique et aux énergies alternatives (CEA) Saclay, França
Jury member: João Luis Pimentel Nunes, Instituto Superior Técnico, Universidade de Lisboa

Thursday, 26 January 2023, 14h 00m, Online

Maximilian Julius Karl Schwick
New Resurgence of Instantons in Old Matrix Models.
Adviser: Ricardo Pina Schiappa de Carvalho, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Jean Zinn-Justin, Institut de Pysique Théorique, Comissariat à l'énergie atomique et aux énergies alternatives (CEA), França
Arguer: David Sauzin, Observatoire de Paris, PSL, Research University, France
Jury member: João Luis Pimentel Nunes, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa

Friday, 11 November 2022, 14h 00m, Anfiteatro Pa3

Pedro Gonçalo Godinho Filipe
Computability of logical problems associated to partial non-deterministic matrices.
Adviser: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Manuel António Gonçalves Martins, Universidade de Aveiro
Arguer: Yehonathan Zohar, Bar Ilan University, Israel
Jury member: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa

Wednesday, 26 October 2022, 14h 00m, Online

Roberto Vega Álvarez
Parametric Resurgences of the Second Painlevé Equation and the Case of 2 Dimensional Quantum Supergravity.
Adviser: Ricardo Pina Schiappa de Carvalho, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Yoshitsugu Takei, Faculty of Science and Engineering, Doshisha University, Japão
Arguer: José Daniel Edelstein Glaubach, Universidade, Facultade de Física, Universidade de Santiago de Compostela,
Jury member: João Luís Pimentel Nunes, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa

Friday, 14 October 2022, 11h 00m, Anfiteatro Pa3

Augusto Cesar Silva Soares Pereira
Applications of flows in imaginary time to quantization.
Adviser: João Luís Pimentel Nunes, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Carlos Armindo Arango Florentino, Faculdade de Ciências da Universidade de Lisboa
Arguer: Ana Cristina Castro Ferreira, Escola de Ciências da Universidade do Minho
Jury member: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto

Friday, 23 September 2022, 14h 00m, Online

Pedro Paulo Gondim Cardoso
Hydrodynamic limit of symmetric exclusion process with long jumps and a slow barrier.
Adviser: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Sunder Sethuraman, University of Arizona, College of Science
Arguer: Patrik Ferrari, Institut für Angewandte Mathematik, Universität Bonn, Alemanha
Jury member: Hugo Ricardo Nabais Tavares, Instituto Superior Técnico da Universidade de Lisboa

Friday, 23 September 2022, 10h 00m, Online

Miguel Castilho Soares Duarte
Asymptotics in Generalized Harmonic Gauge.
Adviser: David Mathew Hilditch, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Juan A. Valiente Kroon, School of Mathematical Sciences, Queen Mary University of London, UK
Arguer: Alfonso García-Parrado Gómez-Lobo, Universidad de Córdoba, Espanha;
Jury member: Pedro Alves Martins da Silva Girão, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Segurança de Informação

Wednesday, 20 July 2022, 14h 00m, Online

Pedro de Melo Branco
Reducing the Communication in Secure Computation.
Adviser: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico
Arguer: Peter Scholl, Aarhus University
Arguer: Julian Loss, CISPA Helmholtz Center for Information Security
Jury member: Miguel Nuno Dias Alves Pupo Correia, Instituto Superior Técnico

Doutoramento em Estatística e Processos Estocásticos

Thursday, 14 July 2022, 14h 00m, Online

Maria José de Almeida e Silva
Novel stochastic excursions to urban drinking water systems: flow measurement uncertainty and water loss control.
Adviser: Maria da Conceição Esperança Amado, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Isabel Maria Marques da Silva Magalhães, Faculdade de Engenharia da Universidade do Porto
Arguer: Isabel Maria Alves Rodrigues, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Álvaro Silva Ribeiro, Laboratório Nacional de Engenharia Civil
Jury member: Maria Eduarda da Rocha Pinto Augusto da Silva, Faculdade de Economia da Universidade do Porto
Jury member: Ana Bela Ferreira Cruzeiro Zambrin, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Matemática

Thursday, 7 July 2022, 14h 00m, Anfiteatro Pa3

Martí Rosselló Gómez
Quantum black hole entropy and the Rademacher expansion.
Adviser: Gabriel Czerwionka Lopes Cardoso, Instittuto Superior Técnico, Universidade de Lisboa
Arguer: Katrin Wendland, Trinity College, Dublin
Arguer: Alejandra Castro Anich, University of Amsterdam
Jury member: Miguel Tribolet de Abreu, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Marko Stošić, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Segurança de Informação

Wednesday, 1 June 2022, 14h 30m, Anfiteatro Pa3

Luís Filipe Xavier Cavaco de Mendonça Dias
Intrusion Detection using Clustering and Outlier Detection.
Adviser: Miguel Nuno Dias Alves Pupo Correia, Instituto Superior Técnico da Universidade de Lisboa;
Arguer: Henrique Manuel Dinís dos Santos, Escola de Engenharia da Universidade do Minho
Arguer: José Silvestre Serra da Silva, Academia Militar
Jury member: Pedro Miguel dos Santos Alves Madeira Adão, Instituto Superior Técnico da Universidade de Lisboa

Doutoramento em Matemática

Friday, 29 April 2022, 14h 00m, Online

Carllos Eduardo Alves de Holanda
Nonadditive Thermodynamic Formalism and Multifractal Analysis for Flows.
Adviser: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Miaohua Jiang, Wake Forest University, USA
Arguer: Paulo Cesar Rodrigues Pinto Varandas, Instituto de Matemática da Universidade Federal da Bahia, Brasil
Jury member: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Cláudia Valls Anglés, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Segurança de Informação

Thursday, 17 February 2022, 13h 00m, Online

Riccardo Gozzi
Analog Characterization of Complexity Classes.
Adviser: João Filipe Quintas dos Santos Rasga, Instituto Superior Técnico, Universidade de Lisboa
Co-adviser: Daniel da Silva Graça, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Arguer: Eugene Asarin, Université de Paris, France
Arguer: Olivier Bournez, École Polytechnique, France
Jury member: Paulo Alexandre Carreira Mateus, Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Pedro Miguel dos Santos Alves Madeira Adão, Departamento de Informática, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Bruno Serra Loff Barreto, Faculdade de Ciências da Universidade do Porto

Doutoramento em Matemática

Friday, 5 November 2021, 15h 00m, Anfiteatro Pa3

Grace Tusogwile Mwkyoma
Classification of Hamiltonian circle actions on compact symplectic orbifolds of dimension four.
Adviser: Leonor Pires Marques de Oliveira Godinho, Instituto Superior Técnico
Arguer: Margaret Fife Symington, College of Liberal Arts and Sciences, Mercer University, EUA
Arguer: Daniele Sepe, Universidade Fluminense, Brasil
Jury member: Miguel Tribolet de Abreu, Instituto Superior Técnico, Departamento de Matemática

Friday, 17 September 2021, 14h 00m, Online

Stefano Scotta
Asymptotic behavior of the boundary driven exclusion with long jumps.
Adviser: Ana Patrícia Carvalho Gonçalves, Insttituto Superior Técnico, Universidade de Lisboa
Arguer: Stefano Olla, Université Paris Dauphine, France
Arguer: Anna de Masi, Università degli Studi dell'Aquilla, Italy
Jury member: Hugo Ricardo Nabais Tavares, Instituto Superior Técnico, Departamento de Matemática

Friday, 3 September 2021, 15h 00m, Online

Rodrigo Marinho de Souza
Convergence to stationary states of interacting particle systems.
Adviser: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico
Arguer: Nina Gantert, Technishe Universitat Munchen
Arguer: Roberto Imbuzeiro Moraes Felinto de Oliveira, Instituto de Matemática Pura e Aplicada
Jury member: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico, Departamento de Matemática

Friday, 16 July 2021, 15h 00m, Online

Vicente Lorenzo García
Group actions on surfaces of general type and moduli spaces.
Adviser: Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes, Instituto Superior Técnico
Arguer: Rita Pardini, Universidade de Pisa, Itália
Arguer: Carlos Rito, Investigador do Centro de Matemática da Universidade do Porto
Jury member: Leonor Pires Marques de Oliveira Godinho, Instituto Superior Técnico, Departamento de Matemática

Monday, 28 June 2021, 15h 00m, Online

Pedro Mendes Aniceto
Integrability and holography in dimensionally reduced theories of gravity in 2 dimensions.
Adviser: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico
Arguer: Nicholas Dorey, Department of Applied Mathematics and Theoretical Physics
Arguer: Thomas Mohaupt, University of Liverpool
Jury member: Maria Cristina Carvalho de Aguiar Câmara, Instituto Superior Técnico, Departamento de Matemática

Friday, 25 June 2021, 15h 00m, Online

João Pedro Casimiro Rijo
Hyperbolicity in Difference Equations: Admissibility and Infinite Delay.
Adviser: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico
Arguer: Jaume Llibre i Saló, Universidad Autònoma de Barcelona
Arguer: Regilene Oliveira, Universidade de São Paulo
Jury member: Nuno Miguel Matos Ramos Martins, Instituto Superior Técnico, Departamento de Matemática

Doutoramento em Segurança de Informação

Friday, 6 November 2020, 14h 00m, Online

Preeti Yadav
Pratical Quantum Privacy Protocols.
Adviser: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico
Arguer: Ernesto Fagundes Galvão, Group Leader (Researcher), INL- International Iberian Nanotechnology Laboratory, Braga
Arguer: Vladimir Bozin, University of Belgrade , Sérvia
Jury member: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, Instituto Superior Técnico
Jury member: Andreas Miroslaus Wichert, Departamento de Engenharia Informática, Instituto Superior Técnico

Doutoramento em Matemática

Friday, 31 January 2020, 15h 00m, Anfiteatro Pa3

Ragaa Ahmed Abbas Ahmed
On the anomalous diffusion of Hamiltonian systems perturbed by a conserving noise.
Adviser: Ana Patrícia Carvalho Gonçalves, Instituto Superior Técnico
Arguer: François Huveneers, CEREMADE, Université de Paris-Dauphine
Arguer: Milton David Jara Valenzuela, Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brasil
Jury member: Pedro Simões Cristina de Freitas, Instituto Superior Técnico
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Instituto Superior Técnico
Jury member: António Manuel Pacheco Pires, Instituto Superior Técnico

Doutoramento em Estatística e Processos Estocásticos

Wednesday, 15 January 2020, 15h 00m, Anfiteatro Pa3

Ana Patrícia Subtil da Graça Freitas Garcia
Latent Class Models in the Evaluation of Biomedical Diagnostic Tests and Internet Traffic Anomaly Detection.
Adviser: Maria do Rosário de Oliveira Silva, Instituto Superior Técnico
Arguer: Maria da Conceição Esperança Amado, Instituto Superior Técnico
Arguer: José Manuel Gonçalves Dias, ISCTE-IUL
Jury member: Joaquim José Coutinho Ferreira, Faculdade de Medicina da Universidade de Lisboa
Jury member: Paulo Jorge Salvador Serra Ferreira, Universidade de Aveiro

Doutoramento em Matemática

Monday, 28 October 2019, 15h 00m, Anfiteatro Pa3

Nguyen Bin
Surfaces of General Type with non-biratonial Canonical Map.
Adviser: Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes, Instituto Superior Técnico
Arguer: Rita Pardini, Università di Pisa, Italia
Arguer: Carlos Manuel dos Santos Gonçalves Rito, Centro de Matemática da Universidade do Porto
Jury member: Carlos Armindo Arango Florentino, Faculdade de Ciências da Universidade de Lisboa
Jury member: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico

Monday, 21 October 2019, 15h 00m, Anfiteatro Pa3

Davide Polini
Classifying and Counting $N=2$ BPS Black Holes in an STU Model.
Adviser: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico
Arguer: Sameer Murthy, King’s College London, UK
Arguer: Thomas Mohaupt, University of Liver
Jury member: Miguel Tierz, Faculdade de Ciências da Universidade de Lisboa
Jury member: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico

Wednesday, 24 July 2019, 15h 00m, Anfiteatro Pa3

Hillal Mohammed Hillal Elshehabey
Mathematical Modeling and Numerical Simulation of an Anaerobic Digester.
Adviser: Ana Leonor Mestre Vicente Silvestre, Instituto Superior Técnico
Arguer: Adérito Luís Martins Araújo, Universidade de Coimbra
Arguer: Jorge Filipe Duarte Tiago, Instituto Superior Técnico
Jury member: Marília da Conceição Valente Oliveira Pires, Universidade de Évora
Jury member: Adélia da Costa Sequeira dos Ramos Silva, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Segurança de Informação

Wednesday, 5 December 2018, 15h 00m, Anfiteatro Pa3

Walter Priesnitz Filho
Privacy-Preserving Attribute Aggregation in eID Federations .
Adviser: Carlos Nuno da Cruz Ribeiro, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Herbert Leitold , Head of Technology and E-Government, A-SIT, Secure Information Technology Center
Arguer: Manuel Eduardo Carvalho Duarte Correia, Faculdade de Ciências da Universidade do Porto
Jury member: André Ferreira Ferrão Couto e Vasconcelos, Departamento de Informática do IST, Universidade de Lisboa
Jury member: André Ventura da Cruz Marnoto Zúquete, Departamento de Electrónica telecomunicações e informática, Universidade de Aveiro
Jury member: Fernando Mira da Silva, Departamento de Engenharia Electrotécnica e Computadores do Instituto Superior Técnico, Universidade de Lisboa.

Doutoramento em Estatística e Processos Estocásticos

Tuesday, 4 December 2018, 14h 30m, Anfiteatro Pa3

Anna Carolina Nametala Finamore do Couto
Academic Intelligence in Higher Education Institutions.
Adviser: António Manuel Pacheco Pires, Instituto Superior Técnico
Co-adviser: Ana Isabel Baptista Moura Santos, Instituto Superior Técnico
Arguer: Maria Manuela Souto de Miranda, Universidade de Aveiro
Arguer: Maria da Conceição Esperança Amado, Instituto Superior Técnico
Jury member: Fernando Albuquerque Costa, Instituto de Educação da Universidade de Lisboa
Jury member: Bernardo Pereira Nunes, Pontifícia Universidade Católica do Rio de Janeiro, Brasil

Doutoramento em Segurança de Informação

Tuesday, 13 November 2018, 14h 30m, Anfiteatro Pa3

Guilherme Henrique Caçador Ramos
Improving Information Security in Ranking Recomender and Control Systems.
Adviser: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico
Arguer: Alípio Mário Guedes Jorge, Faculdade de Ciências da Universidade do Porto
Arguer: André Nuno Carvalho Souto, Faculdade de Ciências, Universidade de Lisboa

Doutoramento em Matemática

Friday, 2 November 2018, 14h 30m, Anfiteatro Pa3

Pedro Fontoura Correia de Oliveira
Cosmic No-Hair for Spherically Symmetric Black Hole Spacetimes.
Adviser: José António Maciel Natário, Departamento de Matemática, IST
Co-adviser: João Lopes Costa, ISCTE, Instituto Universitário de Lisboa
Arguer: Pedro Alves Martins da Silva Girão, Departamento de Matemática, IST
Arguer: Irene Vitória Ribeiro Brito, Departamento de Matemática e Aplicações da Universidade do Minho
Jury member: Philippe G. LeFloch, Laboratoire Jacques-Louis Lions & Centre National de la Recherche Scientifique, Université Pierre et Marie Curie, Paris, France

Doutoramento em Segurança de Informação

Tuesday, 11 September 2018, 14h 30m, Anfiteatro Pa1

Filipe Manuel Rodrigues Casal
Combining Satisfiability Procedures and Probabilistic Satisfiability.
Adviser: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, IST
Arguer: Luca Viganò, King's College London, United Kingdom
Arguer: Manuel António Gonçalves Martins, Universidade de Aveiro
Jury member: Jaime Arsénio de Brito Ramos, Departamento de Matemática, IST

Doutoramento em Matemática

Monday, 25 June 2018, 14h 00m, Anfiteatro Pa3

Juan Pablo Quijano Lotero
Sheaves and functoriality of groupoid quantales.
Adviser: Pedro Manuel Agostinho Resende, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Markus Verus Lawson, Heriot-Watt University, UK
Arguer: Chris Heunen, University of Edinburgh, UK
Jury member: João Paulo Neves Monteiro dos Santos, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Miguel Tribolet de Abreu, Instituto Superior Técnico, Universidade de Lisboa

Monday, 28 May 2018, 14h 30m, Anfiteatro Pa3

Carlos Miguel Santos Oliveira
Stochastic optimization and decisions made under uncertainty.
Adviser: Cláudia Rita Ribeiro Coelho Nunes Philippart, Departamento de Matemática, IST
Arguer: José Carlos Gonçalves Dias, ISCTE-Instituto Universitário de Lisboa
Arguer: João Miguel Espiguinha Guerra, ISEG - Instituto Superior de Economia e Gestão da Universidade de Lisboa
Jury member: João Pedro Vidal Nunes, Departamento de Finanças, do ISCTE-Instituto Universitário de Lisboa
Jury member: Ana Patrícia Carvalho Gonçalves , Departamento de Matemática, IST

Monday, 30 April 2018, 14h 00m, Anfiteatro Pa3

Jaime Augusto Delgado Mancelos Silva
Mixed Hodge Structures of Character Varieties.
Adviser: Carlos Armindo Arango Florentino, Faculdade de Ciências, Universidade de Lisboa
Arguer: Vicente Muñoz Vélazquez, Facultad de Ciencias Matemáticas, Universidade Complutense de Madrid, Espanha
Arguer: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto
Jury member: Margarida Maria Nunes da Silva Rendeiro Marques Mendes Lopes, Instituto Superior Técnico

Doutoramento em Estatística e Processos Estocásticos

Tuesday, 24 April 2018, 14h 30m, Anfiteatro Pa3

Rita Duarte Pimentel
Processes with jumps in finance.
Adviser: Cláudia Rita Ribeiro Coelho Nunes Philippart, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Peter Kort, Tilburg University
Arguer: José Carlos Gonçalves Dias, ISCTE, Instituto Universitário de Lisboa
Jury member: João Pedro Vidal Nunes, ISCTE, Instituto Universitário de Lisboa
Jury member: António Manuel Pacheco Pires, Instituto Superior Técnico, Universidade de Lisboa
Jury member: Manuel Gonzalez Scotto, Instituto Superior Técnico, Universidade de Lisboa

Monday, 8 January 2018, 14h 15m, Anfiteatro Pa3

Francisco Santos Paredes Quartin de Macedo
Low-Rank Tensor Methods for Large Markov Chains and Forward Feature Selection Methods.
Adviser: António Manuel Pacheco Pires, Instituto Superior Técnico
Arguer: Paula Manuela Lemos Pereira Milheiro de Oliveira, Faculdade de Engenharia da Universidade do Porto
Arguer: Nelson Gomes Rodrigues Antunes, Faculdade de Ciências e Tecnologia do Algarve
Jury member: Carlos José Santos Alves, Departamento de Matemática, IST
Jury member: Maria do Rosário de Oliveira Silva, Departamento de Matemática, IST

Wednesday, 27 September 2017, 14h 30m, Anfiteatro Pa3

Teresa Maria Fazenda Risso
Confidence Intervals by the Minimum Distance Method.
Adviser: Maria da Conceição Esperança Amado, Departamento de Matemática, IST
Arguer: Maria Manuela Souto de Miranda, Universidade de Aveiro
Arguer: Vanda Marisa da Rosa Milheiro Lourenço, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: António Manuel Pacheco Pires, Departamento de Matemática, IST
Jury member: Maria do Rosário de Oliveira Silva, Departamento de Matemática, IST

Doutoramento em Segurança de Informação

Friday, 31 March 2017, 14h 00m, Anfiteatro Pa3

Ricardo Simões do Canto Loura
Quantum Measures, Noise and Measurement Errors in a Quantum Bit Commitment Protocol.
Adviser: Paulo Alexandre Carreira Mateus, Departamento de Matemática, IST
Arguer: Mikhail Vasilevskiy, Universidade do Minho
Arguer: Anthony Leverrier, INRIA Paris
Jury member: João Filipe Quintas dos Santos Rasga, Departamento de Matemática, IST
Jury member: Pedro Miguel dos Santos Alves Madeira Adão, Departamento de Engenharia Informática, IST

Doutoramento em Matemática

Monday, 27 March 2017, 10h 00m, Anfiteatro Pa3

Andreia Filipa Torcato Mordido
A probabilistic logic over equations and domain restrictions.
Adviser: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico, Universidade de Lisboa
Arguer: Luca Viganó, King's College, London, United Kingdom
Arguer: Marcelo Finger, Instituto de Matemática e Estatística da Universidade de São Paulo
Jury member: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Engenharia Computacional

Friday, 20 January 2017, 13h 30m, 4.41 (2º Piso do Pavilhão de Civil)

Ana Raquel Jantarada João
Medical Image Processing For Computational Hemodynamic Simulations: Reliability for Subject-Specific Studies.
Adviser: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Co-adviser: Alberto Gambaruto, University of Bristol, UK
Arguer: Sílvia Alexandra Alves Barreiro, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Arguer: Telma Margarida Cotovio Guerra Santos, Instituto Politécnico do Setúbal
Jury member: Carlos Alberto Mota Soares, Departamento de Mecânica, IST
Jury member: Patrícia Margarida Piedade Figueiredo, Departamento de Bioengenharia, IST

Doutoramento em Matemática

Monday, 21 November 2016, 15h 15m, Anfiteatro Pa3

Sinan Eden
The Homotopy Lie Algebra of Symplectomorphism Groups of 3-Fold Blow-Ups of $(S^2\times S^2, \sigma_{\operatorname{std}}\oplus \sigma_{\operatorname{std}})$.
Adviser: Sílvia Nogueira da Rocha Ravasco dos Anjos, Departamento de Matemática, IST
Arguer: Jaroslaw Kedra, University of Aberdeen
Arguer: Martin Pinsonnault, The University of Western Ontario
Jury member: Miguel Tribolet de Abreu, Departamento de Matemática, IST

Tuesday, 4 October 2016, 14h 15m, Sala 4.41 - 2º Piso Pavilhão de Civil do IST

Telma Andrade Freire da Silva
Mathematical Modeling of the Atherosclerosis Physiopathology.
Adviser: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Arguer: Willi Jäger, University of Heidelberg, Germany
Arguer: Marília da Conceição Valente Oliveira Pires, Universidade de Évora
Jury member: Ana Leonor Mestre Vicente Silvestre, Departamento de Matemática, IST

Doutoramento em Segurança de Informação

Thursday, 29 September 2016, 14h 30m, 3.10 - 3º piso

David João Barros Henriques
Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems: Exact And Approximate Procedures With Applications.
Adviser: Paulo Alexandre Carreira Mateus, Departamento de Matemática, IST
Arguer: Paolo Zulianil, Newcastle University, UK
Arguer: José Nuno Oliveira, Universidade do Minho
Jury member: Maria Cristina Sales Viana Serôdio Sernadas, Departamento de Matemática, IST
Jury member: José Félix Gomes da Costa, Departamento de Matemática, IST

Friday, 13 May 2016, 14h 00m, Anfiteatro Pa3

Manuel Biscaia Martins
Interplay between probabilistic and temporal reasoning: applications to the analysis and synthesis of complex systems.
Adviser: Paulo Alexandre Carreira Mateus, Instituto Superior Técnico, Universidade de Lisboa
Arguer: James Worrell, University of Oxford
Jury member: Luís Soares Barbosa, Universidade do Minho
Jury member: Carlos Manuel Costa Lourenço Caleiro, Instituto Superior Técnico, Universidade de Lisboa

Doutoramento em Matemática

Monday, 27 July 2015, 15h 00m, Anfiteatro Pa3

Muna Khaled Khaleel Abu Alhalawa
Flip Bifurcations for $P$-Periodic Maps.
Adviser: Henrique Manuel Santos Silveira de Oliveira, Departamento de Matemática, IST
Arguer: Alberto Adrego Pinto, Faculdade de Ciências da Universidade do Porto
Arguer: Luís Manuel Ferreira da Silva, IPL ISEL
Jury member: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Jury member: Nuno Miguel Matos Ramos Martins, Departamento de Matemática, IST

Thursday, 23 July 2015, 15h 00m, Anfiteatro Pa1

Sonia Seyed Allaei
The Numerical Solutions of Volterra Integral Equations of the Second and Third Kind.
Adviser: Maria Teresa Romãozinho Marques Diogo, Departamento de Matemática, IST
Arguer: Carlos José Santos Alves, Departamento de Matemática, IST
Arguer: Maria Luísa Ribeiro dos Santos Morgado, Universidade de Trás-os-Montes e Alto Douro
Jury member: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Jury member: Magda Stela de Jesus Rebelo, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Doutoramento em Estatística e Processos Estocásticos

Monday, 20 July 2015, 15h 00m, Anfiteatro Pa3

Eunice Isabel Ganhão Carrasquinha Trigueirão
Principal Component Analysis and Circulant Matrices.
Adviser: Maria da Conceição Esperança Amado, Departamento de Matemática, IST
Arguer: António Pedro de Pinho de Brito Duarte Silva, Faculdade de Economia e Gestão da Universidade Católica Portuguesa
Arguer: Maria Manuela Souto de Miranda, Universidade de Aveiro
Jury member: António Manuel Pacheco Pires, Departamento de Matemática, IST
Jury member: Lina Maria Mateus de Oliveira, Departamento de Matemática, IST

Doutoramento em Matemática

Wednesday, 22 April 2015, 13h 30m, Anfiteatro Pa3

Aleksandra Marinkovic
Displaceability and Fillability on Toric Symplectic and Contact Manifolds.
Adviser: Miguel Tribolet de Abreu, Instituto Superior Técnico
Arguer: Klaus Niederkrueger, Institut de Mathématiques de Toulouse, Université Paul Sabatier, France
Arguer: Sheila Sandon, Institut de Recherche Mathématique Avancée, Université de Strasbourg
Jury member: Sílvia Nogueira da Rocha Ravasco dos Anjos, Instituto Superior Técnico

Monday, 30 March 2015, 15h 00m, Anfiteatro Pa3

Dinh Thang Giang
Method of Orienting Curves for some 2D and 3D Geodesic Problems in Computational Geometry.
Adviser: Phan Thanh An, Centro de Matemática e Aplicações do IST
Arguer: António Ismael Freitas Vaz, Universidade do Minho
Arguer: Carlos José Santos Alves, Instituto Superior Técnico
Jury member: Juan Acebrón, Departamento de Ciências e Tecnologia da Informação do ISCTE-IUL

Monday, 24 November 2014, 16h 00m, Anfiteatro Pa3

Le Hong Trang
Optimization Approaches for Constrained Geometric Shortest Path and Convex Hull Problems.
Adviser: Phan Thanh An, Centro de Matemática e Aplicações, Instituto Superior Técnico
Co-adviser: Moritz Diehl, University of Freiburg
Arguer: Carlos José Santos Alves, Instituto Superior Técnico
Arguer: Sinai Robins, Brown University
Jury member: António Manuel Pacheco Pires, Instituto Superior Técnico
Jury member: Maria Teresa Romãozinho Marques Diogo, Instituto Superior Técnico

Friday, 31 October 2014, 09h 30m, Anfiteatro Pa3

Bruno Miguel Almeida Martins Pereira
Analysis and Simulation of Stability and Wave Trapping Conditions in Stratified Fluids.
Adviser: Juha Hans Videman, Departamento de Matemática, Instituto Superior Técnico
Co-adviser: Aires José Pinto dos Santos, Departamento de Engenharia Mecânica, Instituto Superior Técnico
Arguer: Fernando Manuel Pestana da Costa, Universidade Aberta
Arguer: Gabriel Esperança Pires, Departamento de Matemática, Instituto Superior Técnico
Jury member: José Miguel Dordio Martinho de Almeida Urbano, Faculdade de Ciências e Tecnologia, Universidade de Coimbra
Jury member: João Maria da Cruz Teixeira Pinto, Departamento de Matemática, Instituto Superior Técnico

Tuesday, 22 July 2014, 16h 00m, Anfiteatro Pa3

Filipe Santiago Cal
Wave Interaction with Fixed and Floating Structures in a Two-Layer Fluid.
Adviser: Juha Hans Videman, Departamento de Matemática, IST
Arguer: José Augusto Mendes Ferreira, Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Arguer: Ana Leonor Mestre Vicente Silvestre, Departamento de Matemática, IST
Jury member: Luís Camilo do Canto de Loura, Aposentado do Instituto Superior de Engenharia de Lisboa

Thursday, 17 July 2014, 14h 00m, EPFL, Lausanne, Switzerland

Paolo Tricerri
Mathematical and Numerical Modeling of Healthy and Unhealthy Cerebral Arterial Tissues.
Adviser: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST
Co-adviser: Alfio Quarteroni, École Polytechnique Fédérale de Lausanne, Politecnico di Milano
Arguer: Davide Ambrosi, Politecnico di Milano
Arguer: Marco Picasso, École Polytechnique Fédérale de Lausanne
Jury member: Kathrin Hess Bellwalld, École Polytechnique Fédérale de Lausanne
Jury member: Anne M. Robertson, Pittsburgh University

Doutoramento em Estatística e Processos Estocásticos

Friday, 16 May 2014, 11h 00m, Anfiteatro Pa3

Cláudia Margarida Lopes Pascoal
Contributions to Variable Selection and Robust Anomaly Detection in Telecommunications.
Adviser: Maria do Rosário de Oliveira Silva, Instituto Superior Técnico
Arguer: Peter Filzmoser, Vienna University of Techmology, Austria
Arguer: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Instituto Superior Técnico
Jury member: Rui Jorge Morais Tomaz Valadas, Instituto Superior Técnico
Jury member: Maria Paula de Pinho de Brito Duarte Silva, Faculdade de Economia da Universidade do Porto

Doutoramento em Matemática

Thursday, 8 May 2014, 16h 00m, Anfiteatro Pa1

Juliana Fernandes da Silva Pimentel
Asymptotic Behavior of Slowly Non-Dissipative Systems.
Adviser: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Arguer: Hildebrando Munhoz Rodrigues, Universidade de São Paulo
Arguer: Isabel Salgado Labouriau, Faculdade de Ciências da Universidade do Porto
Jury member: Gabriel Czerwionka Lopes Cardoso, Departamento de Matemática, IST
Jury member: Fernando Manuel Pestana da Costa, Universidade Aberta
Jury member: João Maria da Cruz Teixeira Pinto, Departamento de Matemática, IST

Monday, 27 January 2014, 17h 30m, IST-EPFL Joint Doctoral Initiative, Lausanne, EPFL, Auditoire MA11

Simone Rossi
Anisotropic Modeling of Cardiac Mechanical Activation.
Adviser: Adélia Sequeira, Instituto Superior Técnico
Co-adviser: Alfio Quarteroni, École Polytechnique Fédérale de Lausanne, Politecnico de Milano

Friday, 20 December 2013, 15h 00m, Anfiteatro Pa2

Edgard Almeida Pimentel
Time Dependent Mean-Field Games.
Adviser: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Departamento de Matemática, IST
Arguer: José Maria Nunes de Almeida Gonçalves Gomes, Faculdade de Ciências e Tecnologia da Universidade de Lisboa
Arguer: Dmitry Alexandrovich Vorotnikov , Centro de Matemática da Universidade de Coimbra
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Jury member: Pedro Alves Martins da Silva Girão, Departamento de Matemática, IST

Doutoramento em Estatística e Processos Estocásticos

Thursday, 25 July 2013, 15h 00m, Anfiteatro Pa3

Ana Cristina dos Santos Freitas Barqueira
Testes de Hipóteses para Comparação de Probabilidades de Recombinação .
Adviser: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, IST
Arguer: Lisete Maria Ribeiro de Sousa, Faculdade de Ciências da Universidade de Lisboa
Arguer: Maria da Conceição Esperança Amado, Departamento de Matemática, IST
Jury member: António Manuel Pacheco Pires, Departamento de Matemática, IST
Jury member: Ana Luísa Trigoso Papoila da Silva, Departamento de Biosestatística e Informática da Faculdade de Ciências Médica da Universidade Nova de Lisboa
Jury member: Carina Soares da Silva Fortes , Escola Superior de Tecnologia da Saúde de Lisboa do Instituto Politécnico de Lisboa

Wednesday, 3 July 2013, 15h 00m, Anfiteatro Pa3

Patrícia Alexandra de Azevedo Carvalho Ferreira e Pereira Ramos
Performance Analysis of Simultaneous Control Schemes for the Process Mean (Vector) and (CO) Variance (MATRIX).
Adviser: Manuel João Cabral Morais, Instituto Superior Técnico
Co-adviser: António Manuel Pacheco Pires, IST
Arguer: Sven Knoth, Helmut Schmidt University
Arguer: Fernanda Otília de Sousa Figueiredo , Faculdade de Economia da Universidade do Porto
Jury member: Maria Eduarda da Rocha Pinto Augusto da Silva, Faculdade de Economia da Universidade do Porto
Jury member: Maria de Rosário de Oliveira Silva, Departamento de Matemática, IST

Doutoramento em Matemática

Monday, 13 May 2013, 15h 00m, Anfiteatro Pa3

Diego Marcon Farias
Weak Kam and Aubry-Mather Theories in an Optimal Switching Setting.
Adviser: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Co-adviser: Alessio Figalli, University of Texas, USA
Arguer: Diogo Martins de Almeida de Araújo Pinheiro , Instituto Superior de Economia e Gestão, UTL
Arguer: António Manuel Atalaia Carvalheiro Serra, Departamento de Matemática, IST
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Jury member: Filippo Cagnetti, University od Sussex, UK

Monday, 13 May 2013, 10h 00m, Anfiteatro Pa3

Vardan Voskanyan
Extended mean field games.
Adviser: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Arguer: Alessio Figalli, University of Texas, USA
Arguer: Filipp Cagnetti, University od Sussex, UK
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Jury member: António Manuel Atalaia Carvalheiro Serra, Departamento de Matemática, IST

Wednesday, 27 March 2013, 14h 00m, Anfiteatro Pa3

Marcin Szamotulski
Galois Theory for \(H\)-Extensions.
Adviser: Roger Francis Picken, Instituto Superior Técnico da Universidade Técnica de Lisboa
Co-adviser: Christian Edgar Lomp, Faculdade de Ciências da Universidade do Porto
Arguer: Paulo Jorge da Rocha Pinto, Instituto Superior Técnico da Universidade Técnica de Lisboa
Arguer: Lars David Kadison, Faculdade de Ciências da Universidade do Porto

Wednesday, 13 March 2013, 15h 00m, Anfiteatro Pa3

Jing Mao
Eigenvalue Estimation and Some Results of Finite Topological Type.
Adviser: Isabel Maria da Costa Salavessa, Instituto Superior Técnico
Co-adviser: Pedro Simões Cristina de Freitas, Faculdade de Motricidade Humana da Universidade Técnica de Lisboa
Arguer: Miguel Tribolet de Abreu, Instituto Superior Técnico
Arguer: Alexandre Girouard, Université de Savoie, France
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Professora Catedrática do Departamento de Matemática, IST
Jury member: Rui Pedro Lima Pinto Ribeiro de Alburquerque, Professor Auxiliar da Universidade de Évora

Thursday, 20 December 2012, 14h 30m, Anfiteatro Pa3

Maria João Costa de Almeida Quintão Pereira Braga
Towards a Classification of \(T^2\)-Actions on Contact \(5\)-Manifolds.
Adviser: Miguel Tribolet de Abreu, Instituto Superior Técnico
Co-adviser: Leonor Pires Marques de Oliveira Godinho, Instituto Superior Técnico
Arguer: Sheila Sandon, Université de Nantes, França
Arguer: David Francisco Martinez Torres, Departamento de Matemática do Instituto Superior Técnico, UTL
Jury member: Silvia Sabatini, École Polytechnique Fédérale de Lausanne, Suiça

Friday, 14 December 2012, 15h 00m, Anfiteatro Pa2

Hassan Najafi Alishah
KAM Theory, Presymplectic Dynamics and Lie Algebroids.
Adviser: Rui António Loja Fernandes, Instituto Superior Técnico
Arguer: Nguyen Tien Zung, Institut de Mathématiques de Toulouse, France
Arguer: José António Maciel Natário, Departamento de Matemática do Instituto Superior Técnico, UTL
Jury member: Rafael de la Llave, School of Mathematiques, Georgia Institute of Technology, USA
Jury member: Diogo Luís de Castro Vasconcelos de Aguiar Gomes , Departamento de Matemática do Instituto Superior Técnico, UTL
Jury member: Joana Margarida Mavigné Andrade Alves de Sousa Nunes da Costa, Faculdade de Ciências e Tecnologia da Universidade de Coimbra

Wednesday, 18 July 2012, 15h 30m, PA-3 Edifício de Matemática

Maria Filomena Alves Teodoro
Computational Methods for Functional Differential Equations with Deviating Arguments.
Adviser: Pedro Miguel Rita da Trindade Lima, Departamento de Matemática, IST, UTL
Arguer: Rafael Brigham Neves Ferreira Santos, Faculdade de Ciência e Tecnologia da Universidade do Algarve
Arguer: Maria de Fátima Fabião Ribeiro, Instituto Superior de Economia e Gstão, da Universidade Técnica de Lisboa
Jury member: Neville John Ford, Universidade de Chester, UK
Jury member: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, IST, UTL
Jury member: Maria Teresa Romãozinho Marques Diogo, Departamento de Matemática, IST, UTL

Monday, 16 July 2012, 10h 00m, Anfiteatro Pa1

Davor Dragicevic
Stability of Nonuniformly Hyperbolic Dynamics and Lyapunov Functions.
Adviser: Cláudia Valls Anglés, Instituto Superior Técnico
Arguer: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico
Arguer: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Jury member: Luís Fernando Sanchez Rodrigues, Faculdade de Ciências da Universidade de Lisboa
Jury member: Luís Manuel Gonçalves Barreira, Departamento de Matemática, Instituto Superior Técnico

Friday, 27 April 2012, 14h 30m, Anfiteatro do Complexo Interdisciplinar

Karina Girardi Roggia
Fusion of General Modal Logics Labelled with Truth Values.
Adviser: Maria Cristina Sales Viana Serôdio Sernadas, Departamento de Matemática do Instituto Superior Técnico
Arguer: Doutor Luca Viganò, Departamento de Informática Università di Verona, Italy
Arguer: José Manuel Cunha Leal Molarinho Carmo, Departamento de Matemática e Engenharias da Universidade da Madeira
Jury member: Carlos Manuel Costa Lourenço Caleiro, Departamento de Matemática do Instituto Superior Técnico
Jury member: João Filipe Quintas dos Santos Rasga, Departamento de Matemática do Instituto Superior Técnico

Monday, 16 April 2012, 15h 00m, Anfiteatro Pa3

Levon Robert Nurbekian
Weak KAM Theory on the \(D\)-Infinite Dimensional Torus.
Adviser: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Arguer: Enrico Valdinoci, Università Degli Studi di Milano
Arguer: José Miguel Dordio Martinho de Almeida Urbano, Universidade de Coimbra
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática do Instituto Superior Técnico
Jury member: Pedro Alves Martins da Silva Girão, Departamento de Matemática do Instituto Superior Técnico

Doutoramento em Estatística e Processos Estocásticos

Wednesday, 21 December 2011, 14h 30m, PA-1 (Pavilhão de Matemática)

Vanda Marisa da Rosa Milheiro Lourenço
Robust Linear Regression methods with Application to Genetic Association Studies of Quantitative Traits.
Adviser: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, IST
Co-adviser: Matias Kirst, University of Florida, USA
Arguer: João António Branco, Departamento de Matemática, IST
Arguer: Maria Manuela Souto de Miranda, Universidade de Aveiro
Jury member: Maria Manuela Costa Neves Figueiredo, Instituto Superior de Agronomia
Jury member: António Manuel Pacheco Pires, , Departamento de Matemática, IST
Jury member: Ana Teresa Correia de Freitas, Departamento de Engenharia de Informática,IST

Doutoramento em Matemática

Monday, 5 September 2011, 14h 30m, Anfiteatro Pa3

Juan Pablo Roggiero Ayala
Lie Algebroids Over Quotient Spaces.
Adviser: Rui António Loja Fernandes, Instituto Superior Técnico da Universidade Técnica de Lisboa
Arguer: Juan Carlos Marrero González, Universidade de la Laguna, Espanha
Arguer: Eduardo Martínez Fernández , Universidade de Zaragoza, Espanha
Jury member: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Jury member: David Martinez-Torres , Departamento de Matemática do Instituto Superior Técnico, da Universidade Técnica de Lisboa

Friday, 24 June 2011, 12h 30m, Anfiteatro Pa3

Pedro Walmsley Frejlich
\(h\)-Principles Around Poisson Geometry.
Adviser: Rui António Loja Fernandes, Instituto Superior Técnico
Arguer: Camille Laurent-Gengoux, Université de Poitiers,France
Arguer: David Martinez-Torres, Instituto Superior Técnico
Jury member: Marius Crainic, Mathematical Institute , Utrecht University,The Netherlands
Jury member: Diogo Luís de Castro Vasconcelos de Aguiar Gomes, Departamento de Matemática do Instituto Superior Técnico

Monday, 28 February 2011, 14h 00m, PA-3

Gonçalo João Costa Jacinto
Modeling and Performance Evaluation of Mobile and ad hoc networks.
Adviser: António Manuel Pacheco Pires, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Arguer: Christine Fricker, INRIA Rocquencourt,França
Arguer: Rui Jorge Morais Tomaz Valadas, Departamento de Engenharia Electrotécnica e Computadores do Instituto Superior Técnico da Universidade Técnica de Lisboa
Jury member: Luísa da Conceição dos Santos do Canto e Castro de Loura, Faculdade de Ciências da Universidade de Lisboa
Jury member: Nelson Gomes Rodrigues Antunes, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Jury member: Cláudia Rita Ribeiro Coelho Nunes Philippart, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa

Friday, 17 December 2010, 10h 00m, PA-3 Edifício de Matemática

Maxime Emile Gamboni
Statically Proving Behavioural Properties in the \(\pi\)-calculus via Dependency Analysis.
Adviser: António Maria Lobo César Alarcão Ravara, Faculdade de Ciências e Tecnologia, da Universidade Nova de Lisboa
Co-adviser: Carlos Manuel Costa Lourenço Caleiro, Departamento de Matemática do IST, UTL
Arguer: Uwe Nestamann , Technishe Universität Berlin, Germany
Arguer: Luis Manuel Marques da Costa Caires, Departamento de Informática, Faculdade de Ciências e Tecnologia, da Universidade Nova de Lisboa
Jury member: Amílcar dos Santos Costa Sernadas, Departamento de Matemática do IST, UTL
Jury member: Paulo Alexandre Carreira Mateus, Departamento de Matemática do IST, UTL
Jury member: Jaime Arsénio de Brito Ramos, Departamento de Matemática do IST, UTL

Thursday, 9 December 2010, 15h 00m, 3.10 Pavilhão de Matemática

Pedro Alexandre Cardoso Baltazar
Probabilization of Logic Systems.
Adviser: Paulo Alexandre Carreira Mateus, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Co-adviser: Maria Cristina Sales Viana Serôdio Sernadas, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa
Arguer: José Luiz Fiadeiro, University of Leicester, UK
Arguer: Simon John Gay, University of Glasgow, UK
Jury member: João Filipe Quintas dos Santos Rasga, Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa

Tuesday, 27 July 2010, 10h 00m, PA-3 Edifício de Matemática

Magda Stela de Jesus Rebelo
Analytical and Numerical Methods for Nonlinear Volterra Integral Equations with Weakly Singular Kernel.
Adviser: Maria Teresa Romãozinho Marques Diogo,, Departamento de Matemática do IST, UTL
Co-adviser: Pedro Miguel Rita da Trindade e Lima, Departamento de Matemática, IST, UTL
Arguer: José Alberto Cuminato, epartamento de Matemática Aplicada e Estatística, do ICMC, São Carlos, Universidade de São Paulo, Brasil
Arguer: Maria Filomena Guimarães Dias d' Almeida, Departamento de Engenharia Mecânica, Secção de Matemática, FEUP, Universidade do Porto
Jury member: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Departamento de Matemática do IST, UTL
Jury member: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática do IST, UTL

Wednesday, 23 December 2009, 10h 00m, PA-3 Edifício da Matemática

Thomas Baier
Geometric Quantization and Degenerations of Complex Strucutres for Two Families of Compact Manifolds.
Adviser: João Pimentel Nunes, Instituto Superior Técnico
Arguer: Ugo Bruzzo, SISSA - International School for Advanced Studies, Italy
Arguer: José Cidade Mourão, Instituto Superior Técnico
Jury member: Rui António Loja Fernandes, Departamento de Matemática, Instituto Superior Técnico
Jury member: Marco Ariën Mackaaij, Faculdade de Ciências e Tecnologia, Universidade do Algarve
Jury member: Miguel Tribolet de Abreu, Departamento de Matemática, Instituto Superior Técnico

Friday, 4 December 2009, 14h 00m, Anfiteatro Pa3

Sheila Sandon
Contact Homology, Capacity and Non-Squeezing in \( \mathbb{R}^{2n}\times S^1\) via Generating Functions.
Adviser: Miguel Tribolet de Abreu, Instituto Superior Técnico
Jury member: Lisa Traynor, Department of MathematicsBryn Mawr College , USA
Jury member: Francisco Presas Mata, Departamento de ÁlgebraFacultad de Matemáticas da Universidad Complutense de Madrid
Jury member: David Martinez Torres, Departamento de Matemática, Instituto Superior Técnico
Jury member: Sílvia Nogueira da Rocha Ravasco dos Anjos, Departamento de Matemática, Instituto Superior Técnico

Tuesday, 14 July 2009, 14h 30m, Anfiteatro PA-3 Edifício de Matemática

Euclides Augusto Luís
Mathematical and Computational Modelling of Instabilities in Deep-Water Island Wakes.
Adviser: Juha Hans Videman, Departamento de Matemática, I.S.T.
Jury member: José Miguel Dordio Martinho de Almeida Urbano , Departamento de Matemática, Universidade de Coimbra
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Jury member: Pablo Sangrà Inciarte , Departamento de Física, Universidad de Las Palmas de Gran Canária
Jury member: Adélia da Costa Sequeira dos Ramos Silva , Departamento de Matemática, I.S.T.
Jury member: Aires José Pinto dos Santos , Departamento de Engenharia Mecânica, IST
Jury member: Didier Bresch , Recherche au CNRS/Université de Savoie, Chambery, França

Friday, 12 December 2008, 11h 00m, Anfiteatro PA-3 Edifício de Matemática

Pedro Ricardo Simão Antunes
The Method of Fundamental Solutions Applied to Eigenproblems .
Adviser: Carlos José dos Santos Alves, Departamento de Matemática, I.S.T.
Arguer: Tuong Ha Duong, Laboratório de Matemmática Aplicada de Compiègne da Universidade Tecnológica de Compiègne,França
Arguer: Pedro Simões Cristina de Freitas, Núcleo de Métodos Matemáticos da faculdade de Motricidade Humana da U.T.L.
Jury member: Maria Filomena Guimarães Dias de d'Almeida, Departamento de Engenharia Mecânica e Gastão da Faculdade de Engenharia da Universidade do Porto
Jury member: Vítor Manuel Azevedo Leitão , Departamento de Engenharia Cívil e Arquitectura do I.S.T.
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Jury member: Adélia da Costa Sequeira dos Ramos Silva, Departamento de Matemática, I.S.T.

Thursday, 11 December 2008, 10h 30m, Anfiteatro PA-3 Edifício de Matemática

João Paulo Vicente Janela
Mathematical and Numerical Modelling in Hemodynamics and Hemorheology .
Adviser: Adélia Sequeira dos Ramos Silva, Departamento de Matemática, I.S.T
Arguer: Antonio Fasano, Departamento de Matemática da da Universidade de Florença,Itália
Arguer: Anne Marie Robertson, Departamento de Engª Mecânica e Ciência dos Materiais da Faculdade de Engª da Universidade de Pittsburgh, U.S.A.
Jury member: José Carlos Fernandes Pereira, Departamento de Engª Mecânica, I.S.T.
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Jury member: Juha Videman, Departamento de Matemática, I.S.T.

Friday, 5 December 2008, 11h 00m, PA-3 Edifício da Matemática

Svilen Stanimirov Valtchev
Numerical Analysis of Methods with Fundamental Solutions for Acoustic and Elastic Wave Propagation Problems.
Adviser: Carlos José dos Santos Alves, Departamento de Matemática, I.S.T.
Arguer: Andreas Karageorghias, Departamento de Matemática e Estatística da Universidade do Chipre
Arguer: Ana Leonor Mestre Vicente Silvestre, Departamento de Matemática, I.S.T.
Jury member: António José Barreto Tadeu, Departamento de Engenharia Civil da Faculdade de Ciências e Tecnologia da Universidade de Coimbra
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, I.S.T.
Jury member: Maria Teresa Romãozinho Marques Diogo, Departamento de Matemática, I.S.T.

Wednesday, 5 November 2008, 09h 30m, Anfiteatro do Complexo I

Misha Clarence Lewis Protin
Quantales de Grupóides Abertos.
Adviser: Pedro Manuel Resende, Departamento de Matemática, IST
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Jury member: Christopher J. Mulvey, Departamento de Matemática da Universidade de Sussex, U.K.
Jury member: Gustavo Oliveira Granja, Departamento de Matemática, IST
Jury member: Isar Celia Jeroen Emma Stubbe, Investigador do Departamento de Matemática e Ciência da Computação da Fundação de Investigação da Flandres da Universidade de Antuérpia, Bélgica

Friday, 31 October 2008, 15h 00m, Anfiteatro do Complexo I

Paulo José Fernandes Louro Ribeiro Doutor
Formalismo Termodinâmico e Análise Multifractal.
Adviser: Luís Manuel Gonçalves Barreira, Instituto Superior Técnico
Arguer: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Arguer: Cláudia Valls Anglés, Centro de Análise Matemática, Geometria e Sistemas Dinâmicos do DM, IST.
Jury member: Carlos Alberto Varelas da Rocha, Departamento de Matemática, IST
Jury member: Pedro Jorge Santos Freitas, Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa ,

Friday, 26 September 2008, 10h 00m, Sala de Reuniões do IST (Pav.Central)

Ricardo João Rodrigues Gonçalves
Behavioral Algebraization of Logics.
Adviser: Carlos Caleiro, DM, IST
Jury member: Amílcar dos Santos Costa Sernadas, DM, IST
Jury member: Maria Cristina Sales Viana Serôdio Sernadas, DM, IST
Jury member: Marcelo Esteban Coniglio, Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas da Universidade Estadual de Campinas, Brasil
Jury member: José Júlio Alferes, Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa
Jury member: Manuel António Gonçalves Martins, Departamento de Matemática da Universidade de Aveiro
Jury member: Jaime Arsénio de Brito Ramos, DM, IST

Tuesday, 18 December 2007, 14h 00m, PA-3 (Piso -1 Pav. Matemática)

Maria Helena Coelho Ribeiro
Costumer loss probabilities and other performance measures of regular and oscillating systems.
Adviser: António Pacheco Pires, Instituto Superior Técnico
Arguer: Rhonda Righter, Universidade de Berkeley, Califórnia
Arguer: Nelson Gomes Rodrigues Antunes, Faculdade de Ciências da Universidade do Algarve
Jury member: Maria Fernanda Neto Ramalhoto , Instituto Superior Técnico
Jury member: Luisa da Conceição S. Canto e Castro Loura, Faculdade de Ciências da Universidade de Lisboa
Jury member: Cláudia Rita Ribeiro Coelho Nunes Phillipart, Instituto Superior Técnico

Monday, 3 December 2007, 00h 00m, Instituto Superior Técnico, Lisboa

César Augusto Teixeira Marques da Silva
Expoentes de Lyapunov, hiperbolicidade não-uniforme e variedades invariantes estáveis.
Adviser: Luis Manuel Gonçalves Barreira, Instituto Superior Técnico
Co-adviser: Claudia Valls Angles, Instituto Superior Técnico
Arguer: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências da Universidade de Lisboa
Arguer: Luís Manuel Ferreira Silva, Universidade de Évora
Jury member: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico

Wednesday, 5 September 2007, 09h 30m, Complexo Interdisciplinar

Daniel da Silva Graça
Computability with Polynomial Differential Equations.
Adviser: Manuel Lameiras de Figueiredo Campagnolo, Instituto Superior de Agronomia, UTL.
Co-adviser: Jorge Sebastião de Lemos Carvalhão Buescu, Faculdade de Ciências de Lisboa
Arguer: Olivier Bournez, Institut National de Recherche en Informatique et en Automatique, França.
Arguer: Isabel Salgado Laboriau, Faculdade de Ciências do Porto.
Jury member: Amílcar dos Santos Costa Sernadas, Instituto Superior Técnico.
Jury member: José Félix Gomes da Costa, Instituto Superior Técnico

Tuesday, 12 June 2007, 14h 00m, PA-3 (Piso -1 Pav. Matemática)

Maria de Fátima Monteiro Ferreira
Embedding, Uniformization and Stochastic Ordering in the Analysis of Level-Crossing Times and \(GI^x/M(n)//c\) Systems.
Adviser: António Manuel Pacheco Pires, Instituto Superior Técnico
Arguer: Luísa da Conceição Canto e Castro Loura, Faculdade Ciências, Universidade de Lisboa
Arguer: Antonis Economou, Universidade de Atenas
Jury member: Nelson Gomes Rodrigues Antunes, Universidade do Algarve
Jury member: Maria Fernando Neto Ramalhoto, Instituto Superior Técnico
Jury member: Manuel João Cabral Morais, Instituto Superior Técnico
Nota: Data a ser corrigida

Thursday, 10 May 2007, 14h 30m, Anfiteatro PA-3, Pavilhão de Matemática

Vitor Diogo da Costa Saraiva
Densidades Médias, Partições de Markov e Rigidez Multifractal.
Adviser: Luis Manuel Gonçalves Barreira, Instituto Superior Técnico
Arguer: Luis Manuel Ferreira Silva, Universidade de Évora
Arguer: João Luís Gonçalves Dias Ferreira Alves, Instituto Superior Técnico.
Jury member: Carlos Alberto Varelas da Rocha, Instituto Superior Técnico
Jury member: Fernando Manuel Pestana da Costa, Universidade Aberta

Friday, 22 December 2006, 13h 30m, Sala 3.10 - DM

Sofia Marta Lima Naique
On a class of oscillatory Riemann-Hilbert problems with triangular symbols.
Adviser: António Ferreira dos Santos, I.S.T.
Arguer: Yuri Karlovich, Univ. Autonoma de Morelos, Mexico
Arguer: Luis Castro, Univ. de Aveiro
Jury member: Amélia Bastos, I.S.T.
Jury member: Cristina Câmara, I.S.T.

Friday, 22 December 2006, 10h 30m, Anfiteatro do Complexo I

Luis Ricardo Cardoso Gomes da Costa Borges
Domain Decomposition Methods for Non-Newtonian Fluids.
Adviser: Adélia Sequeira, DM-I.S.T.
Co-adviser: Nadir Arada, F.C.T. - Univ. Nova de Lisboa
Arguer: Luigi Carlo Berselli, Univ. degli Studi di Pisa, Italia
Arguer: Juha Videman, DM-I.S.T.
Jury member: Bento José Carrilho Miguens Louro, F.C.T. - Univ. Nova de Lisboa
Jury member: José Carlos Pereira, Dep. Eng. Mecânica - I.S.T.
Jury member: Pedro Lima, DM-I.S.T.

Tuesday, 12 December 2006, 15h 00m, Anfiteatro PA3

Carlos Correia Ramos
Representações, \(C^\ast\)-álgebras e transformações do intervalo.
Adviser: Nuno Miguel Matos Ramos Martins, Instituto Superior Técnico
Arguer: Yuri Karlovich, Centro de Investigación y de Estudios Avanzados, Morelos, Mexico
Arguer: Ricardo Severino, Univ. do Minho
Jury member: António Ferreira dos Santos, I.S.T.
Jury member: Maria Amélia Bastos, I.S.T.
Jury member: Paulo Rocha Pinto, I.S.T.

Tuesday, 5 December 2006, 14h 00m, Anfiteatro Complexo I

Pedro Miguel dos Santos Alves Madeira Adão
Formal methods for the analysis of security protocols.
Adviser: Paulo Mateus, I.S.T.
Co-adviser: André Scedrov, University of Pennsylvania, USA
Arguer: Luca Viganó, ETH Zurich, Switzerland
Arguer: José Manuel Esgalhado Valença, Univ. do Minho
Jury member: Amílcar Sernadas, I.S.T.
Jury member: Carlos Caleiro, I.S.T.
Jury member: Jaime Ramos, I.S.T.

Wednesday, 13 September 2006, 14h 30m, Salão Nobre - Ala Sul

Cláudio António Rainha Aires Fernandes
Álgebras C* de Operadores com deslocamentos e coeficientes oscilantes.
Adviser: Amélia Bastos, I. S. T.
Co-adviser: Yuri Karlovich, Univ. Aut. Morelos (Mexico)
Arguer: Bernd Silbermann, Univ. Chemnitz (Alemanha)
Arguer: Frank Speck, I.S.T.
Jury member: António Ferreira dos Santos, I.S.T.
Jury member: Manuel Esquível, Univ. Nova de Lisboa

Friday, 9 June 2006, 13h 30m, Sala 02.1 - Centro de Congressos (Pav. Civil)

Rui Pedro da Silva Cabrita Carpentier
Representations of tangles by operators.
Adviser: Roger Francis Picken, Instituto Superior Técnico
Arguer: Louis H. Kauffman, Univ. Illinois at Chicago (USA)
Arguer: Pedro Resende, Instituto Superior Técnico
Jury member: Ana Bela Cruzeiro, Instituto Superior Técnico
Jury member: João Nuno Tavares, FCUP (Univ. Porto)

Thursday, 20 April 2006, 10h 30m, Anfiteatro do Complexo I

Nuno Filipe de Jesus Cirilo António
Quantum Integrable Systems with Jordanian Twist.
Adviser: Nenad Manojlovic, Universidade do Algarve
Co-adviser: António Ferreira dos Santos, I.S.T.
Arguer: Petr Kulish, Steklov Institute St. Petersburg (Russia)
Arguer: Andreas Fring, City University London (UK)
Jury member: Ana Bela Cruzeiro, I.S.T.
Jury member: Rui Loja Fernandes, I.S.T.

Friday, 31 March 2006, 11h 15m, Anfiteatro Pa3

Marko Stosic
Khovanov homology of links and graphs.
Adviser: Roger Francis Picken, Instituto Superior Técnico
Arguer: Mikhail Khovanov, Columbia University, New York
Arguer: Marco Arien Mackaay, Universidade do Algarve
Jury member: Paul Turner, Heriot-Watt University, UK
Jury member: Rui Loja Fernandes, I.S.T.
Jury member: Gustavo Granja, I.S.T.

Friday, 17 February 2006, 14h 30m, Anfiteatro PA3

Maria do Carmo Carvalho Sousa da Cunha Martins
Factorização generalizada de uma classe de símbolos triangulares quase-periódicos.
Adviser: Cristina Câmara, I.S.T.
Arguer: António Ferreira dos Santos, I.S.T.
Arguer: Luis Castro, Univ. Aveiro
Jury member: Stefan Samko, Univ. Algarve
Jury member: Amarino Lebre, I.S.T.

Thursday, 2 February 2006, 15h 00m, Anfiteatro PA3

Pedro Miguel Montes Martins Matias
Geometric Quantization and the Coherent State Transform.
Adviser: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico
Arguer: Miguel Abreu, I.S.T.
Arguer: João Nuno Tavares, Universidade do Porto
Jury member: Orlando Neto, Universidade de Lisboa
Jury member: João Pimentel Nunes, I.S.T.
Jury member: Carlos Florentino, I.S.T.

Thursday, 26 January 2006, 13h 00m, Anfiteatro PA3

António Carlos dos Santos Paixão
On the algebraic, differential, integral and spectral properties of Mercer-like kernels.
Adviser: Jorge Sebastião de Lemos Carvalhão Buescu, Instituto Superior Técnico
Arguer: Viktor Kravchenko, Universidade do Algarve
Arguer: Frank Speck, I.S.T.
Jury member: João Queiró, Universidade de Coimbra
Jury member: Francisco Teixeira, I.S.T.

Tuesday, 10 January 2006, 14h 00m, PA3

Luis Filipe Serrazes Ventura de Barros Pessoa
Algebras of Bergman type operators with piecewise continuous coefficients.
Adviser: Yuri Karlovich, Univ. Autonoma de Morelos (Mexico)
Co-adviser: Amélia Bastos, I.S.T.
Arguer: Helmut Malonek, Universidade de Aveiro
Arguer: Frank Speck, I.S.T.
Jury member: Stefan Samko, Universidade do Algarve
Jury member: António Ferreira dos Santos, I.S.T.

Monday, 12 December 2005, 15h 00m, Anfiteatro PA3

Sara Luísa Dimas Fernandes
Teoria Espectral e Sistemas Dinâmicos Discretos.
Adviser: José Rodrigues Santos de Sousa Ramos, Instituto Superior Técnico
Arguer: Luís Barreira, I.S.T.
Arguer: Ricardo Severino, Universidade do Minho
Jury member: José Ribeiro, Universidade de Évora
Jury member: Nuno Martins, I.S.T.

Friday, 23 September 2005, 15h 15m, Anfiteatro do Complexo Interdisciplinar

Lucian Radu
Teoria de Dimensão de Sistemas Dinâmicos: Medidas Invariantes e Análise Multifractal.
Adviser: Luis Manuel Gonçalves Barreira, Instituto Superior Técnico
Arguer: J. Ferreira Alves, Universidade do Porto
Arguer: Luís F. Silva, Universidade de Évora
Jury member: Luís Magalhães, Instituto Superior Técnico
Jury member: Carlos Rocha, Instituto Superior Técnico

Tuesday, 19 July 2005, 11h 30m, Anfiteatro Complexo I

José Manuel Chagas Roquette
Os infinitésimos actuais e a caracterização do contínuo conexo.
Adviser: Augusto Franco de Oliveira, Universidade de Évora
Arguer: Vitor Neves, Universidade de Aveiro
Arguer: Imme van den Berg, Universidade de Évora
Jury member: João Paulo Teixeira, I.S.T.
Jury member: António Marques Fernandes, I.S.T.

Wednesday, 13 July 2005, 16h 00m, Anfiteatro Complexo I

Marília da Conceição Valente de Oliveira Pires
Mathematical and Numerical Analysis of Non-Newtonian Fluids in Curved Pipes.
Adviser: Adélia Sequeira, I.S.T.
Arguer: Anne Robertson, University of Pittsburgh
Arguer: M. Filomena Dias d'Almeida, Universidade do Porto
Jury member: Rafael B. Santos, Universidade do Algarve
Jury member: Carlos J. S. Alves, I.S.T.

Wednesday, 13 July 2005, 15h 00m, PA3

Diana Elisabeta Aldea Mendes
Produtos tensoriais em dinâmicas de aplicações triangulares.
Adviser: José Sousa Ramos, Instituto Superior Técnico, Universidade Técnica de Lisboa
Arguer: Alberto Pinto, Faculdade de Ciências,Universidade do Porto
Arguer: Ricardo Severino, Universidade do Minho
Jury member: Luís Barreira, Instituto Superior Técnico, Universidade Técnica de Lisboa
Jury member: João Alves, Instituto Superior Técnico, Universidade Técnica de Lisboa

Tuesday, 19 April 2005, 10h 00m, P3.10

Sandra Maria Santos Vinagre
Soluções caóticas em equações às derivadas parciais.
Adviser: José Rodrigues Santos de Sousa Ramos, Instituto Superior Técnico
Arguer: Alexander Sharkovsky , National Academy of Sciences, Ukraine
Arguer: Ricardo Severino, Universidade do Minho
Jury member: Luís Magalhães, I.S.T.
Jury member: José Manuel Ferreira, I.S.T.

Tuesday, 5 April 2005, 14h 30m, Anfiteatro Pa3

Fernando Manuel Lucas Carapau
Development of 1D fluid models using the Cosserat theory. Numerical simulations and applications to Haemodynamics.
Adviser: Adélia Sequeira, Instituto Superior Técnico, Universidade Técnica de Lisboa
Arguer: Anne Marie Robertson, University of Pittsburgh, USA
Arguer: Paula Oliveira, Universidade de Coimbra
Jury member: Leonor Silvestre, Instituto Superior Técnico, Universidade Técnica de Lisboa
Jury member: José Ribeiro, Universidade de Évora

Friday, 18 February 2005, 16h 00m, Campinas, Brasil

João Marcos de Almeida
Logics of Formal Inconsistency.
Co-adviser: Carlos Caleiro, Instituto Superior Técnico, Universidade Técnica de Lisboa
Co-adviser: W. A. Carnielli, Universidade de Campinas, Brasil
Jury member: João Rasga, Instituto Superior Técnico, Universidade Técnica de Lisboa
Jury member: Marcelo Coniglio, Universidade de Campinas, Brasil
Jury member: Décio Krause, Universidade Federal de Santa Catarina, Brasil
Jury member: Marcelo Finger, Universidade de S. Paulo, Brasil
Jury member: Frank Sautter, Universidade Federal de Santa Maria, Brasil
Nota: em regime de cotutela com Universidade de Campinas, Brasil.

Mestrado em Matemática e Aplicações

Wednesday, 7 December 2011, 10h 00m, PA2 Pavilhão de Matemática

André Damião da Costa Martins
Stochastic models for prediction of pipe failures in water supply systems.
Adviser: Maria da Conceição Esperança Amado, DM,Instituto Superior Técnico
Co-adviser: João Paulo Correia Leitão, LNEC
Jury member: António Manuel Pacheco Pires, DM,Instituto Superior Técnico
Jury member: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, DM,Instituto Superior Técnico
Jury member: Maria do Céu Teixeira de Almeida, LNEC

Wednesday, 9 December 2009, 11h 00m, P1 Pavilhão de Matemática

Daniel José Ramos Peixeiro
Modelos de Previsão de Preços de Electricidade .
Adviser: Claudia Ribeiro Coelho Nunes Philippart , I.S.T., Departamento de Matemática
Jury member: António Manuel Pacheco Pires, I.S.T., Departamento de Matemática
Jury member: Tânia Cristina Silva, EDP - Energias de Portugal
Jury member: Marília Cristina de Sousa Antunes, Faculdade de Ciências, Universidade de Lisboa

Monday, 30 November 2009, 11h 00m, P3 - Pavilhão de Matemática

Raquel Maria Jacinto Escola
Obesidade e PHDA infantil: Modelo de Regressão Logística.
Adviser: Maria da Conceição Esperança Amado, Departamento de Matemática, I.S.T.
Jury member: António Manuel Pacheco Pires, Departamento de Matemática, I.S.T.
Jury member: Sandra Mónica Borges de Figueiredo Fernandes Pinto, Centro de Desenvolvimento - Área Departamental da Pediatria Médica - Hospital D. Estefânia
Jury member: Isabel Maria Alves Rodrigues, Departamento de Matemática, I.S.T.

Thursday, 26 November 2009, 15h 00m, P3 - Pavilhão de Matemática

Rodrigo Beirão Borba
Modelação Estatística do Consumo Nocturno Doméstico de Água.
Adviser: Maria da Conceição Esperança Amado, Departamento de Matemática, I.S.T.
Jury member: António Pacheco Pires , Departamento de Matemática, I.S.T.
Jury member: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, I.S.T.
Jury member: Dália Susana dos Santos da Cruz Loureiro, LNEC

Friday, 13 November 2009, 14h 00m, P1 Pavilhão de Matemática

Marco Antonio Delgado Robalo
Galois Theory Towards Dessins d'Enfants.
Adviser: José Manuel Vergueiro Monteiro Cidade Mourão , D.M., IST.
Jury member: Rui António Loja Fernandes, D.M., IST.
Jury member: Carlos Armindo Arango Florentino, D.M., IST.

Mestrado em Estatística

Thursday, 12 November 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

César Armindo Franco Correia
Mapeamento bayesiano para fenótipos binários complexos .
Adviser: Carlos Daniel Paulino, D.M., Instituto Superior Técnico
Jury member: Carlos Daniel Paulino, D.M., Instituto Superior Técnico
Jury member: Maria Antónia Amaral Turkman, Departamento de Estatística e Investigação Operacional, Faculdade de Ciências da Universidade de Lisboa
Jury member: Paulo José de Jesus Soares, D.M., Instituto Superior Técnico

Mestrado em Matemática e Aplicações

Monday, 9 November 2009, 14h 00m, PA-2 (Edifício da Matemática)

Catarina Andreia Rodrigo Vaz
Equações Diferenciais Estocásticas em Modelos Financeiros.
Adviser: Carlos José dos Santos Alves, Departamento de Matemática, IST.
Co-adviser: Ana Bela Ferreira Cruzeiro Zambrini, Departamento de Matemática, IST.
Jury member: Diogo Luís de Castro Vasconcelos de Aguiar Gomes, Departamento de Matemática, IST.
Jury member: José Gonçalves, Closer
Jury member: Juan Antonio Acebron de Torres, Centro de Matemática e Aplicações (CEMAT)

Thursday, 5 November 2009, 10h 00m, P1 Pavilhão de Matemática

Marta Carvalho Afonso Carreteiro
Welded Braids and the Crossed Module Invariant.
Adviser: Francisco Miguel Alves Campos de Sousa Dionísio, Departamento de Matemática, Instituto Superior Técnico
Co-adviser: João Nuno Gonçalves Faria Martins, Departamento de Matemática, Universidade Nova de Lisboa
Jury member: Rui António Loja Fernandes, Departamento de Matemática, Instituto Superior Técnico
Jury member: Gustavo Rui Gonçalves Fernandes de Oliveira Granja, Departamento de Matemática, Instituto Superior Técnico

Tuesday, 14 July 2009, 11h 00m, P3 - Pavilhão de Matemática

Sérgio Daniel Gonçalves Melo Pequito
The Entropy Penalized Minimum Energy Estimator.
Adviser: Diogo Aguiar Gomes, D.M., I.S.T.
Co-adviser: António Pedro Rodrigues de Aguiar, DEEC, I.S.T.
Jury member: Ana Bela Cruzeiro Zambrini , D.M., I.S.T.
Jury member: António Manuel dos Santos Pascoal, DEEC, I.S.T.

Wednesday, 8 July 2009, 11h 00m, P1 Pavilhão de Matemática

Bruno Emanuel Pereira Coelho
Modelação e Previsão da Procura de um Serviço.
Adviser: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, D.M., IST
Jury member: António Manuel Pacheco Pires, D.M., IST
Jury member: João Líbano Monteiro, ESTAC - Estacionamentos e Acessibilidade, Lda.
Jury member: João António Branco, D.M., IST

Friday, 5 June 2009, 15h 30m, P6 - Pavilhão de Matemática

Daniela Neves Pontes
Testes t e F: Robustos ou não, eis a questão!
Adviser: João António Branco, D.M., IST
Jury member: António Manuel Pacheco Pires, D.M., IST
Jury member: Maria da Conceição Esperança Amado, D.M., IST
Jury member: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, D.M., IST

Mestrado em Matemática Aplicada

Tuesday, 26 May 2009, 14h 30m, P3 - Pavilhão de Matemática

Cátia Sofia Correia da Cunha
Métodos de Classificação supervisionada para detecção de erros em transacções de mercado.
Adviser: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Departamento de Matemática, IST
Jury member: António Manuel Pacheco Pires, Departamento de Matemática, IST
Jury member: Carlos Manuel Milheiro de Oliveira Pinto Soares, Faculdade de Economia da Universidade do Porto
Jury member: Francisco Miguel Alves Campos de Sousa Dionisio, Departamento de Matemática

Mestrado em Estatística

Wednesday, 18 February 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Cláudia Patricia Nunes Antunes
Avaliação do Impacto da Correlação em Sinais Erróneos de Esquemas Conjuntos para o Valor Esperado e a Variância. .
Adviser: António Manuel Pacheco Pires, D.M., Instituto Superior Técnico
Jury member: Fernanda Otília de Sousa Figueiredo, Grupo de Matemática e Informática da Faculdade de Economia da Universidade do Porto
Jury member: Miguel António Soares Casquilho, Departamento de Engenharia Química e Biológica do Instituto Superior Técnico
Jury member: Manuel João Cabral Morais, D.M., Instituto Superior Técnico

Mestrado em Matemática Aplicada

Monday, 16 February 2009, 14h 00m, PA-2 (Edifício da Matemática)

Luís Miguel da Encarnação Sertório
Análise de Clusters de Utilizadores da Internet Baseada na Decomposição do Tráfego Semanal.
Adviser: Maria do Rosário de Oliveira Silva, DM, Instituto Superior Técnico
Co-adviser: Rui Jorge Morais Tomaz Valadas, Departamento de Electrónica, Telecomunicações e Informática da Universidade de Aveiro
Jury member: Maria Eduarda da Rocha Pinto Augusto da Silva, Grupo de Matemática e Informática da Faculdade de Economia da Universidade do Porto
Jury member: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, DM, Instituto Superior Técnico

Mestrado em Estatística

Tuesday, 10 February 2009, 14h 30m, Anfiteatro PA-3 Edifício de Matemática

Sofia Raquel Cascais Ferreira Pinto
Bootstrap Robusto para Regressão Linear Multivariada.
Adviser: Maria da Conceição Esperança Amado, D.M., Instituto Superior Técnico
Jury member: João António Branco, D.M., Instituto Superior Técnico
Jury member: Maria Manuela Souto de Miranda, D.M. da Faculdade de Ciências da Universidade de Aveiro

Mestrado em Matemática e Aplicações

Thursday, 22 January 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Marta Catarina Silva Pereira Guanilho Casaca
Análise e Simulação Numérica de Fluídos Viscoelásticos de Tipo OLDROYD .
Adviser: Adélia Sequeira dos Ramos Silva, D.M., Instituto Superior Técnico
Jury member: Marília da Conceição Valente Oliveira Pires, D.M. da Universidade de Évora
Jury member: Juha Hans Videman, D.M., Instituto Superior Técnico

Mestrado em Estatística

Wednesday, 21 January 2009, 15h 00m, Anfiteatro PA-3 Edifício de Matemática

Helena Maria Aleixo Pereira
Métodos Robustos para Regresão Linear e Não Linear.
Adviser: Maria da Conceição Esperança Amado, D.M., Instituto Superior Técnico
Jury member: Maria Manuela Souto de Miranda, Departamento Matemática da Faculdade de Ciências da Universidade de Aveiro
Jury member: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, D.M., Instituto Superior Técnico

Wednesday, 21 January 2009, 11h 00m, Sala V1.15 (Pavilhão Civil)

Ana Filipa Vieira da Encarnação
O Modelo de Classes Latentes com Restrições Aplicado à Análise do Desempenho de testes de Diagnóstico.
Adviser: Maria de Rosário de Oliveira Silva, DM, Instituto Superior Técnico
Co-adviser: Luzia Augusta Pires Gonçalves, Unidade de Epidemiologia e Biostatística do Instituto de Higiene e Medicina Tropical da Universidade Nova de Lisboa
Jury member: Maria Antónia da Conceição Abrantes Amaral Turkman , Departamento de Estatística e Investigação Operacional da Faculdade de Ciências da Universidade de Lisboa
Jury member: João António Branco, D.M., Instituto Superior Técnico

Friday, 16 January 2009, 14h 00m, Anfiteatro PA-3 Edifício de Matemática

Ana Isabel Borralho da Mota
Modelação Estatística Multivariada da procura de um Serviço.
Adviser: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, D.M., Instituto Superior Técnico
Jury member: Margarida Maria Teixeira Diniz Mendes Leal, Departamento de Estatística e Investigação Operacional da Faculdade de Ciências da Universidade de Lisboa
Jury member: Maria da Conceição Esperança Amado,

Monday, 22 December 2008, 14h 00m, Anfiteatro VA-1 (Pavilhão de Cívil)

Bartolomeu André Rodrigues Fernandes Rabaçal
Análise Discriminante com Restrições na Estrutura de Covariâncias.
Adviser: Isabel Maria Alves Rodrigues , DM, IST
Jury member: Carla Mónica Santos Dias Pereira , Departamento de Engenharia Civil da Faculdade de Engenharia da Universidade do Porto
Jury member: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente , DM, IST

Monday, 15 December 2008, 15h 00m, P1 Pavilhão de Matemática

Carla Sofia Coelho Ribeiro Miranda
Regressão Linear Múltipla com Erros Arma.
Adviser: Ana Maria Pires de Melo Parente, DM, Instituto Superior Técnico
Jury member: Carla Mónica Santos Dias Pereira, Secção de Matemática e Física do Departamento de Engª Civil da Faculdade de Engª da Universidade do Porto
Jury member: Maria de Rosário de Oliveira Silva, DM, Instituto Superior Técnico

Mestrado em Matemática e Aplicações

Thursday, 13 November 2008, 14h 00m, Sala P1 Pavilhão de Matemática

Ausenda Filipa Rosa Pires
Valor prognóstico da citometria de fluxo de ADN no carcinoma do colo do útero .
Adviser: Giovani Loiola da Silva, DMIST
Jury member: António Pacheco Pires , DMIST
Jury member: Ana Luísa Papoila , Faculdade de Ciências Médicas, UNL
Jury member: Paulo José de Jesus Soares , DMIST

Thursday, 6 November 2008, 14h 30m, Sala P1 Pavilhão de Matemática

Daniela Filipa Gonçalves Pamplona
Gaussian foveation .
Adviser: Alexandre Jose Malheiro Bernardino, DEEC
Jury member: Ana Bela Cruzeiro , DMIST
Jury member: Ana Leonor Vicente Silvestre , DMIST

Mestrado em Matemática Aplicada

Friday, 24 October 2008, 14h 00m, Sala PA2

Maria Raquel Bengelsdorff Regueiras Neto
O Conceito de Profundidade em Estatística .
Adviser: João António Branco, DMIST
Jury member: António Pacheco Pires , DMIST
Jury member: Ana Maria Pires Parente , DMIST

Mestrado em Matemática e Aplicações

Thursday, 23 October 2008, 15h 00m, P1 Pavilhão de Matemática

Inês Estrela Oliveira
Um método de soluções fundamentais aplicado ao tratamento de imagem .
Adviser: Carlos Alves, DM, IST
Jury member: Ana Bela Cruzeiro , DM, IST
Jury member: Ana Leonor Vicente Silvestre , DM, IST
Jury member: Francisco Miguel Dionísio , DM, IST

Mestrado em Estatística

Monday, 13 October 2008, 15h 00m, PA-2 Pavilhão de Matemática

Teresa Maria Fazenda Risso
Regressão Logística Multinomial e ordinal.
Adviser: Ana Pires Parente, Departamento de Matemática, IST
Jury member: Luzia Augusta Pires Gonçalves , Unidade de Epidemiologia e Bioestatística do Instituto de Higiene e Medicina Tropical da Universidade Nova de Lisboa
Jury member: Isabel Maria Alves Rodrigues, Departamento de Matemática, IST

Thursday, 24 July 2008, 11h 00m, P12 - Pavilhão de Matematica

Sílvia Quina Nobre
First Passage Times in Ito Processes Considering a Jump Scenario: Applications in Finance.
Adviser: Claudia Rita Ribeiro Coelho Nunes Philippart, DM, IST
Jury member: Antonio Manuel Pacheco Pires, DM, IST
Jury member: Diogo Aguiar Gomes, DM, IST

Mestrado em Matemática e Aplicações

Friday, 18 July 2008, 14h 30m, P1 Pavilhão de Matemática
Friday, 18 July 2008, 14h 30m, P1 Pavilhão de Matemática

Rui Miguel Coutinho Palma
Produtos Cruzados \(C^\ast\). Invertibilidade numa álgebra de Operadores Funcionais.
Adviser: Maria Amélia Bastos, DM, IST
Jury member: Amarino Lebre, DM, IST
Jury member: Yuri I. Karlovich, Fac.de Ciências da Univ. Autónoma del Estado de Morelos, México

Wednesday, 7 May 2008, 11h 00m, P1 Pavilhão de Matemática

Eduardo Carrilho Jordão do Rosário Monteiro
Correspondência de Galois não-comutativa.
Adviser: Paulo Jorge da Rocha Pinto, Departamento de Matemática do IST
Jury member: Miguel Tribolet de Abreu, Departamento de Matemática do IST
Jury member: Carlos Correia Ramos, Departamento de Matemática da Universidade de Évora
Jury member: Nuno Miguel Matos Ramos Martins, Departamento de Matemática do IST

Monday, 24 March 2008, 14h 30m, Anfiteatro Pa3, Pavilhão de Matemática

Maria Dolores Silvério Diogo
Teorema da Passagem da Montanha e suas Aplicações.
Adviser: Maria João Simões Nunes Borges teixeira, Instituto Superior Técnico
Jury member: Diogo Luís de Castro Vasconcelos Aguiar Gomes, Instituto Superior Técnico
Jury member: Isabel Alexandra Ferreira da Silva Vaz Nicolau, Universidade de Trás-os-Montes e Alto Douro

Friday, 9 November 2007, 11h 00m, P3 (Pavilhão de Matemática)

Catarina Maria Miranda de Sousa Rego
Métodos Robustos de Amostragem em Populações Finitas.
Adviser: Maria da Conceicao Esperanca Amado, DM, IST
Jury member: Antonio Manuel Pacheco Pires, DM, IST
Jury member: Carla Mónica Santos Dias Pereira, FEUP

Friday, 9 November 2007, 09h 00m, P3 (Pavilhão de Matemática)

Cláudia Margarida Lopes Pascoal
Distribuição Normal Bivariada Truncada com Aplicação ao Estudo de Fluxos de Tráfego de Internet .
Adviser: Maria do Rosario de Oliveira Silva, DM, IST
Jury member: Antonio Manuel Pacheco Pires, DM, IST
Jury member: Maria Manuela Souto de Miranda, Universidade de Aveiro

Wednesday, 7 November 2007, 09h 00m, Sala P1 (Pavilhão de Matemática)

Ausenda Filipa Rosa Pires
Valor prognóstico da citometria de fluxo ADN no carcinoma do colo do útero .
Adviser: Giovani Loiola da Silva, DM, IST
Jury member: Antonio Manuel Pacheco Pires, DM, IST
Jury member: António Evaristo Pinto, Instituto Português de Oncologia de Francisco Gentil
Jury member: Ana Luisa Papoila, Faculdade de Ciências Médicas - UNL
Jury member: Paulo Jose de Jesus Soares, DM, IST

Friday, 26 October 2007, 11h 00m, Sala P3 (Pavilhão de Matemática)

Carla Patricia Fernandes dos Santos
Modelo de Regressão Logística no Estudo da Obesidade em Portugal.
Adviser: Maria da Conceicao Esperanca Amado, DM, IST
Jury member: Antonio Manuel Pacheco Pires, DM, IST
Jury member: Isabel Maria Alves Rodrigues, DM, IST

Friday, 26 October 2007, 09h 00m, P1 (Pav. Matemática)

Bruno Miguel Santos Silva
Estudo do Instante Óptimo de Relocalização .
Adviser: Claudia Rita Ribeiro Coelho Nunes Philippart, DM,IST
Jury member: Antonio Manuel Pacheco Pires, DM,IST
Jury member: Gualter Medeiros Couto, Universidade dos Açores
Jury member: Manuel Joao Cabral Morais, DM,IST

Tuesday, 23 October 2007, 14h 30m, P1, Pavilhão de Matemática

Joana Oliveira dos Santos
Induced toric Kähler metrics.
Adviser: Miguel Tribolet de Abreu, Instituto Superior Técnico
Jury member: Rui António Loja Fernandes, Instituto Superior Técnico
Jury member: Leonor Pires Marques de Oliveira Godinho, Instituto Superior Técnico

Wednesday, 10 October 2007, 14h 00m, Sala P3 (Pavilhão de Matemática)

Andreia Maria Hortence Gomes
O Problema de Frobenius.
Adviser: Jose Luis Martins Borges e Fachada, DM, IST
Jury member: Rui Antonio Loja Fernandes, DM, IST
Jury member: Maria Leonor Moreira, Faculdade de Ciências da Universidade do Porto

Tuesday, 9 October 2007, 14h 00m, P3 (Pavilhão de Matemática)

José Nuno Ferreira Maia Pereira
Raciocínio Abdutivo sobre Especificações de Agentes.
Adviser: Maria Paula Antunes Abrantes Gouveia, DM, IST
Co-adviser: Jaime Arsenio de Brito Ramos, DM, IST
Jury member: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Jury member: Carlos Manuel Costa Lourenco Caleiro, DM, IST

Tuesday, 9 October 2007, 11h 00m, P1 (Pav. Matemática)

Bruno Filipe Araújo Lacerda
Linear-Time Temporal Logic Control of Discrete Event Systems.
Adviser: Pedro Manuel Urbano de Almeida Lima, DEEC, IST
Co-adviser: Francisco Miguel Alves Campos de Sousa Dionísio, DM, IST
Jury member: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Jury member: Carlos Filipe Gomes Bispo, DEEC, IST

Tuesday, 9 October 2007, 09h 00m, P3 (Pavilhão de Matemática)

Tiago Lança Matos Sucena de Carvalho
Spatial Types for Concurrency, A Spatial Logic to Specify and Verify Distributed Systems.
Adviser: Antonio Maria Alarcao Ravara, DM, IST
Jury member: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Jury member: Luís Caires, Faculdade de Ciências e Tecnologia da Universidade Nova

Thursday, 4 October 2007, 14h 00m, PA-3 (Piso -1 Pav. Matemática)

Nelson Alexandre Carvalho de Sousa
Cohomologia Equivariante e Mecânica Quântica supersimétrica.
Adviser: José Manuel Vergueiro Monteiro Cidade Mourão, Instituto Superior Técnico
Jury member: João Nuno Domingues Tavares , Faculdade de Ciências da Universidade do Porto
Jury member: Roger Francis Picken, Instituto Superior Técnico
Jury member: João Luis Pimentel Nunes, Instituto Superior Técnico

Wednesday, 3 October 2007, 14h 00m, PA2 (Pavilhão de Matemática)

Ruben Carlos Gonçalves Martins
O Impacto da Modelação na Resolução de Problemas de Satisfação Proposicional.
Adviser: Maria Inês Camarate Campos Lynce de Faria, DEI. IST
Co-adviser: Carlos Manuel Costa Lourenço Caleiro, DM, IST
Jury member: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Jury member: Vasco Miguel Gomes Nunes Manquinho, DEI, IST

Wednesday, 3 October 2007, 14h 00m, P3 (Pavilhão de Matemática)

Iara Cristina Alvarinho Gonçalves
O Grupo Fundamental do Complementar de um Arranjo de Hiperplanos Complexos.
Adviser: Gustavo Oliveira Granja, DMIST
Jury member: Rui António Loja Fernandes, DMIST
Jury member: Maria Joana Bordalo Ventura, DMIST

Tuesday, 2 October 2007, 09h 30m, PA2 (Pavilhão de Matemática)

Ana Maria Patrício Knopfli
Redundancy in CNF Formulas.
Adviser: Maria Inês Camarate Campos Lynce de Faria, DEI, IST
Co-adviser: Francisco Miguel Alves Campos de Sousa Dionísio, DM, IST
Jury member: Maria Cristina Sales Viana Serodio Sernadas, DM, IST
Jury member: Maria Luisa Torres Ribeiro Marques da Silva Coheur, DEI, IST

Friday, 28 September 2007, 10h 30m, V1.03 (Edif. Engª Civil)

Sílvia Isabel Belo Guerra
Integrabilidade do Fluxo Geodésico num Elipsóide.
Adviser: José António Maciel Natário, IST
Arguer: Lúcia Fernández Suaréz, Escola de Ciências da Universidade do Minho
Arguer: Pedro Ferreira dos Santos, IST

Mestrado em Matemática Aplicada

Thursday, 20 September 2007, 14h 00m, P1 (Pav. Matemática)

André Fernandes Vasconcelos
Detection of Outer Sound Sources Through Measurements of Amplitude on a Body Surface.
Adviser: Carlos dos Santos Alves, IST
Jury member: Ana Bela Ferreira Cruzeiro Zambrini, IST
Jury member: Rainer Kress, University Goettingen

Mestrado em Matemática e Aplicações

Friday, 20 July 2007, 10h 30m, V1.41 Pavilhão de Engª Civil

Annabela Pelicano
Factorização de uma Classe de Símbolos Oscilatórios e Problemas de Riemann-Hilbert.
Adviser: Cristina Câmara, I.S.T.
Arguer: Maria Teresa da Cunha Machado Malheiro, Univ. do Minho
Jury member: António Ferreira dos Santos, I.S.T.

Mestrado em Estatística

Thursday, 19 July 2007, 10h 30m, Salão Nobre (Pavilhão Central)

Alexandra Maria Pita Mayer da Silva Pereira
Previsão do Rendimento da Madeira de Eucalyptus Globylus com Base em Espectroscopia Nir.
Adviser: Maria de Rosário de Oliveira Silva, Matemática, IST
Jury member: Luzia Augusta Pires Gonçalves, Instituto de Higiene e Medicina Tropical da Universidade Nova de Lisboa
Jury member: Maria da Conceição Esperança Amado, Matemática, IST

Mestrado em Matemática e Aplicações

Monday, 28 May 2007, 11h 30m, Anfiteatro Pa3

Susana Raquel Carvalho Ferreira
Semiestabilidade de fibrados vectoriais e principais sobre curvas elípticas.
Adviser: Carlos Florentino, Instituto Superior Técnico
Arguer: Peter Beier Gothen, Faculdade de Ciências da Universidade do Porto
Arguer: João Luís Pimentel Nunes, Instituto Superior Técnico

Friday, 4 May 2007, 16h 00m, Anfiteatro PA-3 (Piso-1)Pavilhão de Matemática

Hugo Miguel Fernandes Campos
Sobre o Operador de Jacobi.
Adviser: Viktor Gregorovich Kravchenko, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Co-adviser: Amarino Brites Lebre, Instituto Superior Técnico
Jury member: Juan Carlos Sánchez Rodríguez, Faculdade de Ciências e Tecnologia da Universidade do Algarve
Jury member: Maria Amélia Duarte Reis Bastos, Instituto Superior Técnico
Nota: Data a ser corrigida

Tuesday, 17 April 2007, 11h 00m, Complexo Interdisciplinar

Tânia Cristina Dinis Marques e Silva
Statistical Models to Predictelectricity Prices.
Adviser: Cláudia Rita Ribeiro Coelho Nunes Philippart, Instituto Superior Técnico
Co-adviser: António Manuel Pacheco Pires, Instituto Superior Técnico
Arguer: Marília Cristina de Sousa Antunes, Faculdade de Ciências, Universidade de Lisboa
Jury member: Ana Maria Nobre Vilhena Nunes Pires de Melo Parente, Instituto Superior Técnico

Mestrado em Estatística

Wednesday, 24 January 2007, 10h 30m, a definir

Paulo Jorge Canas Rodrigues
Componentes Principais: o método e as suas generalizações.
Adviser: João António Branco, Instituto Superior Técnico
Arguer: Kamil Feridum Turkman, FCUL - Universidade de Lisboa
Jury member: Isabel Maria Alves Rodrigues, Instituto Superior Técnico

Thursday, 21 December 2006, 10h 30m, Anfiteatro Complexo I

Patrícia Alexandra de Azevedo Carvalho Ferreira
Análise de Correspondências: uma perspectiva em torno do método e das aplicações.
Adviser: João António Branco, Instituto Superior Técnico
Arguer: Margarida M. T. D. Mendes Leal, FCUL - Universidade de Lisboa
Jury member: Maria do Rosário Oliveira, Instituto Superior Técnico

Friday, 28 July 2006, 14h 30m, Anfiteatro PA3

Delfina Rosa Moura Barbosa
Metodologias de Amostragem em Populações Finitas.
Adviser: Conceição Amado, I.S.T.
Arguer: Carla Mónica Dias Pereira, FEUP - Univ. do Porto
Jury member: João António Branco, IST

Thursday, 25 May 2006, 10h 30m, Anfiteatro PA3

Catarina da Cunha Santiago Soares
Análise de Dados de Microarrays.
Adviser: Ana Pires Parente, I.S.T.
Arguer: Luísa Canto e Castro de Loura, FCUL - Univ. Lisboa
Jury member: João António Branco, IST

Mestrado em Matemática e Aplicações

Thursday, 12 January 2006, 11h 00m, PA3

Maria João Costa Almeida Quintão Pereira Braga
Teorema da Coroa e Invertibilidade de Operadores tipo Convolução.
Adviser: Amélia Bastos, I.S.T.
Jury member: Yuri Karlovich, Univ. Morelos, Mexico
Jury member: Paulo Lopes, I.S.T.

Friday, 4 November 2005, 10h 30m, Anfiteatro PA3

Diogo Pedro Pereira Baptista
Atractores estranhos em aplicações do plano no plano.
Adviser: José Sousa Ramos, I.S.T.
Arguer: Sandra Maria Santos Vinagre, Universidade de Évora
Jury member: Pedro Alves Martins Rodrigues, I.S.T.

Friday, 22 July 2005, 15h 00m, local a indicar oportunamente

Gonçalo Nuno Rosado Morais
Dimensão pontual e decomposições ergódicas.
Adviser: Luís Barreira, Instituto Superior Técnico, Universidade Técnica de Lisboa
Jury member: Fernando J. S. Moreira, Faculdade de Ciências, Universidade do Porto
Jury member: João Alves, Instituto Superior Técnico, Universidade Técnica de Lisboa

Friday, 3 June 2005, 11h 00m, Anfiteatro PA3

Albino António Dias do Carmo
Símbolos de invertibilidade em Álgebras-Pi geradas por idempotentes.
Adviser: Paulo Lopes, Instituto Superior Técnico, Universidade Técnica de Lisboa
Arguer: Juan C. S. Rodriguez, Universidade do Algarve
Jury member: Amarino Lebre, Instituto Superior Técnico, Universidade Técnica de Lisboa

Tuesday, 19 April 2005, 15h 00m, Anfiteatro PA3

Pedro Ricardo Simão Antunes
Cálculo Numérico de Frequências de Ressonância e Modos de Vibração pelo Método das Soluções Fundamentais.
Adviser: Carlos J. S. Alves, I.S.T.
Co-adviser: Pedro Freitas, I.S.T.
Jury member: M. Filomena Dias d'Almeida, Universidade do Porto
Jury member: Vitor M. A. Leitão, I.S.T.

Wednesday, 30 March 2005, 11h 00m, Anfiteatro Pa3

Maria Isabel de Magalhães Colaço
A variedade algébrica tórica de uma variedade simplética total.
Adviser: Miguel Abreu, Instituto Superior Técnico, Universidade Técnica de Lisboa
Arguer: Ana Rita Pires Gaio, Universidade do Porto
Jury member: Pedro Ferreira dos Santos, Instituto Superior Técnico, Universidade Técnica de Lisboa

Tuesday, 8 March 2005, 10h 00m, Anfiteatro Pa3

Bruno Miguel Almeida Martins Pereira
Estudo da difracção de ondas acústicas por fissuras não planas com particularidades geométricas.
Adviser: Carlos Alves, Instituto Superior Técnico, Universidade Técnica de Lisboa
Arguer: Carlos Albuquerque, Faculdade de Ciências, Universidade de Lisboa
Jury member: Leonor Silvestre, Instituto Superior Técnico, Universidade Técnica de Lisboa

Friday, 4 March 2005, 14h 00m, Anfiteatro Pa3

Lígia Isabel Marques de Carvalho
Fibrados quase-parabólicos sobre a recta projectiva.
Adviser: Peter Gothen, Faculdade de Ciências, Universidade do Porto
Co-adviser: Carlos Florentino, Instituto Superior Técnico, Universidade Técnica de Lisboa
Arguer: Margarida Mendes Lopes, Instituto Superior Técnico, Universidade Técnica de Lisboa
Jury member: Orlando Neto, Faculdade de Ciências, Universidade de Lisboa

Thursday, 13 January 2005, 10h 00m, Anfiteatro Pa3

Isabel Margarida Fialho Oliveira
Problemas de Riemann-Hilbert e Polinómios Ortogonais.
Adviser: Amélia Bastos, Instituto Superior Técnico, Universidade Técnica de Lisboa
Arguer: Yuri Karlovich, Universidade Autónoma de Morelos, Mexico
Jury member: António Ferreira dos Santos, Instituto Superior Técnico, Universidade Técnica de Lisboa

Doutoramento em Física

Thursday, 16 January 2014, 16h 00m, Anfiteatro Pa3

Alvaro Roberto Véliz-Osorio
Explorations in \(N = 2\) Supergravity, Black Branes and Matrix Models.
Adviser: Gabriel Czerwionka Lopes Cardoso, Instituto Superior Técnico