[an error occurred while processing this directive]
      <style type="text/css">
    	
	@media (min-width: 0px)
	{

		.scaled-text
		{
			font-size: 85%
		}

	}
	@media (min-width: 319px)
	{

		.scaled-text
		{
			font-size: 100%
		}

	}
	@media (min-width: 700px)
	{

		.scaled-text
		{
			font-size: 100%
		}

	}
	
	@media (min-width: 938px)
	{

		.scaled-text
		{
			font-size: 69%
		}
	}
	@media (min-width: 1050px)
	{

		.scaled-text
		{
			font-size: 80%
		}
	}
	@media (min-width: 1100px)
	{

		.scaled-text
		{
			font-size: 84%
		}
	}
	@media (min-width: 1150px)
	{

		.scaled-text
		{
			font-size: 89%
		}
	}
	@media (min-width: 1200px)
	{

		.scaled-text
		{
			font-size: 91%
		}
	}
	
	.indent
	{
		text-indent: -10px;
		padding-left: 10px;
	}
     </style>
	<title>Pedro Orvalho | Department of Computer Science</title>
        <link rel="canonical" href="https://www.cs.ox.ac.uk/people/pedro.orvalho/"/>
        <meta name="keywords" content="Pedro Orvalho,People,Department of Computer Science"/>
        <meta name="robots" content="noodp,noydir"/>
        <meta name="description" content="Pedro Orvalho at the Department of Computer Science"/>
        <link title="schema(og)" rel="schema.og" href="http://ogp.me/ns#"/>
        <link title="schema(profile)" rel="schema.profile" href="http://ogp.me/ns/profile#"/>
        <link title="schema(DC)" rel="schema.dc" href="http://purl.org/dc/elements/1.1/"/>
        <meta property="og:title" content="Pedro Orvalho"/>
        <meta property="og:description" content="The personal page of Pedro Orvalho at the Department of Computer Science"/>
        <meta property="og:type" content="profile"/>
        <meta property="og:url" content="https://www.cs.ox.ac.uk/people/pedro.orvalho/"/>
        <meta property="profile:first_name" content="Pedro"/>
        <meta property="profile:last_name" content="Orvalho"/>
        <meta property="og:locale" content="en_GB"/>
        <meta property="og:site_name" content="Department of Computer Science"/>
        <meta property="og:image" content="http://www.cs.ox.ac.uk/files/14865//pedro23.jpeg"/>
        <meta property="og:image:secure_url" content="https://www.cs.ox.ac.uk/files/14865//pedro23.jpeg"/>
        <meta property="og:image:secure_url" content="https://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social-large.png"/>
        <meta property="og:image:secure_url" content="https://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social.png"/>
        <meta property="og:image" content="http://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social-large.png"/>
        <meta property="og:image" content="http://www.cs.ox.ac.uk/images/Oxford-dept-of-Computer-Science-POS-KEY_RGB-social.png"/>
        <meta name="dc.title" content="Pedro Orvalho"/>
        <meta name="twitter:card" content="summary"/>
        <meta name="twitter:description" content="Pedro Orvalho at the Department of Computer Science"/>
        <meta name="twitter:title" content="Pedro Orvalho"/>
        <meta property="twitter:image" content="https://www.cs.ox.ac.uk/files/14865//pedro23.jpeg"/>[an error occurred while processing this directive]<!-- BREADCRUMBS --><div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/research.html">Research</a></li><li class="active">Pedro Orvalho</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent" itemscope="itemscope" itemtype="http://schema.org/Person"><!-- CONTENT (Column 2) --><div class="page-title"><h1><span itemprop="name">Pedro Orvalho</span></h1></div><div class="no-gutters"><div class="row"><div class="col-xs-12 col-md-4 panel panel-medium-brown equal-height equal-height-center-vertical">
        							<img class="img-responsive center-block" itemprop="image" src="/files/14865//pedro23.jpeg" alt="Personal photo - Pedro Orvalho" /></div><div class="col-xs-12 col-md-4 panel panel-dark-blue panel-condensed equal-height"><div class="panel-body"><p><strong><span itemprop="honorificPrefix">Mr</span> <span itemprop="givenName">Pedro</span> <span itemprop="familyName">Orvalho</span> <span itemprop="honorificSuffix"></span></strong></p><p></p><div itemprop="jobTitle" class="indent">Research Associate</div><p></p><p></p><p></p><p class="no-bottom-margin"><span itemprop="workLocation" class="scaled-text">
											Room 
											450, 
											<a class="panel-link" href="https://www.cs.ox.ac.uk/aboutus/directions.html">Wolfson Building</a>,
											 Parks Road, Oxford OX1 3QD<br>
											United Kingdom
											</span></p></div></div><div class="col-xs-12 col-md-4 panel panel-light-blue panel-condensed equal-height"><div class="panel-body"></div></div></div></div><h2>Interests</h2><p>Artificial Intelligence, Automated Reasoning, Formal Methods, Automated Verification, Program Repair, Computer-aided Education and Machine Learning.</p><h2>Biography</h2><p>I am a<span>&nbsp;</span>Research Associate<span>&nbsp;</span>at the<span>&nbsp;</span>University of Oxford, working with Professor<span>&nbsp;</span><a href="https://www.cs.ox.ac.uk/people/marta.kwiatkowska/">Marta Kwiatkowska</a><span>&nbsp;</span>on the<span>&nbsp;</span><a href="http://fun2model.org/">FUN2MODEL</a><span>&nbsp;</span>ERC project.</p>
<p><span>I hold a Ph.D. in Computer Science from </span>Instituto Superior T&eacute;cnico<span>&nbsp;</span>(<a href="https://tecnico.ulisboa.pt/">IST</a>),<span>&nbsp;</span>Universidade de Lisboa<span>&nbsp;</span>(<a href="https://www.ulisboa.pt/en">UL</a>). My doctoral research was conducted in collaboration with the<span>&nbsp;</span>Czech Technical University<span>&nbsp;</span>(<a href="https://www.cvut.cz/en">CTU</a>) in Prague, hosted at<span>&nbsp;</span><a href="https://www.inesc-id.pt/">INESC-ID</a>, IST in Lisbon, and<span>&nbsp;</span><a href="https://www.ciirc.cvut.cz/">CIIRC</a>, CTU in Prague. I had the privilege of being advised by<span>&nbsp;</span><a href="http://sat.inesc-id.pt/~vmm/research/index.html">Vasco Manquinho</a><span>&nbsp;</span>at INESC-ID and<span>&nbsp;</span><a href="http://people.ciirc.cvut.cz/~janotmik/">Mikol&aacute;&scaron; Janota</a><span>&nbsp;</span>at CIIRC. Additionally, I was a&nbsp;Junior Researcher&nbsp;in the<span>&nbsp;</span>Automated Reasoning and Software Reliability&nbsp;(<a href="https://www.inesc-id.pt/research-areas/automated-reasoning-and-software-reliability/">ARSR</a>) group at INESC-ID. For five years, I contributed to teaching as an&nbsp;Invited Teaching Assistant&nbsp;for the&nbsp;Computer Science Department&nbsp;at IST-UL.</p>
<p>My academic background includes a<span>&nbsp;</span>BSc<span>&nbsp;</span>and<span>&nbsp;</span>MSc<span>&nbsp;</span>in Information Systems and Computer Engineering from IST-UL. During the final year of my MSc, I worked as a&nbsp;Research Assistant<span>&nbsp;</span>at<span>&nbsp;</span>Carnegie Mellon University<span>&nbsp;</span>(<a href="https://www.cmu.edu/">CMU</a>), collaborating with<span>&nbsp;</span><a href="https://sat-group.github.io/ruben/">Ruben Martins</a>. I also gained industry experience as a<span>&nbsp;</span>Research Intern<span>&nbsp;</span>at<span>&nbsp;</span><a href="https://outsystems.com/">OutSystems</a>, a leading Portuguese software company.</p>
<p>Feel free to visit my personal <a rel="noopener" href="https://pmorvalho.github.io" target="_blank">webpage</a> for more information.</p>
						</div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li><a href="/people/faculty.html">Faculty</a></li><li class="active"><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li><li><a href="/people/associates.html">Associate Members</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]