My Latest Blog Post

Safe by Design: Examples of Formal Methods in Software Engineering

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.