See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Joseph Near
Data Privacy
Computer Security
Programming Languages
About
Joseph is an Associate Professor of Computer Science at the University of Vermont. His research interests include data privacy, computer security, and programming languages. Joseph received his BS in computer science from Indiana University and his MS and PhD in computer science from MIT.
Research Performance Summary
2008-2026
Active Research Span
First Recorded Paper
αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic
Year:
2008
Citations:
25
Venue:
International Conference on Logic Programming
Latest Recorded Paper
Beyond Fixed Psychological Personas: State Beats Trait, but Language Models are State-Blind
Year:
2026
Citations:
0
Venue:
arXiv preprint arXiv:2601.15395
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Top Coauthors
Near
Jackson
Darais
Research Impact by Period
Papers
9
Citations
77
Avg. Citations / Paper
8.6
H-Index
2
Papers
36
Citations
606
Avg. Citations / Paper
16.8
H-Index
13
Papers
7
Citations
1002
Avg. Citations / Paper
143.1
H-Index
6
Papers
12
Citations
208
Avg. Citations / Paper
17.3
H-Index
6
Papers
5
Citations
59
Avg. Citations / Paper
11.8
H-Index
3
Contact and Professional Links
Detected Research Keywords
Higher Order Relational
Order Relational Constraint
Relational Constraint Solver
Enforcing Differential Privacy
Finding Security Bugs
Security Bugs Web
Bugs Web Applications
Imperative Extension Alloy
Alloy Language Tool
Language Tool Relational