Main
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreeaTrailescu1.png)
Andreea Trăilescu
Diploma Thesis, 2023
![jFamilyCouncelor: A Tool For Detecting The Need of Family Polymorphism in Java Source Code jFamilyCouncelor: A Tool For Detecting The Need of Family Polymorphism in Java Source Code](https://www.cs.upt.ro/~petrum/uploads/Main/PetruAlinRosu.png)
Petru-Alin Roșu
Diploma Thesis, 2022
![OptionalAnalyzer: Automatic detection of antipatterns in the usage of Optional type in Java programs OptionalAnalyzer: Automatic detection of antipatterns in the usage of Optional type in Java programs](https://www.cs.upt.ro/~petrum/uploads/Main/EduardToth1.png)
Eduard Toth
Diploma Thesis, 2021
![MCHECK: Towards a tool for detecting violations of the MISRA-C 2004 Standard MCHECK: Towards a tool for detecting violations of the MISRA-C 2004 Standard](https://www.cs.upt.ro/~petrum/uploads/Main/AndreeaBizu.png)
Andreea Bîzu
Dipl./Mast., 2021/2023
![VisitorDetector: Detecting lack of Visitor situations in Java programs VisitorDetector: Detecting lack of Visitor situations in Java programs](https://www.cs.upt.ro/~petrum/uploads/Main/AlexNicolescu4.png)
Alex Nicolescu
Diploma Thesis, 2021
![](https://www.cs.upt.ro/~petrum/uploads/Main/VoiaAndrei1.png)
Andrei Voia
Diploma Thesis, 2020
![](https://www.cs.upt.ro/~petrum/uploads/Main/LapadatRazvan.png)
Răzvan Lăpădat
Diploma Thesis, 2020
![](https://www.cs.upt.ro/~petrum/uploads/Main/AdelineWendel.jpg)
Adeline Wendel
Diploma Thesis, 2020
![](https://www.cs.upt.ro/~petrum/uploads/Main/SalehMahagney.jpg)
Saleh Mahagney
Master Thesis, 2019
![](https://www.cs.upt.ro/~petrum/uploads/Main/AlexStana.jpg)
Alexandru Stana
Master Thesis, 2019
![](https://www.cs.upt.ro/~petrum/uploads/Main/BogdanIgna.png)
Bogdan Igna
Dipl./Mast., 2019/2021
![](https://www.cs.upt.ro/~petrum/uploads/Main/LuciCondescu.png)
Lucian Condescu
Diploma Thesis, 2016
![](https://www.cs.upt.ro/~petrum/uploads/Main/KissArpad.png)
Kiss Árpád
Dipl./Mast., 2016/18
![](https://www.cs.upt.ro/~petrum/uploads/Main/StefanMedeleanu.png)
Ștefan Medeleanu
Dipl./Mast., 2015/17
![](https://www.cs.upt.ro/~petrum/uploads/Main/AlexStefanica.jpg)
Alex Ștefănică
Dipl./Mast., 2015/17
![](https://www.cs.upt.ro/~petrum/uploads/Main/MihaiSimu.png)
Mihai Simu
Master Thesis, 2014
![](https://www.cs.upt.ro/~petrum/uploads/Main/MarcelaIonita.png)
Marcela Ioniță
Dipl./Mast., 2011/13
![](https://www.cs.upt.ro/~petrum/uploads/Main/OvidiuSicoe.png)
Ovidiu Sicoe
Diploma Thesis, 2011
![](https://www.cs.upt.ro/~petrum/uploads/Main/SiminaMazilu.jpg)
Simina Mazilu
Diploma Thesis, 2009
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreiCostache.jpg)
Andrei Costache
Diploma Thesis, 2009
![](https://www.cs.upt.ro/~petrum/uploads/Main/AlexandruBorca.jpg)
Alexandru Borca
Diploma Thesis, 2009
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreeaIonete.png)
Andreea Ionete
Diploma Thesis, 2008
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreiGyorfi.png)
Andrei Gyorfi
Diploma Thesis, 2008
Students
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreeaTrailescu1.png)
Andreea Trăilescu
Diploma Thesis, 2023
![jFamilyCouncelor: A Tool For Detecting The Need of Family Polymorphism in Java Source Code jFamilyCouncelor: A Tool For Detecting The Need of Family Polymorphism in Java Source Code](https://www.cs.upt.ro/~petrum/uploads/Main/PetruAlinRosu.png)
Petru-Alin Roșu
Diploma Thesis, 2022
![OptionalAnalyzer: Automatic detection of antipatterns in the usage of Optional type in Java programs OptionalAnalyzer: Automatic detection of antipatterns in the usage of Optional type in Java programs](https://www.cs.upt.ro/~petrum/uploads/Main/EduardToth1.png)
Eduard Toth
Diploma Thesis, 2021
![MCHECK: Towards a tool for detecting violations of the MISRA-C 2004 Standard MCHECK: Towards a tool for detecting violations of the MISRA-C 2004 Standard](https://www.cs.upt.ro/~petrum/uploads/Main/AndreeaBizu.png)
Andreea Bîzu
Dipl./Mast., 2021/2023
![VisitorDetector: Detecting lack of Visitor situations in Java programs VisitorDetector: Detecting lack of Visitor situations in Java programs](https://www.cs.upt.ro/~petrum/uploads/Main/AlexNicolescu4.png)
Alex Nicolescu
Diploma Thesis, 2021
![](https://www.cs.upt.ro/~petrum/uploads/Main/VoiaAndrei1.png)
Andrei Voia
Diploma Thesis, 2020
![](https://www.cs.upt.ro/~petrum/uploads/Main/LapadatRazvan.png)
Răzvan Lăpădat
Diploma Thesis, 2020
![](https://www.cs.upt.ro/~petrum/uploads/Main/AdelineWendel.jpg)
Adeline Wendel
Diploma Thesis, 2020
![](https://www.cs.upt.ro/~petrum/uploads/Main/SalehMahagney.jpg)
Saleh Mahagney
Master Thesis, 2019
![](https://www.cs.upt.ro/~petrum/uploads/Main/AlexStana.jpg)
Alexandru Stana
Master Thesis, 2019
![](https://www.cs.upt.ro/~petrum/uploads/Main/BogdanIgna.png)
Bogdan Igna
Dipl./Mast., 2019/2021
![](https://www.cs.upt.ro/~petrum/uploads/Main/LuciCondescu.png)
Lucian Condescu
Diploma Thesis, 2016
![](https://www.cs.upt.ro/~petrum/uploads/Main/KissArpad.png)
Kiss Árpád
Dipl./Mast., 2016/18
![](https://www.cs.upt.ro/~petrum/uploads/Main/StefanMedeleanu.png)
Ștefan Medeleanu
Dipl./Mast., 2015/17
![](https://www.cs.upt.ro/~petrum/uploads/Main/AlexStefanica.jpg)
Alex Ștefănică
Dipl./Mast., 2015/17
![](https://www.cs.upt.ro/~petrum/uploads/Main/MihaiSimu.png)
Mihai Simu
Master Thesis, 2014
![](https://www.cs.upt.ro/~petrum/uploads/Main/MarcelaIonita.png)
Marcela Ioniță
Dipl./Mast., 2011/13
![](https://www.cs.upt.ro/~petrum/uploads/Main/OvidiuSicoe.png)
Ovidiu Sicoe
Diploma Thesis, 2011
![](https://www.cs.upt.ro/~petrum/uploads/Main/SiminaMazilu.jpg)
Simina Mazilu
Diploma Thesis, 2009
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreiCostache.jpg)
Andrei Costache
Diploma Thesis, 2009
![](https://www.cs.upt.ro/~petrum/uploads/Main/AlexandruBorca.jpg)
Alexandru Borca
Diploma Thesis, 2009
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreeaIonete.png)
Andreea Ionete
Diploma Thesis, 2008
![](https://www.cs.upt.ro/~petrum/uploads/Main/AndreiGyorfi.png)
Andrei Gyorfi
Diploma Thesis, 2008