Skip to content

Commit

Permalink
finalise keynote news announcement
Browse files Browse the repository at this point in the history 
Signed-off-by: Birgit Brecknell <[email protected]>
  • Loading branch information
@bbrcknl
bbrcknl committed Jun 12, 2024
1 parent 44ff3cc commit debc973
Show file tree
Hide file tree
Showing 4 changed files with 18 additions and 49 deletions.
1 change: 1 addition & 0 deletions Foundation/Summit/2024/abstracts2024.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,4 @@ <h3>
Abstracts
</h3>
<div class="summit-abstract" id="a-inspecta">{% include abstracts/2024/inspecta.html %}</div>
<div class="summit-abstract" id="a-software-defined">{% include abstracts/2024/software-defined.html %}</div>
20 changes: 10 additions & 10 deletions Foundation/Summit/2024/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -127,31 +127,31 @@ <h3 id="summit-keynote-speakers">
<div class="keynotes_grid">
<div class="speaker">
<div class="speaker_pic">
<img src="../../../images/summit/darren.jpg" style="width: 150px" alt="Darren Cofer" />
<img src="../../../images/summit/dcofer-2022-2-small.jpg" style="width: 150px" alt="Darren Cofer" />
</div>
<div class="speaker_title" style="text-align:center">
<strong>Darren Cofer</strong>
<strong><a href="https://www.linkedin.com/in/darren-cofer-07824a5/">Darren Cofer</a></strong>
<br>
Collins Aerospace
<a href="https://www.collinsaerospace.com/">Collins Aerospace</a>
</div>
<a class="summit-abstract-link" href="abstracts2024#a-inspecta">
<div class="speaker_talk" style="text-align:center">
<div class="keynote_talk" style="text-align:center">
Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)
</div>
</a>
</div>
<div class="speaker">
<div class="speaker_pic">
<img src="../../Membership/LOGOS/NIO.svg" style="width: 200px" alt="NIO logo" />
<img src="../../../images/summit/ning2.png" style="width:150px;" alt="Ning Qu" />
</div>
<div class="speaker_title" style="text-align:center">
<strong>Ning Qu</strong>
<strong><a href="https://www.linkedin.com/in/quning/">Ning Qu</a></strong>
<br>
NIO
<a href="https://www.nio.com/">NIO</a>
</div>
<a class="summit-abstract-link" href="abstracts2024#a-">
<div class="speaker_talk" style="text-align:center">
Title TBC
<a class="summit-abstract-link" href="abstracts2024#a-software-defined">
<div class="keynote_talk" style="text-align:center">
seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO
</div>
</a>
</div>
Expand Down
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ <h4>
<ul>
<li>
<strong>
12 Jun 2024: Keynotes for seL4 summit 2023 announced
12 Jun 2024: Keynotes for seL4 summit 2024 announced
</strong>
</li>
<li>
Expand Down
44 changes: 6 additions & 38 deletions news/2024.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,53 +32,21 @@

<!----------------------------------------------------------->
<div class="news-item tag-link" id="summit-2024-keynotes">
<a href="#summit-2024-keynotes"><span class="tag-span"># </span></a> 12 June 2024: Keynotes for seL4 summit 2023 announced
<a href="#summit-2024-keynotes"><span class="tag-span"># </span></a> 12 June 2024: Keynotes for seL4 summit 2024 announced
</div>
<div>
<div class="row" style="margin-left:0px; margin-right:0px">
<p>
We are pleased to announce that the two keynotes for the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> will be <strong>Darren Cofer from Collins Aerospace</strong> and <strong>Ning Qu from
NIO</strong>. Darren will talk about <a href="../Foundation/Summit/2024/abstracts2024.html#a-inspecta">Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)</a> and Ning about <a href="../Foundation/Summit/2024/abstracts2024.html#a-"><mark>TBC</mark></a>.
We are pleased to announce that the two keynotes for the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> will be <strong><a href="https://www.linkedin.com/in/darren-cofer-07824a5/">Darren Cofer</a></strong> from <strong><a href="https://www.collinsaerospace.com/">Collins Aerospace</a></strong> and <strong><a href="https://www.linkedin.com/in/quning/">Ning Qu</a></strong> from <strong><a href="https://www.nio.com/">NIO</a></strong>. Darren will talk about <a href="../Foundation/Summit/2024/abstracts2024.html#a-inspecta">Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)</a> and Ning about <a href="../Foundation/Summit/2024/abstracts2024.html#a-software-defined">seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO</a>.
</p>
<p>
<strong>Darren Cofer</strong> is ...
<img src="../images/summit/dcofer-2022-2-small.jpg" style="width: 120px; float: right" alt="Darren Cofer" />
<strong>Darren Cofer</strong> is a Principal Fellow at Collins Aerospace. He earned his PhD in Electrical and Computer Engineering from The University of Texas at Austin. His area of expertise is developing and applying advanced analysis methods and tools for verification and certification of high-integrity systems. His background includes work with formal methods for system and software analysis, the design of real-time embedded systems for safety-critical applications, and the development of nuclear propulsion systems in the U.S. Navy. Dr. Cofer has served as principal investigator on many government-sponsored research programs, developing and using formal methods for verification of safety and security properties. He served on RTCA committee SC-205 developing new certification guidance for airborne software (DO-178C) and was one of the developers of the Formal Methods Supplement (DO-333). He is currently a member of SAE committee G-34 developing certification guidance for the use of machine learning technologies onboard aircraft.
</p>
<p>
<strong>Ning Qu</strong> has ...
<img src="../images/summit/ning2.png" style="width: 120px; float: right" alt="Ning Qu" />
<strong>Ning Qu</strong> is a seasoned technical leader with extensive experience in operating systems, high-performance runtime frameworks, and hardware-software co-design. Currently Ning is Sr. Director of the SkyOS team at NIO, he is leading the development of SkyOS, a suite of platform software (hypervisor, operating systems, and middleware) for Software Defined Vehicles, showcased at NIO IN 2023. Before NIO, Ning managed Waymo's ML Runtime team, significantly contributing to the Jaguar EV launch. At Baidu, he directed the Apollo OS team, developing Cyber RT and leading Baidu's fully driverless launch in 2020. Ning holds a PhD from Peking University and has conducted research at CMU.
</p>
</div>
<div class="keynotes_grid">
<div class="speaker">
<div class="speaker_pic">
<img src="../images/summit/darren.jpg" style="width: 150px" alt="Darren Cofer" />
</div>
<div class="speaker_title" style="text-align:center">
<strong>Darren Cofer</strong>
<br>
Collins Aerospace
</div>
<a class="summit-abstract-link" href="../Foundation/Summit/2024/abstracts2024#a-inspecta">
<div class="speaker_talk" style="text-align:center">
Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)
</div>
</a>
</div>
<div class="speaker">
<div class="speaker_pic">
<img src="../Foundation/Membership/LOGOS/NIO.svg" style="width: 200px" alt="NIO logo" />
</div>
<div class="speaker_title" style="text-align:center">
<strong>Ning Qu</strong>
<br>
NIO
</div>
<a class="summit-abstract-link" href="../Foundation/Summit/2024/abstracts2024#a-">
<div class="speaker_talk" style="text-align:center">
Title TBC
</div>
</a>
</div>
</div>
</div>

<!----------------------------------------------------------->
Expand Down

0 comments on commit debc973

Please sign in to comment.