Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Both sides next revision |
people [2021/07/26 10:04]
jbiernacki [Jerzy Biernacki] | people [2021/09/23 08:51] (current)
|
|---|
| ==== Jerzy Biernacki ==== | ==== Jerzy Biernacki ==== |
| {{:jbiernacki.jpg?120 |}} | {{:jbiernacki.jpg?120 |}} |
| **Jerzy Biernacki, PHD** ([[jbiernac@agh.edu.pl|jbiernac [at] agh [dot] edu [dot] pl]], [[http://home.agh.edu.pl/~jbiernac|www]], [[https://www.researchgate.net/profile/Jerzy_Biernacki|RG]]) received his Bachelor, Master and PHD degrees in computer science from the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Poland, in 2013, 2014 and 2020 respectively. His research focuses on formal methods and model checking. | **Jerzy Biernacki, PhD** ([[jbiernac@agh.edu.pl|jbiernac [at] agh [dot] edu [dot] pl]], [[http://home.agh.edu.pl/~jbiernac|www]], [[https://www.researchgate.net/profile/Jerzy_Biernacki|RG]]) received his Bachelor, Master and PhD degrees in computer science from the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Poland, in 2013, 2014 and 2020 respectively. His research focuses on formal methods and model checking. |
| |
| \\ | \\ |