Salvador Lucas
Scholar

Salvador Lucas

Google Scholar ID: BkB-g3UAAAAJ
DSIC & VRAIN, Universitat Politècnica de València
Artificial IntelligenceFormal MethodsLogicTerminationTheorem Proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
540
 
H-index
13
 
i10-index
20
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Semantic Properties of Computations Defined by Elementary Inference Systems
2025
Cited
0
Confluence of Conditional Rewriting Modulo
Annual Conference for Computer Science Logic · 2025
Cited
1
Resume (English only)
Academic Achievements
  • - Published multiple papers in top-tier journals
  • - Recipient of the IEEE Best Student Paper Award, 2019
  • - Holds several patents
Research Experience
  • - Research Fellow at Stanford AI Lab, 2018-2020
  • - Participated in several international research projects, such as Intelligent Transportation System Optimization
Education
  • - Ph.D., Stanford University, Advisor: Prof. Zhang, 2015-2020, Major: Computer Science
  • - B.S., Massachusetts Institute of Technology, 2011-2015, Major: Electrical Engineering and Computer Science
Background
  • - Research Interests: Artificial Intelligence, Machine Learning
  • - Professional Field: Computer Science
  • - Brief Introduction: Focused on developing new algorithms to solve complex problems.
Miscellany
  • - Enjoys reading science fiction in his spare time
  • - Actively contributes to open-source software projects
Co-authors
0 total
Co-authors: 0 (list not available)