Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 9736 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Цепочка редиректов для файла robots.txt:
http://chrisposkitt.com/robots.txt
301 MovedPermanently
https://cposkitt.github.io/
200 OK
Показать содержимое robots.txt
<!DOCTYPE html>
<html>
<head>
<title>Chris Poskitt</title>
<meta http-equiv="content-type" content="text/html; charset=utf-8"/>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="styles/main.css"/>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
</head>
<body>
<div class="topnav_wrapper">
<div class="topnav" id="myTopnav">
<a class="active" href="./">Home</a>
<a href="research.html">Research</a>
<a href="teaching.html">Teaching</a>
<a href="activities.html">Activities</a>
<a href="personal.html">Personal</a>
<a href="javascript:void(0);" class="icon" onclick="myFunction()">
<i class="fa fa-bars"></i>
</a>
</div>
</div>
<div class="page_wrapper">
<div class="page">
<div class="contact_wrapper">
<div class="contact">
<h1>Chris Poskitt</h1>
Associate Professor of Computer Science (Education)<br />
School of Computing and Information Systems<br />
Singapore Management University<br />
80 Stamford Road<br />
Singapore 178902<br /><br />
Office: SCIS 2, Level 4, Room 4098<br /><br />
<i class="fa fa-envelope"></i> <a href="mailto:cposkitt@smu.edu.sg">cposkitt@smu.edu.sg</a> <i class="fa fa-phone"></i> +65 6826 1376<br /><br />
<a href="files/smu_cv.pdf">cv</a> ▪
<a href="https://scholar.google.com.sg/citations?user=W6er5NgAAAAJ&hl=en">google scholar</a> ▪
<a href="https://sg.linkedin.com/in/cposkitt">linkedin</a> ▪
<a href="https://bsky.app/profile/chrisposkitt.bsky.social">bluesky</a> ▪
<a href="https://mastodon.acm.org/@cposkitt" rel="me">mastodon</a>
</div>
<div class="mugshot">
<img src="images/chris_new.jpg" alt="Photo of Chris Poskitt" />
</div>
</div>
<!-- <p style="border: 1px dashed black; padding: 5px; margin: 0 0 8px;"><strong>PhD Opening (2024):</strong> I have an opening for a motivated PhD student who would be interested to work on any topic related to software testing/analysis, cyber-physical systems, or formal methods. Please get in touch if you're interested (and see <a href="https://computing.smu.edu.sg/phd">here</a> for more information on our school's doctoral programme).</p> -->
<p>I am a faculty member in the <a href="https://scis.smu.edu.sg/">School of Computing and Information Systems</a> at <a href="https://www.smu.edu.sg/">Singapore Management University</a>, where I am part of the <a href="https://sav-smu.github.io/">System Analysis and Verification (SAV)</a> group. I completed my PhD in 2014 at the <a href="https://www.york.ac.uk/">University of York</a> (UK), under the supervision of <a href="https://www-users.york.ac.uk/~djp10/">Detlef Plump</a>. Before coming to Singapore, I was a postdoc for three years at <a href="https://www.ethz.ch/">ETH Zürich</a>, where I worked with <a href="https://se.inf.ethz.ch/~meyer/">Bertrand Meyer</a>.</p>
<p>My research broadly addresses the problem of engineering correct and secure software/systems. I have worked on techniques for testing/defending cyber-physical systems using fuzzing and machine learning, tools for analysing execution models of concurrency APIs, and logics for reasoning about the correctness of graph-rewriting programs.</p>
<h2>Recent Publications</h2>
<ul>
<li><a href="research.html#Wang-Poskitt-Sun26a">AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents</a>,
Haoyu Wang, Christopher M. Poskitt, and Jun Sun.
<em>ICSE'26.</em>
</li>
<li><a href="research.html#Foster-Poskitt-et_al26a">Causality-Driven Test Case Minimisation for Cyber-Physical Systems</a>,
Michael Foster, Christopher M. Poskitt, Nicholas R. Latimer, Neil Walkinshaw, Richard Somers, and Robert M. Hierons.
<em>TOSEM'26.</em>
</li>
<li><a href="research.html#Wang-Poskitt-et_al26a">ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction</a>,
Haoyu Wang, Christopher M. Poskitt, Jiali Wei, and Jun Sun.
<em>ASE'26.</em>
</li>
<li><a href="research.html#Sun-et_al26a">Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements</a>,
Yang Sun, Haoyu Wang, Christopher M. Poskitt, and Jun Sun.
<em>ICST'26.</em>
</li>
<li><a href="research.html#Huang-Poskitt-Shar25a">Security Modelling for Cyber-Physical Systems: A Systematic Literature Review</a>,
Shaofei Huang, Christopher M. Poskitt, and Lwin Khin Shar.
<em>TCPS'26.</em>
</li>
<li><a href="research.html#Sun-Poskitt-et_al25a">FixDrive: Automatically Repairing Autonomous Vehicle
Driving Behaviour for $0.08 per Violation</a>,
Yang Sun, Christopher M. Poskitt, Kun Wang, and Jun Sun.
<em>ICSE'25.</em>
</li>
<li><a href="research.html#Hu-Poskitt-et_al25a">Developing a Strong CPS Defender: An Evolutionary Approach</a>,
Qingyuan Hu, Christopher M. Poskitt, Jun Sun, and Yuqi Chen.
<em>RAID'25.</em>
</li>
<li><a href="research.html#Noller-et_al25a">Simulated Interactive Debugging</a>,
Yannic Noller, Erick Chandra, Srinidhi Chandrashekar, Kenny Choo, Cyrille Jegourel, Oka Kurniawan, and Christopher M. Poskitt.
<em>ASE-NIER'25.</em>
</li>
<li><a href="research.html#Kurniawan-et_al25a">Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool</a>,
Oka Kurniawan, Erick Chandra, Christopher M. Poskitt, Yannic Noller, Kenny Tsu Wei Choo, and Cyrille Jegourel.
<em>Koli Calling'25.</em>
</li>
</ul>
<p>See <a href="research.html">my research</a> for more.</p>
<h2>Current Teaching</h2>
<table class="teaching">
<tr>
<td><strong>2026-27 Term 1</strong></td>
<td>
<a href="https://courses.smu.edu.sg/courses/0026731">CS302: DevOps Principles and Practices</a><br />
<a href="https://courses.smu.edu.sg/courses/0021301">IS212: Software Project Management</a>
</td>
</tr>
<tr>
<td><strong>2025-26 Term 1</strong></td>
<td>
CS302: IT Solution Lifecycle Management<br />
IS212: Software Project Management
</td>
</tr>
</table>
<p>See <a href="teaching.html">my teaching</a> for more.</p>
<h2>Recent Events</h2>
<p>Programme Committees:</p>
<table class="teaching">
<tr>
<td><strong>2027</strong></td>
<td>
<a href="https://conf.researchr.org/home/icse-2027">ICSE</a>
</td>
</tr>
<tr>
<td><strong>2026</strong></td>
<td>
<a href="https://conf.researchr.org/home/fse-2026">FSE</a>, <a href="https://conf.researchr.org/home/issta-2026">ISSTA</a>, <a href="https://icfem2026.github.io/">ICFEM</a>, <a href="https://sora.ics.uci.edu/se4ads_26/">SE4ADS</a>, <a href="http://www.termgraph.org.uk/2026/">TERMGRAPH</a>
</td>
</tr>
<tr>
<td><strong>2025</strong></td>
<td>
<a href="https://conf.researchr.org/home/icse-2025">ICSE</a>, <a href="https://conf.researchr.org/home/issta-2025">ISSTA</a>, <a href="https://icfem2025.github.io/">ICFEM</a>, <a href="https://conf.researchr.org/home/icse-2025/se4ads-2025">SE4ADS</a>, <a href="https://aiotsweb.github.io/aiots2025/">AIoTS</a>, <a href="https://conf.researchr.org/home/staf-2025/gcm-2025">GCM</a>
</td>
</tr>
<tr>
<td><strong>2024</strong></td>
<td>
<a href="https://formalise2024.github.io/">FormaliSE</a>, <a href="https://conf.researchr.org/home/icgt-2024">ICGT</a>, <a href="https://simla-workshop.github.io/Simla2024/">SiMLA</a>
</td>
</tr>
<tr>
<td><strong>2023</strong></td>
<td>
<a href="https://conf.researchr.org/home/fse-2023">ESEC/FSE</a>, <a href="https://conf.researchr.org/home/icgt-2023">ICGT</a> (Co-Chair), <a href="https://conf.researchr.org/home/icse-2023">ICSE</a> (SRC Judge), <a href="https://liacs.leidenuniv.nl/~bonsanguemm/ifm23/">iFM</a> (PhD Symp.)
</td>
</tr>
</table>
<p>For my other activities, see <a href="activities.html">here</a>.</p>
</div>
</div>
<script>
function myFunction() {
var x = document.getElementById("myTopnav");
if (x.className === "topnav") {
x.className += " responsive";
} else {
x.className = "topnav";
}
}
</script>
</body>
</html>
