about.html

<!DOCTYPE html>
<html lang="en">
<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <title>About QFormal</title>
  <link rel="icon" type="image/png" sizes="32x32" href="images/favicon-32x32.png">
  <link rel="icon" type="image/png" sizes="16x16" href="images/favicon-16x16.png">
  <link rel="apple-touch-icon" href="images/apple-touch-icon-180x180.png">
  <link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.2/dist/css/bootstrap.min.css" rel="stylesheet">
  <style>
    .navbar-nav .nav-link {
      font-size: 1.5rem;
      padding-left: 1.5rem !important;
      padding-right: 1.5rem !important;
    }

    .headshot {
      width: 140px;
      height: 140px;
      object-fit: cover;
      border-radius: 50%;
      border: 4px solid #555;
      box-shadow: 0 2px 8px rgba(0,0,0,0.12);
      /* Example crop adjustment: */
      object-position: 50% 50%; /* Adjust these numbers for crop */
      margin-bottom: 10px;
    }
    .person {
      display: flex;
      flex-direction: column;
      align-items: center;
      text-align: center;
      gap: 12px;
      flex: 1;
      min-width: 250px;
    }
    .person-info {
      flex: 1;
    }
    .bio {
      display: flex;
      flex-wrap: wrap;
      gap: 24px;
      justify-content: space-around;
    }
  </style>
</head>
<body>
<nav class="navbar navbar-expand-lg navbar-dark bg-dark">
  <div class="container-fluid">
    <a class="navbar-brand" href="/">
        <div class="ms-auto d-flex align-items-center">
        <img src="images/logo.png" alt="QFormal Logo" style="height:40px;" class="ms-2">
        </div>
    QFormal</a>
    <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarNav" aria-controls="navbarNav" aria-expanded="false" aria-label="Toggle navigation">
      <span class="navbar-toggler-icon"></span>
    </button>
    <div class="collapse navbar-collapse" id="navbarNav">
      <ul class="navbar-nav">
        <li class="nav-item"><a class="nav-link" href="about.html">About</a></li>
        <li class="nav-item"><a class="nav-link" href="work.html">Work</a></li>
        <li class="nav-item"><a class="nav-link" href="why-lean.html">Why Lean?</a></li>
        <li class="nav-item"><a class="nav-link" href="why-quantum.html">Why Quantum?</a></li>
        <li class="nav-item"><a class="nav-link" href="talks.html">Talks</a></li>
        <li class="nav-item"><a class="nav-link" href="contact.html">Contact</a></li>
      </ul>
    </div>
  </div>
</nav>
<div class="container mt-5">
  <h2>About the Quantum Formal Initiative (QFormal)</h2>
  <p>QFormal is an effort led by Alex Meiburg, Leonardo Lessa, and Rodolfo Soldati at the University of Waterloo and the Perimeter Institute for Theoretical Physics.</p>
  <p>We focus on formalizing quantum information theory in Lean 4. See the <a href="work.html">work page</a> for more details our current projects.</p>
  <h3>Institutions</h3>
  <ul>
    <li><a href="https://uwaterloo.ca/institute-for-quantum-computing/">University of Waterloo, Institute for Quantum Computing</a></li>
    <li><a href="https://perimeterinstitute.ca/">Perimeter Institute for Theoretical Physics</a></li>
  </ul>
  <h3>Team</h3>
  <div class="bio">
    <div class="person">
      <img src="images/meiburg.jpg" alt="Meiburg headshot" class="headshot" style="object-position: 50% 10%;">
      <div class="person-info">
        <strong>Alexander Meiburg</strong> - <a href="http://ohaithe.re/">Website</a><br>
        Alexander is a postdoc at the Perimeter Institute and IQC. He completed his PhD at the University of California, Santa Barbara under the supervision of Bela Bauer. He also works with <a href="http://harmonic.fun/">Harmonic</a> building AI for Lean.
      </div>
    </div>
    <div class="person">
      <img src="images/lessa.jpg" alt="Lessa headshot" class="headshot" style="object-position: 50% 50%;">
      <div class="person-info">
        <strong>Leonardo A. Lessa</strong> - <a href="https://www.llessa.me">Website</a><br>
        Leonardo is a PhD student at Perimeter supervised by Chong Wang & Timothy Hsieh.
      </div>
    </div>
    <div class="person">
      <img src="images/soldati.jpg" alt="Soldati headshot" class="headshot" style="object-position: 50% 50%;">
      <div class="person-info">
        <strong>Rodolfo Soldati</strong> - <a href="https://rodolfor-s.github.io/">Website</a><br>
        Rodolfo is a postdoctoral researcher at the Perimeter Institute and IQC. He completed his PhD jointly at University of Stuttgart and the University of São Paulo, and under the supervision of Eric Lutz and Gabriel Landi.
      </div>
    </div>
  </div>
</div>
<script src="https://cdn.jsdelivr.net/npm/bootstrap@5.3.2/dist/js/bootstrap.bundle.min.js"></script>
</body>
</html>