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
Luca De Alfaro
Software Engineering (SE)
Industry-Academia Collaboration
Startup Technology Development
About
I am a professor in the Computer Science and Engineering department at UCSC. I have been at UCSC since 2001.
Prior to that, I was an undergraduate student in Torino, Italy, then a Ph.D. student at Stanford, and then a postdoc at UC Berkeley. For three years, while on leave from UCSC, I was at Google, first as a visiting faculty, then eventually as a Staff Research Scientist. I co-founded two companies; SSB Progetti in Italy, and Camio in the US.
Research Performance Summary
1994-2025
Active Research Span
First Recorded Paper
Continuous verification by discrete reasoning
Year:
1994
Citations:
4
Venue:
N/A
Latest Recorded Paper
Moderation of user-generated content
Year:
2025
Citations:
0
Venue:
US Patent 12,380
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
de Alfaro
De Alfaro
Henzinger
Research Impact by Period
Papers
5
Citations
7
Avg. Citations / Paper
1.4
H-Index
2
Papers
23
Citations
235
Avg. Citations / Paper
10.2
H-Index
9
Papers
25
Citations
1315
Avg. Citations / Paper
52.6
H-Index
10
Papers
28
Citations
933
Avg. Citations / Paper
33.3
H-Index
13
Papers
44
Citations
2690
Avg. Citations / Paper
61.1
H-Index
19
Papers
43
Citations
5595
Avg. Citations / Paper
130.1
H-Index
29
Papers
18
Citations
2525
Avg. Citations / Paper
140.3
H-Index
14
Papers
1
Citations
4
Avg. Citations / Paper
4
H-Index
1
Contact and Professional Links
Detected Research Keywords
User Generated Content
Strategy Improvement Concurrent
Moderation User Generated
Concurrent Parity Games
Improvement Concurrent Reachability
Process Algebra Probabilistic
Algebra Probabilistic Methods
Probabilistic Methods Performance
Joint International Workshop
Model Checking Probabilistic