PhD Candidate

University of Manchester

Biography

My name is Miguel E. P. Silva and I’m currently a PhD candidate in Computer Science, at the University of Manchester. My work is divided into two main components, a data analysis one, where I’m looking at Twitter, Reddit and BBS Forums to learn how people discuss vaccination, and a graph theory component, where I’m trying to improve metrics to perform graph comparison.

I’ve recently been in a 3 month internship at IBM Research UK, where I worked with Multi-Agent Deep Reinforcement Learning and Graph Neural Networks, expanding my research interests to these two areas.

Interests

  • Complex Networks
  • Graph Mining
  • Reinforcement Learning

Education

  • MSc. in Computer Science, 2016

    University of Porto

  • BSc in Computer Science, 2014

    University of Porto

Recent Publications

A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets

Computing subgraph frequencies is a fundamental task that lies at the core of several network analysis methodologies, such as network …

Network motifs detection using random networks with prescribed subgraph frequencies

In order to detect network motifs we need to evaluate the exceptionality of subgraphs in a given network. This is usually done by …

Non-Blocking Concurrent Imperative Programming with Session Types

Concurrent C0 is an imperative programming language in the C family with session-typed message- passing concurrency. The previously …

Experience

 
 
 
 
 

Research Intern

IBM Research UK

Feb 2020 – Apr 2020 Warrington, England, UK
Worked with Multi-Agent Deep Reinforcement Learning and Graph Neural Networks.
 
 
 
 
 

PhD Candidate

University of Manchester

Sep 2017 – Present Manchester, England, UK
 
 
 
 
 

Research Assistant

INESC-TEC

Sep 2016 – Sep 2017 Porto, Portugal
Worked in generation of random networks and adaptive subgraph sampling.
 
 
 
 
 

Undergraduate Intern

Carnegie Mellon University

Jul 2015 – Sep 2015 Pittsburgh, Pennsylvania, USA
Worked in complexity analysis of parallel programs in Concurrent C0, an imperative language of the C family with session-typed message passing concurrency.

Contact