Bartłomiej Pukas

Software Developer

Java Developer passionate about clean and concise coding. He has professional experience in software development for range of technologies (Java, Scala, .NET, Android) and domains (publishing, pharmaceutical, chemical, leisure, travel). Graduated BSc in Computer Science and MSc in Software Engineering in Oxford Brookes University with Award for "Outstanding Achievements" for best dissertation.

formal methods examples

Safe by Design: Examples of Formal Methods in Software Engineering

The software development industry plays a significant role in the development of modern technology as well as economic growth. This position also reverberates throughout the commercial and the scientific fields. It is extremely vital for the end-users, hence software makers, so that the developed products work reliably and efficiently. This is because, in some instances, […]

Read more • • •