Safe by Design: Examples of Formal Methods in Software Engineering
Explore Formal Methods of the Software Production Lifecycle and design safety-critical systems implementing clean and reliable code.
Bartłomiej Pukas02 July 2020
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.