Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision |
people [2020/11/12 21:43] marcin | people [2021/09/23 08:51] (current) |
---|
==== Jerzy Biernacki ==== | ==== Jerzy Biernacki ==== |
{{:jbiernacki.jpg?120 |}} | {{:jbiernacki.jpg?120 |}} |
**Jerzy Biernacki, MSc** ([[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 and Master 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 and 2014, respectively. Currently, a PhD student at the AGH UST, Department of Applied Computer Science. 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. |
| |
\\ | \\ |