Jeff Kramer (académico)

Jeff Kramer es profesor emérito de Computación Distribuida en el Imperial College de Londres . ^{[ 1 ]}

El trabajo de Kramer se ha centrado en la ingeniería de software, incluyendo el análisis de comportamiento, los requisitos basados ​​en modelos, los sistemas adaptativos autoorganizados, la computación distribuida y el desarrollo de los entornos CONIC y DARWIN para la programación distribuida y el análisis de la arquitectura de software. Su trabajo ha sido publicado en revistas académicas como IEEE Transactions on Software Engineering (IEEE TSE) y ACM Transactions on Software Engineering and Methodology (ACM TOSEM) . ^{[ 2 ]} Además, es miembro de la Real Academia de Ingeniería . ^{[ 1 ] [ 3 ]}

Kramer completó su licenciatura en ingeniería eléctrica en la Universidad de KwaZulu-Natal en 1971, seguida de una maestría en informática en el Imperial College de Londres en 1972 y un doctorado en informática en 1979 en la misma institución. ^{[ 1 ]}

Kramer comenzó su carrera académica como investigador asociado de 1973 a 1976, antes de ser nombrado profesor titular de 1976 a 1987. Fue ascendido a profesor titular en 1987, cargo que ocupó hasta 1990, y luego trabajó como lector hasta 1995. Durante este período, también trabajó como experto en informática para el proyecto del Banco Mundial sobre la mejora de las universidades provinciales en la República Popular China . De 1995 a 2021, fue profesor en el Imperial College de Londres, y desde 2021 ostenta el título de profesor emérito. Además, de 2019 a 2024, fue profesor visitante distinguido en la Universidad China de Hong Kong . Asimismo, es profesor visitante en el Instituto Nacional de Informática (NII) de Tokio , Japón . ^{[ 1 ]}

Kramer ha desempeñado diversos cargos administrativos y profesionales a lo largo de su carrera. Fue jefe del Departamento de Informática del Imperial College de 1999 a 2004. En el Imperial College, también fue decano de la Facultad de Ingeniería de 2006 a 2009 y decano sénior de 2009 a 2012. En 2021, el Consejo del Imperial College de Londres le otorgó la Medalla del Imperial College. Además, fue editor asociado de ACM TOSEM de 1995 a 2001, así como editor jefe de IEEE Transactions on Software Engineering entre 2006 y 2009. Asimismo, ha sido presidente, presidente del programa o miembro del comité del programa de muchas de las principales conferencias en el campo de la ingeniería de software, como la Conferencia Internacional de Ingeniería de Software (ICSE) y la Conferencia Internacional SEAMS sobre Ingeniería de Software para Sistemas Adaptativos y Autogestionados, incluyendo la presidencia del programa de ICSE en 1999 y la presidencia general de ICSE en 2010. ^{[ 1 ]}

En sus primeras investigaciones, Kramer describió la arquitectura CONIC, que enfatizaba el diseño de software modular para sistemas de control de computadoras distribuidas, permitiendo una interconexión flexible, modificación dinámica en tiempo de ejecución y coordinación mediante el paso de mensajes para mejorar la escalabilidad y la mantenibilidad. ^{[ 4 ]} Junto con Magee, presentó un modelo para la gestión de cambios en tiempo de ejecución en sistemas distribuidos, separando la estructura de la lógica de la aplicación, asegurando la consistencia, minimizando las interrupciones y demostrando sus principios a través del problema de los filósofos en evolución en el entorno Conic. ^{[ 5 ]} Posteriormente, presentó el marco VOSE, que organizaba los requisitos del sistema a través de múltiples puntos de vista, permitiendo el diseño de sistemas heterogéneos y compuestos. Ilustró esto con un ejemplo y describió prototipos de herramientas automatizadas que respaldan la aplicación del marco. ^{[ 6 ]}

Kramer también introdujo Darwin, un lenguaje formal de descripción de arquitectura para sistemas distribuidos. El marco especificaba estructuras estáticas y dinámicas, utilizaba el cálculo π para la semántica operacional y admitía tanto el diseño de alto nivel como la construcción del sistema en tiempo de ejecución para garantizar la corrección. ^{[ 7 ]} También abordó la creciente complejidad, diversidad y presiones de tiempo en el software de electrónica de consumo al introducir el modelo de componentes Koala, que permitía la reutilización, la modularidad y el desarrollo eficiente de software embebido, demostrado a través de sistemas de TV. ^{[ 8 ]} También ha explorado arquitecturas de software adaptativas y autogestionadas que minimizaban la gestión explícita al permitir que los componentes configuraran automáticamente las interacciones. Hizo hincapié en el nivel arquitectónico para la escalabilidad y la adaptabilidad al proponer un modelo de referencia de tres capas tanto para la construcción como para destacar los desafíos de la investigación. ^{[ 9 ]} También contribuyó con un capítulo al libro titulado Ingeniería de software para sistemas auto-adaptativos , en el que revisó el estado del arte en sistemas auto-adaptativos, organizado en modelado, requisitos, ingeniería y garantías, e identificó desafíos clave. ^{[ 10 ]} Además, ha publicado más de 250 artículos en revistas y congresos internacionales arbitrados y es coautor de libros sobre concurrencia, sistemas distribuidos y redes informáticas. ^{[ 2 ]} También ha editado y contribuido al libro de texto titulado Introducción al humanismo digital ^{[ 11 ]} que ha sido descargado más de un millón de veces.

• 1992 – Miembro de la Institución de Ingeniería y Tecnología ^{[ 1 ]}
• 2001 – Miembro de la Asociación para la Maquinaria Informática ^{[ 12 ]}
• 2005 – Miembro de la British Computer Society ^{[ 1 ] [ 13 ]}
• 2005 – Premio ACM SIGSOFT a la Investigación Destacada, ACM SIGSOFT ^{[ 1 ]}
• 2008 – Miembro de la Real Academia de Ingeniería ^{[ 1 ] [ 3 ]}
• 2011 – Premio al Servicio Distinguido de ACM SIGSOFT, ACM SIGSOFT ^{[ 1 ]}
• 2021 – Medalla del Imperial College, Imperial College de Londres ^{[ 1 ]}
• 2026 – Premio a la trayectoria profesional de la IEEE Computer Society TCSE

• Kramer, J., & Magee, J. (1990). El problema del filósofo en evolución: Gestión dinámica del cambio. IEEE Transactions on Software Engineering, 16(11), 1293–1306.
• Magee, J., Dulay, N., Eisenbach, S., & Kramer, J. (1995). Especificación de arquitecturas de software distribuidas. En Actas de la 5.ª Conferencia Europea de Ingeniería de Software (ESEC '95) (págs.  137-153). Springer.
• Kramer, J., & Magee, J. (2007). Sistemas autogestionados: Un desafío arquitectónico. En L. Briand & AL Wolf (Eds.), El futuro de la ingeniería de software 2007. IEEE Computer Society Press.
• Magee, J., & Kramer, J. (1999). Concurrencia: modelos de estado y programas Java (1.ª ed.). John Wiley & Sons.
• Magee, J., & Kramer, J. (2006). Concurrencia: modelos de estado y programas Java (2.ª ed.). John Wiley & Sons.
• Kramer, J. (2007). ¿Es la abstracción la clave de la computación? Communications of the ACM, 50(4), 36–42.
• Li, T., Zong, W., Wang, Y., Wang, Y., Cheung, S.-C., & Kramer, J. (2023). Los matices son la clave: Desbloqueando ChatGPT para encontrar pruebas fallidas con indicaciones diferenciales. En Actas de la 38.ª Conferencia Internacional IEEE/ACM sobre Ingeniería de Software Automatizada (ASE 2023). Luxemburgo.
• Bennaceur, A., Ghezzi, C., Kramer, J., & Nuseibeh, B. (2024). Ingeniería de software responsable: Requisitos y objetivos. En H. Werthner, C. Ghezzi, J. Kramer, J. Nida-Rümelin, B. Nuseibeh, E. Prem, & A. Stanger (Eds.), Introducción al humanismo digital: Un libro de texto. Springer.
• Kramer, J. (2025). Reflexiones de un antiguo editor jefe de TSE. IEEE Transactions on Software Engineering, 51(3), 673–676.