En un grafo dirigido, un kernel es un conjunto $S$ independiente de vértices (i.e., ningún par de ellos es adyacente), y para cada vértice $y$ fuera de $S$ existe un $x$ en $S$ tal que $xy$ es un arco de el grafo. El concepto es importante pues, en cierto sentido, el kernel "domina" en el grafo. Uno de sus usos es en juegos.
En el mundo de la computación, el sistema operativo del modelo UNIX, consiste de dos partes: una colección de programas que ejecutan la mayoría de las operaciones en la computadora, y el kernel que se encarga de correr los programas. Siendo en sí mismo un programa, el kernel corre en modo supervisor (es el programa de más alta prioridad): administra los recursos del sistema (CPU, memoria, I/O) y permite correr a los programas de aplicación, proporcionándoles métodos para que se comuniquen entre sí y se sincronicen. (Ver http://en.wikipedia.org/wiki/Kernel_(computing))