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
Joined Dec 2020
There is nothing here!
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
Joined Dec 2020
