Hero Image
Image

César Andrés Sánchez

“Doctor en Informática por la UCM, Doctor en Derecho la USAL. MBA IE Business School. Postdoctorado en l’Institut Mines-Télécom de París.”

CARRERA PROFESIONAL

Licenciado en Informática (2005) por la Universidad Complutense de Madrid (UCM), Máster en Investigación informática (2007) por la UCM, Doctor en Informática (2009) por la UCM, MBA IE Business School (2012), Premio Extraordinario Final de Grado Salamanca (2012) por la Universidad de Salamanca (USAL), Máster en derecho administrativo (2014) USAL, y Doctor en Derecho (2016) USAL.

 

Inicié la trayectoria docente en el año 2009 en la facultad de Informática de la Universidad Complutense de Madrid. En el año 2013 me vinculé a la Universidad Internacional de la Rioja, y en el año 2024 a la Universidad Camilo José Cela.

 

Tengo más de 40 publicaciones entre conferencias y revistas internacionales. Un breve resumen se puede encontrar en https://dblp.org/pid/82/346.html.

FORMACIÓN ACADÉMICA

  • Licenciado en Informática (2005) por la Universidad Complutense de Madrid (UCM).
  • Máster en Investigación informática (2007) por la UCM.
  • Doctor en Informática (2009) por la UCM. Sobresaliente cum laude.
  • MBA IE Business School (2012).
  • Premio Extraordinario Final de Grado Salamanca (2012).
  • Máster en derecho administrativo (2014) USAL.
  • Doctor en Derecho (2016) USAL. Sobresaliente cum laude.

EXPERIENCIA PROFESIONAL

  • Director de pruebas y seguridad en multinacional Suiza brain-tec AG.
  • Director de pruebas y desarrollo en Ibersys Seguridad y Salud SL.

PRODUCCIÓN CIENTÍFICA

César Andrés, Luis Fernando Llana Díaz , Ismael Rodríguez :
Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebraic Methods Program. 78(6): 425-453 (2009)

 

César Andrés, Mercedes G. Merayo, Manuel Núñez :
Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. 22(6): 365-405 (2012)

 

César Andrés, Carlos Camacho , Luis Llana :
A formal framework for software product lines. Inf. Softw. Technol. 55(11): 1925-1947 (2013)

 

Khalifa Toumi, Ana R. Cavalli, César Andrés:
Validation of a Trust Approach in Multi-Organization Environments. Int. J. Secur. Softw. Eng. 5(1): 1-18 (2014)

 

Khalifa Toumi, César Andrés, Ana R. Cavalli:
Formal framework for defining trust in multi-organisation environment. Int. J. Auton. Adapt. Commun. Syst. 9(1/2): 164-178 (2016)

PREMIOS

Premio al mejor trabajo de Grado de la Universidad de Salamanca. Año 2012.

Imparte clases en: