-
potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue
-
-Intensive Systems research group, under the guidance of Prof. Ira Assent, and part of the ADA (Algorithms, Data, and Artificial Intelligence) in the Department of Computer Science. You will draw on your
Searches related to artificial intelligence
Enter an email to receive alerts for artificial-intelligence positions in computer-science