fifth-year PhD student in systems engineering

the current title of my dissertation:
"Seamless Digital Engineering: A Grand Challenge"

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