Concepedia
Statistics
Publications
2
Citations
34
H-Index
Active since
2017
Affiliations
RWTH Aachen University(Current)
University of Illinois Urbana-Champaign
Lucas Peña is an author at RWTH Aachen University specializing in computer science, automated reasoning, and engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisProof ComplexitySoftware AnalysisFormal Specification
Publications per year
2017–2022
Foundations for natural proofs and quantifier instantiation
Christof Löding, P. Madhusudan, Lucas Peña · Proceedings of the ACM on Programming Languages · 2017 · 23 citations · Full text
Engineering, Term Instantiation, Operational Semantics +14
Model-guided synthesis of inductive lemmas for FOL with least fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard et al. · Proceedings of the ACM on Programming Languages · 2022 · 11 citations · Full text
Engineering, Pure First-order Logic, Verification +17
1–2 of 2