I have worked on program analysis/verification of concurrent systems. I have used C, C++, F#, and Java in non-trivial settings. Lately, I am using Kotlin and Python. I like to explore new programming languages and technologies.
If software can be a component of a solution, then let's talk :)