Andrei Sipos
Andrei Sipos a susținut teza de doctorat în Septembrie 2018, sub conducerea profesorului Laurențiu Leuștean. Domeniu de lucru este proof mining, o ramură a logicii matematică. Rezultatele de cercetare includ două articole ca unic autor în Pure and Applied Logic (una dintre cele mai importante reviste de logică matematică) și Numerical Funcțional Analysis and Opimisation, și un articol în colaborare în Journal of Nonlinear and Convex Analysis. Din Octombrie 2017, Andrei este Assistant Professor la Universitatea tehnică din Darmstadt, o poziție de 3 ani.