Con el riesgo de estar sesgado, aquí hay algunos desarrollos recientes en CS teórico que también se están aplicando inmediatamente a sistemas y escenarios de la vida real:
- Detección de objetos en videos y áreas similares que necesitan un mecanismo de autenticación. Esto es extremadamente relevante para la gran afluencia de datos de vigilancia, seguridad y privacidad.
- Privacidad y seguridad en la web. Esta es posiblemente la mejor área aún subdesarrollada en informática. Entiendo que algunos plantearán el punto de que esto no es CS teórico, y eso es precisamente lo que falta en este campo. Esto es difícil, posiblemente porque el elemento del adversario humano (hackers) siempre está presente y activo.
- (Aproximado) Verificación formal adecuada para sistemas grandes. La verificación formal ha existido desde hace bastante tiempo. Sin embargo, las aplicaciones hasta ahora solo se han dirigido a sistemas críticos para la seguridad (software de aeronaves, sistemas de control de misiones en la NASA, etc.) y a empresas de desarrollo de software asequibles (Microsoft). Ha habido un desarrollo reciente masivo del uso de la verificación formal en biología, inteligencia artificial y robótica. Se necesita hacer una mejora significativa de la teoría antes de aplicarla a sistemas a gran escala.
