People
Andrei Voronkov (computer scientist)
—monthly views
0copies owned
—player watchlists
People
Andrei Voronkov (computer scientist)
Professor of Computer Science
common · Q502611
Related cards · computer scientist
See all 6,683
Pop stars
Ada Lovelace
—monthly views
0copies owned
—player watchlists
People
15 (software engineer)
—monthly views
0copies owned
—player watchlists
People
Adrian Lamo
—monthly views
0copies owned
—player watchlists
People
Adi Shamir
—monthly views
0copies owned
—player watchlists
People
Adrian Carmack
—monthly views
0copies owned
—player watchlists
People
Adam Osborne
—monthly views
0copies owned
—player watchlists
Related cards · formal methods
See all 6
People
Muffy Calder
—monthly views
0copies owned
—player watchlists
People
Eric Hehner
—monthly views
0copies owned
—player watchlists
People
John Rushby
—monthly views
0copies owned
—player watchlists
Meta topics
ProCoS
—monthly views
0copies owned
—player watchlists
People
Anca Muscholl
—monthly views
0copies owned
—player watchlists
Related cards · Herbrand Award
See all 32
People
Leonardo de Moura
—monthly views
0copies owned
—player watchlists
People
Martin Davis (mathematician)
—monthly views
0copies owned
—player watchlists
People
Moshe Vardi
—monthly views
0copies owned
—player watchlists
People
Gérard Huet
—monthly views
0copies owned
—player watchlists
People
Lawrence Paulson
—monthly views
0copies owned
—player watchlists
People
Edmund M. Clarke
—monthly views
0copies owned
—player watchlists