I'm a software enthusiast, always looking for elegant and efficient solutions to complex and meaningful problems. I've been coding since I can remember :)
My main areas of expertise are automated software verification and validation (the latter on which I based my Ph.D. dissertation), automated testing and functional programming.
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
