Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 11969 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Цепочка редиректов для файла robots.txt:
http://chajed.io/robots.txt
301 MovedPermanently
https://www.chajed.io/robots.txt
200 OK
Показать содержимое robots.txt
<!doctype html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta name="description" content="Tej Chajed is a Senior Research Scientist at Google DeepMind working on AI and formal verification." />
<meta name="author" content="Tej Chajed" />
<meta name="theme-color" content="#faf7f1" />
<link rel="canonical" href="https://www.chajed.io/" />
<link rel="icon" href="data:image/svg+xml,<svg xmlns=%22http://www.w3.org/2000/svg%22 viewBox=%220 0 100 100%22><text y=%22.9em%22 font-size=%2290%22>✎</text></svg>" />
<link rel="preconnect" href="https://fonts.googleapis.com" />
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin />
<link href="https://fonts.googleapis.com/css2?family=Caveat:wght@400;600&family=IBM+Plex+Mono:wght@400;500&family=Spectral:ital,wght@0,300;0,400;0,600;1,400&display=swap" rel="stylesheet" />
<title>Tej Chajed</title>
<script type="module" crossorigin src="/assets/main-YTKS0WHN.js"></script>
<link rel="modulepreload" crossorigin href="/assets/publications-XY2twpJV.js">
<link rel="stylesheet" crossorigin href="/assets/publications-CDp5IQad.css">
</head>
<body>
<main class="page">
<div class="notebook">
<header class="site-header">
<div class="identity">
<h1>Tej Chajed</h1>
<p class="meta">Senior Research Scientist, Google DeepMind</p>
<div class="contact-links" aria-label="Contact and profiles">
<a href="/cdn-cgi/l/email-protection#1367707b7279767753747e727a7f3d707c7e"><svg width="16" height="16" viewBox="0 0 24 24" aria-hidden="true"><path d="M3 5.5h18v13H3zM3.5 6l8.5 7 8.5-7" /></svg><span><span class="__cf_email__" data-cfemail="0e7a6d666f646b6a4e69636f6762206d6163">[email protected]</span></span></a>
<a href="https://github.com/tchajed"><svg width="16" height="16" viewBox="0 0 24 24" aria-hidden="true"><path d="M12 2.8a9.4 9.4 0 0 0-3 18.3c.5.1.7-.2.7-.5v-1.8c-2.8.6-3.4-1.2-3.4-1.2-.5-1.2-1.1-1.5-1.1-1.5-.9-.6.1-.6.1-.6 1 0 1.6 1.1 1.6 1.1.9 1.6 2.4 1.1 2.9.9.1-.7.4-1.1.7-1.3-2.3-.3-4.6-1.1-4.6-4.7 0-1 .4-1.9 1-2.5-.1-.3-.4-1.3.1-2.5 0 0 .8-.3 2.6 1a9 9 0 0 1 4.8 0c1.8-1.2 2.6-1 2.6-1 .5 1.2.2 2.2.1 2.5.6.6 1 1.5 1 2.5 0 3.6-2.3 4.4-4.6 4.7.4.3.7 1 .7 1.9v2.8c0 .3.2.6.7.5A9.4 9.4 0 0 0 12 2.8Z" /></svg><span>@tchajed</span></a>
<a href="https://orcid.org/0000-0002-9889-4828"><svg class="orcid-icon" width="16" height="16" viewBox="0 0 24 24" aria-hidden="true"><circle cx="12" cy="12" r="10" /><path d="M8.1 7.4h1.3v1.3H8.1zm0 2.4h1.3v6.8H8.1zm3 0h3.4c2.5 0 4.1 1.4 4.1 3.4s-1.6 3.4-4.1 3.4h-3.4zm1.3 1.2v4.4h2c1.8 0 2.8-.9 2.8-2.2S16.2 11 14.4 11z" /></svg><span>ORCID</span></a>
</div>
</div>
<figure class="portrait-card">
<span class="tape" aria-hidden="true"></span>
<img src="/assets/portrait.jpg" alt="Tej Chajed" width="152" height="184" />
</figure>
</header>
<div class="row introduction">
<div class="copy">
<p>I'm Tej Chajed, and I'm a Senior Research Scientist at <a href="https://deepmind.google/">Google DeepMind</a>. I work on using AI to enable formal verification at scale.</p>
<p>From 2023–2026 I was an assistant professor in Computer Science at the University of Wisconsin–Madison before I moved to industry. From 2022–2023 I did a postdoc at VMware Research, and before that I got my PhD from MIT in the PDOS group.</p>
</div>
<aside class="note rotate-left">“Tej” rhymes with "page"</aside>
</div>
<section class="decorated-section art-research">
<div class="section-title-row">
<h2>Research</h2>
<img class="section-art" src="/assets/monsters/research.png" alt="" width="242" height="183" loading="lazy" aria-hidden="true" />
</div>
<div class="row">
<div class="copy">
<p>I helped develop <a href="https://github.com/mit-pdos/perennial">Perennial</a> and Goose, a system for verifying Go code that supports concurrency and distributed systems. I do a lot of work on Rocq things, including maintaining a <a href="https://github.com/rocq-community/rocq-tricks">list of Rocq tricks</a> for the advanced user and contributing to <a href="https://iris-project.org/">Iris</a>.</p>
<p>I'm passionate about teaching and technical communication. I was a Fellow in <a href="https://mtle.wisc.edu/">MTLE</a> at UW–Madison, where I learned a great deal about effective teaching. During my PhD, I was a communication Fellow in the <a href="https://mitcommlab.mit.edu/eecs/">EECS Communication Lab</a>, where I helped students with technical communication.</p>
</div>
<aside class="communication-note">
<img src="/assets/monsters/communication.png" alt="" width="249" height="205" loading="lazy" aria-hidden="true" />
<span class="note rotate-right">I'm always happy to talk about technical communication!</span>
</aside>
</div>
</section>
<section class="decorated-section art-publications">
<div class="section-heading section-title-row">
<h2>Selected publications</h2>
<a class="all-papers-link" href="/publications/">All papers</a>
<img class="section-art" src="/assets/monsters/publications.png" alt="" width="223" height="183" loading="lazy" aria-hidden="true" />
</div>
<div class="row">
<ol class="publication-list" id="selected-publications"></ol>
</div>
</section>
<section class="decorated-section art-software">
<div class="section-title-row">
<h2>Software</h2>
<img class="section-art" src="/assets/monsters/software.png" alt="" width="230" height="181" loading="lazy" aria-hidden="true" />
</div>
<div class="row">
<ul class="project-list">
<li><a href="https://github.com/mit-pdos/perennial">perennial</a><span>a system for verifying Go programs with concurrency</span></li>
<li><a href="https://github.com/tchajed/iris-simp-lang">iris-simp-lang</a><span>instantiating Iris for a simple programming language</span></li>
<li><a href="https://github.com/tchajed/botc-tools">botc-tools</a><span>storyteller tools for running Blood on the Clocktower</span></li>
</ul>
</div>
</section>
<section class="decorated-section art-teaching">
<div class="section-title-row">
<h2>Teaching</h2>
<img class="section-art" src="/assets/monsters/teaching.png" alt="" width="281" height="226" loading="lazy" aria-hidden="true" />
</div>
<div class="row">
<div class="copy teaching">
<ul>
<li><strong>Spring 2026</strong> — <a href="https://canvas.wisc.edu/courses/485415">CS 537, Operating systems</a></li>
<li><strong>Fall 2025</strong> — <a href="https://tchajed.github.io/sys-verif-fa25/">CS 839, Systems verification</a></li>
<li class="muted"><strong>Spring 2025</strong> — <em>Teaching release</em></li>
<li><strong>Fall 2024</strong> — <a href="https://tchajed.github.io/sys-verif-fa24/">CS 839, Systems verification</a></li>
<li><strong>Spring 2024</strong> — <a href="https://pages.cs.wisc.edu/~oliphant/cs537-sp24/">CS 537, Operating systems</a></li>
<li><strong>Fall 2023</strong> — CS 839, Protocol verification</li>
</ul>
<p>As a graduate student I helped create <strong>6.826</strong> (Principles of Computer Systems) at MIT, where I built the lab assignments and TA'd in <a href="https://6826.csail.mit.edu/2020/">Fall 2020</a>, <a href="https://6826.csail.mit.edu/2019/">Fall 2019</a>, and <a href="https://6826.csail.mit.edu/2017/">Fall 2017</a>.</p>
</div>
</div>
</section>
<section class="decorated-section art-service">
<div class="section-title-row">
<h2>Service</h2>
<img class="section-art" src="/assets/monsters/service.png" alt="" width="163" height="155" loading="lazy" aria-hidden="true" />
</div>
<div class="row service-row">
<div class="service-links">
<a href="https://sigops.org/s/conferences/sosp/2026/organizers.html">SOSP 2026 PC</a><a href="https://icfp26.sigplan.org/">ICFP 2026 PC</a><a href="https://popl26.sigplan.org/home/prisc-2026">PriSC 2026 PC</a><a href="https://popl25.sigplan.org/home/dafny-2025">Dafny 2025 PC</a><a href="https://pldi24.sigplan.org/track/pldi-2024-papers">PLDI 2024 PC</a><a href="https://sysdw23.github.io/">SySDW 2023 PC</a><a href="https://2023.ecoop.org/track/ecoop-2023-papers">ECOOP 2023 ERC</a><a href="https://popl23.sigplan.org/committee/CPP-2023-papers-program-committee">CPP 2023 PC</a><a href="https://popl23.sigplan.org/committee/POPL-2023-popl-research-papers-program-committee">POPL 2023 PC</a><a href="https://pldi22.sigplan.org/committee/pldi-2022-pldi-program-committee">PLDI 2022 PC</a><a href="https://popl22.sigplan.org/committee/POPL-2022-artifact-evaluation-artifact-evaluation-comittee">POPL 2022 AEC</a><a href="https://eurodw21.github.io/">EuroDW 2021 PC</a><a href="https://popl21.sigplan.org/track/POPL-2021-Artifact-Evaluation">POPL 2021 AEC</a><a href="https://pldi20.sigplan.org/track/pldi-2020-PLDI-Research-Artifacts">PLDI 2020 AEC</a><a href="https://popl20.sigplan.org/track/POPL-2020-Artifact-Evaluation">POPL 2020 AEC</a><a href="https://sysartifacts.github.io/">SOSP 2019 AEC</a>
</div>
<aside class="note rotate-left">I've reviewed a few papers</aside>
</div>
</section>
<section class="coffee-section">
<h2>Coffee</h2>
<div class="coffee-row">
<div class="coffee-art" aria-hidden="true">
<img class="coffee-pourover" src="/assets/monsters/coffee-pourover.png" alt="" width="353" height="358" loading="lazy" />
<img class="coffee-espresso" src="/assets/monsters/coffee-espresso.png" alt="" width="358" height="263" loading="lazy" />
<img class="coffee-table" src="/assets/monsters/coffee-table.png" alt="" width="175" height="215" loading="lazy" />
</div>
<aside class="note rotate-right">I'm really into coffee</aside>
</div>
</section>
<footer><span><a href="/cdn-cgi/l/email-protection#582c3b3039323d3c183f35393134763b3735"><span class="__cf_email__" data-cfemail="96e2f5fef7fcf3f2d6f1fbf7fffab8f5f9fb">[email protected]</span></a> · <a href="https://github.com/tchajed">@tchajed</a> · <a href="https://orcid.org/0000-0002-9889-4828">ORCID</a></span></footer>
</div>
</main>
<dialog id="bibtex-dialog" aria-labelledby="bibtex-title">
<div class="bibtex-dialog-inner">
<div class="dialog-heading"><h2 id="bibtex-title">BibTeX</h2><button class="outline-button" id="close-bibtex" type="button">Close ✕</button></div>
<pre><code id="bibtex-code"></code></pre>
<button class="outline-button copy-bibtex" id="copy-bibtex" type="button">Copy BibTeX</button>
</div>
</dialog>
<script data-cfasync="false" src="/cdn-cgi/scripts/5c5dd728/cloudflare-static/email-decode.min.js"></script><script type="module" src="https://static.cloudflareinsights.com/beacon.min.js/v4513226cdae34746b4dedf0b4dfa099e1781791509496" integrity="sha512-ZE9pZaUXND66v380QUtch/5sE9tPFh2zg45pR2PB0CVkCtOREv2AJKkSidISWkysEuQ0EH8faUU5du78bx87UQ==" data-cf-beacon='{"version":"2024.11.0","token":"b13e9d99880947ce8247056aff39aeb2","r":1}' crossorigin="anonymous"></script>
</body>
</html>
Cloudflare