close div in news

Signed-off-by: Birgit Brecknell <[email protected]>

news/2024.html

@@ -36,17 +36,18 @@
 </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><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>
-    <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>
-    <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>
+    <p>
+      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>
+      <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>
+      <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>
 
 <!----------------------------------------------------------->