theruran 🌐🖥️🖲️ @theruran@scholar.social

fifth-year PhD student in systems engineering

the current title of my dissertation:
"the end-to-end tooling challenge of engineering safe and trustworthy cyber-systems."

I am designing a #LISP programming language, #HALISP, that provides the tools to design systems that are correct-by-design.

background: software and mechanical engineering, consulting