John V. Guttag
0000-0003-0992-0906
Publications
234 total
No publications found.
Research Topics
Logic, programming, and type systems
Formal Methods in Verification
ECG Monitoring and Analysis
Software Engineering Research
Machine Learning in Healthcare
Affiliations
MIT Computer Science and Artificial Intelligence Laboratory
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.