Concepedia

Zhanna Kaufman

ZK

2

Publications

32

Citations

2

H-Index

2023

Active since

Affiliations

University of Massachusetts Amherst(Current)

Zhanna Kaufman is an author at University of Massachusetts Amherst specializing in formal methods, natural language processing, and data security.

Top concepts

EngineeringSemantic WebVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification

Publications per year

2023–2023

2

Publications

2

Passport: Improving Automated Formal Verification Using Identifiers

Alex Sanchez-Stern, Emily First, Timothy Zhou et al. · ACM Transactions on Programming Languages and Systems · 2023 · 19 citations · Full text

Engineering, Information Security, Verification +19

My Model is Unfair, Do People Even Care? Visual Design Affects Trust and Perceived Bias in Machine Learning

Aimen Gaba, Zhanna Kaufman, Jason Pui Yin Cheung et al. · IEEE Transactions on Visualization and Computer Graphics · 2023 · 13 citations

Rows per page

1–2 of 2