Tag: Yuriy Brun

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Yuriy Brun

Brun Receives IEEE 2021 TCSE Distinguished New Directions Award

Added to Collection on: 2021-05-06 18:00:00

Tags for this article:

Computing
Technology
Articles
Bias
Discrimination
Information ethics
Machine learning
Philosophy of artificial intelligence
CICS
Fairness
SIGSOFT
Software development
Yuriy Brun

Click the tags to see associated articles and topics

View Article Details
AI-Powered Proof Generator Helps Debug Software - IEEE Spectrum

Added to Collection on: 2024-01-25 18:32:02

Tags for this article:

Proof theory
Formal methods
Automated theorem proving
Logic in computer science
Proof assistants
Isabelle
Mathematical proof
Formal proof
Formal verification
Yuriy Brun
Baldur

Click the tags to see associated articles and topics

View Article Details