informático teórico

Un científico de la computación es una persona con conocimientos adquiridos en ciencias de la computación, especializado en el estudio de los fundamentos teóricos de la información y la computación además de su aplicación. Los científicos de la computación suelen trabajar en el lado teórico de los sistemas informáticos, a diferencia del lado del hardware en el que se centran principalmente los ingenieros en computación. Un objetivo principal de los científicos de la computación es desarrollar o validar modelos, a menudo matemáticos, para describir las propiedades de los sistemas basados en computadora con el objetivo general de descubrir diseños que producen beneficios útiles. El científico de la computación no solo se interesa en la «verificabilidad» de sus resultados, como suele ser el caso en las matemáticas puras, sino que también se preocupa por el diseño y «eficiencia» de estos. Es por ello que su trabajo se enmarca en un enfoque de investigación teórico-práctico. El premio más prestigioso que se le puede otorgar a un informático teórico en su área, es el Premio Turing, otorgado por la Association for Computing Machinery. Entre 2007 y 2013, estuvo acompañado por un apoyo económico de 250 000 dólares, financiado por las empresas Intel y Google.​ Y desde 2014, el monto ascendió a 1 000 000 USD, con el apoyo de Google.​