The terms denote educational areas that are part of the CPS technology.
news
Submitted by Nazli Choucri on Fri, 09/30/2022 - 12:00am
A foundational analysis of the co-evolution of the internet and international relations, examining resultant challenges for individuals, organizations, firms, and states.
forum
Submitted by benjanis on Thu, 09/15/2022 - 8:46am
Registration for the 2023 MITRE Embedded Capture the Flag (eCTF) Competition is now open at https://forms.office.com/g/rLaXwSBpdk! The competition will run over the spring semester from from January 18th through April 19th with an award ceremony on April 26th.
tearline
Submitted by Katie Dey on Wed, 08/03/2022 - 10:41am
forum
Submitted by Andre Platzer on Tue, 07/12/2022 - 3:33am
The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques.
tearline
Submitted by Katie Dey on Thu, 04/21/2022 - 1:47pm
tearline
Submitted by Katie Dey on Wed, 01/05/2022 - 3:57pm
news
Submitted by ebuckh on Fri, 12/31/2021 - 1:44pm
President Biden signed the K12 Cybersecurity Act which should strengthen the cybersecurity of US K-12 schools. This includes assessing the cybersecurity risks effecting K-12 schools such as securing information systems and protecting student and employee data. Other goals include developing guidelines for this sector to minimize risks, publishing an online training toolkit, and posting the assessment findings and recommendations online. All this effort will be under the direction of the CISA director.
