index.html

---
layout: default
title: Home
---

<div class="home">

<ul class="things">
	<li>[2024-current] Head of <a href="https://awsdocs-neuron.readthedocs-hosted.com/en/latest/">AWS Neuron Compiler</a>. Leading the Neuron Graph Compiler team — building ML compiler infrastructure for AWS Trainium accelerators with PyTorch/JAX integration.</li>
	<li>[2021-2024] Principal Applied Scientist @ Amazon Devices. </li>
	<li>[2018-2021] Head of Software @ <a href="http://www.groq.com">Groq Inc </a></li>
  <li>[2017-2018] Sr. Software Engineer @ AWS Security (Automated Reasoning Group)</li>
  <li>[2013-2017] Research Scientist @ <a href="http://www.nasa.gov/centers/ames/home/index.html"> NASA Ames Research Center</a>, member of the <a href="http://ti.arc.nasa.gov/tech/rse/">Robust Software Engineering</a> group in the Intelligent System Division.</li>
  <li>[2015-2017] Staff Software Engineer @ <a href="https://www.nasa.gov/resource-prospector"> NASA Resource Prospector Mission</a>.</li>
  <li>[2013-2017] Senior System Scientist @  <a href="https://www.cylab.cmu.edu/education/faculty/kahsai.html">Carnegie Mellon University CyLAB</a>.</li>
</ul>

<h3>Personal Projects</h3>

<ul class="posts">
  <li>
    <a class="post-link" href="https://github.com/lememta/sage-lang">🌿 SAGE</a> — A semi-formal specification language for AI-assisted development. Blends natural language with types and contracts.
    <br><small><a href="/blog/">Read the blog post →</a></small>
  </li>
</ul>

<h3>Past Projects</h3>

  <ul class="posts">
        {% for post in site.posts %}
        <li>
            <a class="post-link" href="{{ post.url | prepend: site.baseurl }}">{{ post.title }}</a>
        </li>
        {% endfor %}
    </ul>

</div>