[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>Alex Kavvos | Department of Computer Science</title>
        <link rel="canonical" href="https://www.cs.ox.ac.uk/people/alex.kavvos/"/>
        <meta name="keywords" content="Alex Kavvos,People,Department of Computer Science"/>
        <meta name="robots" content="noodp,noydir"/>
        <meta name="description" content="Alex Kavvos 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="Alex Kavvos"/>
        <meta property="og:description" content="The personal page of Alex Kavvos at the Department of Computer Science"/>
        <meta property="og:type" content="profile"/>
        <meta property="og:url" content="https://www.cs.ox.ac.uk/people/alex.kavvos/"/>
        <meta property="profile:first_name" content="Alex"/>
        <meta property="profile:last_name" content="Kavvos"/>
        <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/6239//IMG_0977.jpg"/>
        <meta property="og:image:secure_url" content="https://www.cs.ox.ac.uk/files/6239//IMG_0977.jpg"/>
        <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="Alex Kavvos"/>
        <meta name="twitter:card" content="summary"/>
        <meta name="twitter:description" content="Alex Kavvos at the Department of Computer Science"/>
        <meta name="twitter:title" content="Alex Kavvos"/>
        <meta property="twitter:image" content="https://www.cs.ox.ac.uk/files/6239//IMG_0977.jpg"/>[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/students.html">Students</a></li><li class="active">Alex Kavvos</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">Alex Kavvos</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/6239//IMG_0977.jpg" alt="Personal photo - Alex Kavvos" /></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="givenName">Alex</span> <span itemprop="familyName">Kavvos</span> <span itemprop="honorificSuffix"></span></strong></p><p></p><div itemprop="jobTitle" class="indent">Doctoral Student</div><p></p><p></p><div class="indent"><span itemprop="jobTitle">College Lecturer</span>, <span itemprop="memberof" itemscope="itemscope" itemtype="http://www.schema.org/Organization"><meta itemprop="url" content="http://www.univ.ox.ac.uk"><a href="http://www.univ.ox.ac.uk" class="panel-link"><span itemprop="legalName">University College</span></a></span></div><div class="indent"><span itemprop="jobTitle">Student</span>, <span itemprop="memberof" itemscope="itemscope" itemtype="http://www.schema.org/Organization"><meta itemprop="url" content="http://www.sjc.ox.ac.uk"><a href="http://www.sjc.ox.ac.uk" class="panel-link"><span itemprop="legalName">St John's College</span></a></span></div><p></p>Leaving date: 5th October 2017<p class="no-bottom-margin"></p></div></div><div class="col-xs-12 col-md-4 panel panel-light-blue panel-condensed equal-height"><div class="panel-body"><h2 class="panel-subheading text-uppercase no-top-margin">Themes:</h2><ul class="list-comma-separated"><li><a href="/research/fls" class="panel-link"><span itemprop="affiliation">Quantum</span></a></li></ul></div></div></div></div><h2>Interests</h2><p>&lambda;-calculus, type theory, modalities in type theory and programming languages, categorical semantics, higher-order computability.</p>
<p>Please visit my <a href="http://www.lambdabetaeta.eu" target="_blank">personal website</a>.</p><h2>Biography</h2><p>I read Computer Science at <a href="http://www.univ.ox.ac.uk">University College, Oxford</a> and received a MCompSci in Computer Science in 2013. I am a Non-Stipendiary College Lecturer at Univ, mainly tutoring undergraduate students in 1st year programming courses.</p><h2>Selected Publications</h2><p><a href="/people/publications/date/Alex.Kavvos.html" class="btn btn-dark-brown-outline btn-thin text-uppercase">View All</a><a href="https://www.cs.ox.ac.uk/research/publications/manage" class="btn btn-dark-brown-outline btn-thin text-uppercase">Manage publications</a></p><ul class="list-unbulleted list-unbulleted-spaced"><li> <p class="publicationTitle"> <strong>
            Dual&#x2212;Context Calculi for Modal Logic </strong> </p>
	    <p class="publicationAuthors"> <em> G. A. Kavvos  </em> </p>
	
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)</em>.
        2017.
        </p>
	
        <p class="publicationlinks"> <a
        
            href="/publications/publication10941-abstract.html"> Details   <span class="sr-only" > about <em> Dual&#x2212;Context Calculi for Modal Logic  </em></span> </a> | <a
        
            href="/publications/publication10941.bib"> BibTeX  <span class="sr-only" > data for <em> Dual&#x2212;Context Calculi for Modal Logic  </em></span>   </a> 
					| <a href="http://arxiv.org/abs/1602.04860"> Link <span class="sr-only" > to <em> Dual&#x2212;Context Calculi for Modal Logic  </em></span> </a>
  				</li><li> <p class="publicationTitle"> <strong>
            On the Semantics of Intensionality </strong> </p>
	    <p class="publicationAuthors"> <em> G. A. Kavvos  </em> </p>
	
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)</em>.
        2017.
        </p>
	
        <p class="publicationlinks"> <a
        
            href="/publications/publication10922-abstract.html"> Details   <span class="sr-only" > about <em> On the Semantics of Intensionality  </em></span> </a> | <a
        
            href="/publications/publication10922.bib"> BibTeX  <span class="sr-only" > data for <em> On the Semantics of Intensionality  </em></span>   </a> 
					| <a href="http://arxiv.org/abs/1602.01365"> Link <span class="sr-only" > to <em> On the Semantics of Intensionality  </em></span> </a>
  				</li><li> <p class="publicationTitle"> <strong>
            The Many Worlds of Modal &#x03bb;&#x2212;calculi: I. Curry&#x2212;Howard for Necessity&#x201a; Possibility and Time </strong> </p>
	    <p class="publicationAuthors"> <em> G. A. Kavvos  </em> </p>
	
	
	<p class="publicationDetails"> May,
            2016.
        </p>
	
        <p class="publicationlinks"> <a
        
            href="/publications/publication10625-abstract.html"> Details   <span class="sr-only" > about <em> The Many Worlds of Modal &#x03bb;&#x2212;calculi: I. Curry&#x2212;Howard for Necessity&#x201a; Possibility and Time  </em></span> </a> | <a
        
            href="/publications/publication10625.bib"> BibTeX  <span class="sr-only" > data for <em> The Many Worlds of Modal &#x03bb;&#x2212;calculi: I. Curry&#x2212;Howard for Necessity&#x201a; Possibility and Time  </em></span>   </a> 
					| <a href="http://arxiv.org/abs/1605.08106"> Link <span class="sr-only" > to <em> The Many Worlds of Modal &#x03bb;&#x2212;calculi: I. Curry&#x2212;Howard for Necessity&#x201a; Possibility and Time  </em></span> </a>
  				</li></ul><h2>Activities</h2><ul class="list-comma-separated"><li><a href="/activities/fp/"><span itemprop="affiliation">Functional Programming</span></a></li><li><a href="/activities/quantum/"><span itemprop="affiliation">Quantum Group</span></a></li></ul></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><a href="/people/research.html">Research</a></li><li class="active"><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]