Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Both sides next revision
people [2020/11/12 21:43]
marcin
people [2021/09/23 08:51] (current)
Line 27: Line 27:
 ==== 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 BachelorMaster 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. 
  
 \\ \\