Faculty

Institution

Unit

Venue

Henry Kautz

Professor Computer Science

University of Virginia

Affiliations

School of Engineering and Applied Science

Department of Computer Science

Henry Kautz is currently serving as a Computer Science Professor Computer Science at University of Virginia.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Henry Kautz

University of Virginia

Professor Computer Science

You can click a keyword to filter the displayed items

computer science data science automated reasoning logic in computer science artificial intelligence knowledge representation and reasoning machine learning formal methods inference sat solving satisfiability automated deduction computational intelligence human-computer interaction activity recognition online information theory of computation machine learning research theoretical computer science knowledge discovery ai planning computational complexity intelligent user interfaces systems engineering combinatorial optimization medical internet research planning theory mathematics computational optimization constraint solving social medium data discrete algorithms multimedia information processing constraint satisfaction social medium mining bayesian analysis knowledge-based systems propositional logic heuristic planning mobile sensing location information social medium monitoring knowledge-based reasoning computer-assisted reasoning heuristic search local search (optimization) knowledge compilation location tracking temporal logic computer accessibility mental health monitoring cyberpsychology markov logic video understanding epidemic intelligence computational epidemiology statistical relational learning location-aware social medium sensor data proof complexity reasoning system default logic gps data plan recognition weighted model counting multi-agent activities local search clause learning noisy sensor data online social media ai planning problems constraint propagation algorithms local search strategies kth dataset user location location prediction

Notable Scholarly Works

Notable Federal Grants

Collaborators

Ski-Sat: A Cmos-Compatible Hardware for Solving Sat Problems. IEEE Transactions on Circuits and Systems I Regular Papers (2025)

Ahmet Yusuf SalimBart SelmanHenry KautzZeljko IgnjatovicSelçuk Köse

vlsi circuithigh performance computer architecturesat solvingcomputer architecturecomputer sciencesat problemshardware verification languagecomputer engineeringmicroarchitecture

REVIEW: Machines Like Us: Toward AI With Common Sense. Prometheus: Critical Studies in Innovation (2023)

Henry Kautz

computational intelligenceknowledge representation and reasoningautomationhumanartificial intelligence collaborationintelligent computingcomputer scienceartificial general intelligencemachine intelligenceintelligent systemshuman-ai interactiontoward aiartificial intelligencecognitive science

Ronald J. Brachman and Hector J. Levesque, Machines Like Us: Toward AI With Common Sense. Prometheus (2023)

Henry Kautz

responsible aicomputer sciencemachine learninghuman-ai interactionartificial intelligencecommon sense

Reply to: On the Difficulty of Achieving Differential Privacy in Practice: User-Level Guarantees in Aggregate Location Data. Nature Communications (2022)

Aleix BassolasHugo Barbosa-FilhoBrian DickinsonXerxes DotiwallaPaul EasthamRiccardo GallottiGourab GhoshalBryant GipsonSurendra A. HazarieHenry KautzOnur KucuktuncAllison LieberAdam SadilekJose J. Ramasco

aggregate location datadata securityuser-level guaranteescomputer sciencedifferential privacydata sciencespatial analysisdata privacyinformation securityinformation privacy

The Third AI Summer. AI Magazine (2022)

Henry Kautz

computational intelligenceintelligent computingai architecturecomputer scienceartificial general intelligencemachine intelligenceintelligent systemsthird ai summerartificial intelligence

The Third AI Summer: Aaai Robert S. Engelmore Memorial Lecture. AI Magazine (2022)

Henry Kautz

ai safety educationintellectual historyimagined dangerscomputational intelligenceliteratureintelligent computingintelligent user interfacesai architectureresponsible aiartificial general intelligencemachine intelligenceintelligent systemsethics of artificial intelligencethird ai summerhumanitiesartificial intelligence

Unlocking Government Data to Support and Evaluate Scientific Research: An Overview of Selected Papers From the Value of Science Conference. Harvard Data Science Review (2022)

Henry Kautz

program evaluationpublic policyperformance evaluationgovernancescience conferenceevaluate scientific researchpolicy analysisgovernment datagovernment informationpublic administrationstatistics

A Patient-Centered Digital Scribe for Automatic Medical Documentation. JAMIA Open (2021)

Jesse WangMarc LavenderEhsan HoquePatrick BrophyHenry Kautz

electronic health recordsmedical systemshealth informaticsmedical information systemscommunicationpatient-centered communicationdigital healthpatient-centered digital scribehealth technologydigital medicinelanguagedigital scribehealth information science

A Testbed for Learning by Demonstration From Natural Language and Rgb-Depth Video. Proceedings of the AAAI Conference on Artificial Intelligence (2021)

Young Chol SongHenry Kautz

testbedcomputational intelligencelanguage learningnatural language processingcomputer sciencergb-depth videomachine learningartificial intelligenceimage analysisnatural language

Chapter 6. Incomplete Algorithms. Frontiers in artificial intelligence and applications (2021)

Henry KautzAshish SabharwalBart Selman

computer sciencetheory of computationlocal search (optimization)formal methodstheoretical computer sciencesatisfiabilitycomputational sciencelocal minimacomputational complexityautomated reasoningcombinatorial optimizationincomplete algorithmssat solvingdiscrete algorithmscomputational mathematicsmathematical optimizationapplied mathematicscomputational optimizationchapter 6

1
2
3
4
5
25
10 / page

Henry Kautz

Professor Computer Science

University of Virginia

Affiliations

School of Engineering and Applied Science

Department of Computer Science

Henry Kautz is currently serving as a Computer Science Professor Computer Science at University of Virginia.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Henry Kautz

University of Virginia

Professor Computer Science

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Ski-Sat: A Cmos-Compatible Hardware for Solving Sat Problems. IEEE Transactions on Circuits and Systems I Regular Papers (2025)

Ahmet Yusuf SalimBart SelmanHenry KautzZeljko IgnjatovicSelçuk Köse

vlsi circuithigh performance computer architecturesat solvingcomputer architecturecomputer sciencesat problemshardware verification languagecomputer engineeringmicroarchitecture

REVIEW: Machines Like Us: Toward AI With Common Sense. Prometheus: Critical Studies in Innovation (2023)

Henry Kautz

Ronald J. Brachman and Hector J. Levesque, Machines Like Us: Toward AI With Common Sense. Prometheus (2023)

Henry Kautz

responsible aicomputer sciencemachine learninghuman-ai interactionartificial intelligencecommon sense

Reply to: On the Difficulty of Achieving Differential Privacy in Practice: User-Level Guarantees in Aggregate Location Data. Nature Communications (2022)

aggregate location datadata securityuser-level guaranteescomputer sciencedifferential privacydata sciencespatial analysisdata privacyinformation securityinformation privacy

The Third AI Summer. AI Magazine (2022)

Henry Kautz

computational intelligenceintelligent computingai architecturecomputer scienceartificial general intelligencemachine intelligenceintelligent systemsthird ai summerartificial intelligence

The Third AI Summer: Aaai Robert S. Engelmore Memorial Lecture. AI Magazine (2022)

Henry Kautz

Unlocking Government Data to Support and Evaluate Scientific Research: An Overview of Selected Papers From the Value of Science Conference. Harvard Data Science Review (2022)

Henry Kautz

program evaluationpublic policyperformance evaluationgovernancescience conferenceevaluate scientific researchpolicy analysisgovernment datagovernment informationpublic administrationstatistics

A Patient-Centered Digital Scribe for Automatic Medical Documentation. JAMIA Open (2021)

Jesse WangMarc LavenderEhsan HoquePatrick BrophyHenry Kautz

A Testbed for Learning by Demonstration From Natural Language and Rgb-Depth Video. Proceedings of the AAAI Conference on Artificial Intelligence (2021)

Young Chol SongHenry Kautz

testbedcomputational intelligencelanguage learningnatural language processingcomputer sciencergb-depth videomachine learningartificial intelligenceimage analysisnatural language

Chapter 6. Incomplete Algorithms. Frontiers in artificial intelligence and applications (2021)

Henry KautzAshish SabharwalBart Selman

1
2
3
4
5
25
10 / page

Similar Faculty Members

Craig A. Knoblock

Institution

University of Southern California

schema alignment

ontology alignment

Thomas G. Dietterich

Institution

Oregon State University

robust artificial intelligence

multidisciplinary ai

Yan Liu

Institution

University of Southern California

explainable machine learning

applied artificial intelligence

Bart Selman

Institution

Cornell University

computational statistic

statistics

Jonathan Gratch

Institution

University of Southern California

design

human-centered computing

Dan Roth

Institution

University of Pennsylvania

formal concept analysis

data science

Cyrus Shahabi

Institution

University of Southern California

spatial analysis

database

Andrew Campbell

Institution

Dartmouth College

multidisciplinary ai

ai integration

Lyle H. Ungar

Institution

University of Pennsylvania

language technologies

applied linguistics

Similar Faculty Members

Craig A. Knoblock

Institution

University of Southern California

schema alignment

ontology alignment

Thomas G. Dietterich

Institution

Oregon State University

robust artificial intelligence

multidisciplinary ai

Yan Liu

Institution

University of Southern California

explainable machine learning

applied artificial intelligence

Bart Selman

Institution

Cornell University

computational statistic

statistics

Jonathan Gratch

Institution

University of Southern California

design

human-centered computing

Dan Roth

Institution

University of Pennsylvania

formal concept analysis

data science

Cyrus Shahabi

Institution

University of Southern California

spatial analysis

database

Andrew Campbell

Institution

Dartmouth College

multidisciplinary ai

ai integration

Lyle H. Ungar

Institution

University of Pennsylvania

language technologies

applied linguistics