Pedro Orvalho
Open Menu
Close Menu
About
News
Papers
Talks
Experience
Research
Teaching
Service
Honors
Tags
AI4Code
1
AI4Education
1
AI4SE
9
AIHUB
1
ALLIES
1
Alloy
1
Artificial Intelligence
21
Automated Program Repair
22
Automated Program Repair"
1
Automated Reasoning
8
Automated Verification
7
C
1
C-Pack-IPAs
1
CFaults
3
Code Mutations
1
Computer Science Education
2
Computer-aided Education
11
CSIC
1
Data Augmentation
2
Databases
3
Enumerative Search
6
Fault Localisation
10
Fellowship
1
Formal Methods
16
Formula-Based Fault Localisation
1
Git
1
GitLab
1
GitSEED
2
Graph Neural Networks
4
IIIA
1
Intelligent Tutoring Systems
1
InvAASTCluster
2
IRI
1
Large Language Models
11
LLM-Based Program Repair
6
LLM4Code
1
LLMs for Code Understanding
2
Maximum Satisfiability
8
MaxSAT
2
MENTOR
8
Model-Based Diagnosis
12
MSCA COFUND
1
Oxford
1
PhD
1
Postdoc
1
Program Analysis
6
Program Clustering
3
Program Equivalence
3
Program Invariants
3
Program Synthesis
6
Program Transformation
2
Programming Education
7
Query Reverse Engineering
6
R
5
Semantic Robustness of Large Language Models
2
Software Engineering
3
Software Engineering Education
4
SQL
6
SQUARES
4
UpMax
3
User-based Partitioning
3
Variable Alignment
4
VoA
1