I've been developing software for the past 16 years, specializing in server-side development. Recently, I founded a small company that creates automation tools for developers.
I am also interested in formal methods, as I believe they are crucial for solving complex problems. I hope to share some cool techniques that might be useful to a broader audience.
I look forward to connecting with many of you.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Hi everyone!
I've been developing software for the past 16 years, specializing in server-side development. Recently, I founded a small company that creates automation tools for developers.
I am also interested in formal methods, as I believe they are crucial for solving complex problems. I hope to share some cool techniques that might be useful to a broader audience.
I look forward to connecting with many of you.