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