index.html

<!DOCTYPE html>
<html lang="en">

<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <meta name="author" content="Emina Torlak">
  <meta name="description" content="Emina Torlak's homepage">
  <meta name="keywords" content="Rosette, Kodkod, Cedar">
  <title>Emina Torlak</title>
  <link rel="stylesheet" href="css/index.css">
</head>

<body>

<header>
  <img src="img/emina.jpg" alt="Photo of Emina by Dennis Wise">
  <h1>Emina Torlak</h1>
  <div>
    Senior Principal Scientist at <a href="https://aws.amazon.com">Amazon Web Services</a><br>
  </div>
  <nav>
  <ul>
    <li><a href="cv.html">CV</a></li>
    <li><a href="https://github.com/emina">GitHub</a></li>
    <li><a href="https://www.linkedin.com/in/emina-torlak-00451013/">LinkedIn</a></li>
    <li><a href="https://dblp.uni-trier.de/pid/55/1457.html">DBLP</a></li>
    <li><a href="https://scholar.google.com/citations?user=rFpexEAAAAAJ&hl=en">Google Scholar</a></li>
  </ul>
  </nav>
</header>

<p>
My research aims to help people build better software more easily. I develop
languages and tools for program verification and synthesis. I created <a href="https://emina.github.io/rosette/">Rosette</a>
and <a href="https://emina.github.io/kodkod/">Kodkod</a>, and co-lead the development of <a href="https://www.cedarpolicy.com/en">Cedar</a> (with <a href="https://mhicks.me">Mike Hicks</a>).
Rosette is a solver-aided language that powers verification and synthesis tools
for all kinds of systems, from radiation therapy control to Linux JIT compilers.
Kodkod is a solver for relational logic, used widely in tools for software
analysis and design. Cedar is an expressive, fast, and analyzable language for
authorization, used by <a href="https://aws.amazon.com/verified-permissions/">Amazon Verified Permissions</a> and <a href="https://aws.amazon.com/verified-access/">AWS Verified Access</a>.
</p>

<nav>
<ul>
  <li><a href="cv.html#Publications">Publications</a></li>
  <li><a href="cv.html#Students">Students</a></li>
  <li><a href="cv.html#Teaching">Teaching</a></li>
  <li><a href="cv.html#Service">Service</a></li>
  <li><a href="cv.html#Awards">Awards</a></li>
</ul>
</nav>

<footer>&copy; Emina Torlak. All rights reserved. Built with <a href="https://docs.racket-lang.org/pollen/">Pollen</a>. Last updated 31 Dec 2023.</footer>

</body>
</html>