Luís C. Lamb

MathSciNet


Ph.D. Imperial College London 2000 UnitedKingdom
Dissertation: Labelled Proof Theory for Conditional Logic
Mathematics Subject Classification: 68—Computer science

Advisor 1: Dov M. Gabbay
Advisor 2: Krysia B. Broda

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
de Araujo, RicardoUniversidade Federal do Rio Grande do Sul2009
Borges, RafaelCity, University of London2011
Dorn, MarcioUniversidade Federal do Rio Grande do Sul2012
Farenzena, DanielUniversidade Federal do Rio Grande do Sul2016
de Santiago, RafaelUniversidade Federal do Rio Grande do Sul2017
Noble, DiegoUniversidade Federal do Rio Grande do Sul2017
Grando, FelipeUniversidade Federal do Rio Grande do Sul2018
Prates, MarceloUniversidade Federal do Rio Grande do Sul2019

According to our current on-line database, Luís Lamb has 8 students and 8 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 94407 for the advisor ID.