Luis Pedrosa is an Assistant Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico / University of Lisbon and a Researcher at INESC-ID. Before joining IST, he received his PhD in Computer Science at the University of Southern California and was subsequently a Post-Doctoral Researcher at the Swiss Federal Institute of Technology in Lausanne (EPFL). His research involves applying PL techniques to synthesize and reason about the performance, correctness, and reliability of modern networked systems.

Interesses científicos

Área de Especialização (FOS)

Ciências da Computação e da Informação

Perfis externos

DBLP: homepages/41/7401
ORCID: 0000-0002-4611-8309
Scopus: 25927476200
Ciência ID: 4317-80C2-6FEF

Produção científica

Publicações

Consulte as publicações realizadas por este autor.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.

Loading publication type

Loading the publication title

Loading template jornal

year Author's Name , et al.