-
construction of digital systems guided by rigorous mathematical foundations. Towards which, our current main instrument is the Computer Science Library (CSLib) in the Lean programming technology . CSLib is a
Searches related to structural engineering phd
Enter an email to receive alerts for structural-engineering-phd positions in computer-science