-
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 electrical engineering
Enter an email to receive alerts for electrical-engineering positions in computer-science