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 listed in chronological order.

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

According to our current on-line database, Luís Lamb has 7 students and 7 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.