Introducción a los lenguajes de programación en ramas de la informática estudiadas en Estados Unidos
Incluye el desarrollo de nuevos lenguajes de programación para el desarrollo práctico y eficiente de software confiable, asistido por computadora. aprendizaje de idiomas, lingüística computacional, desde la teoría de tipificación inicial, demostración automática de teoremas, semántica, etc. Utilice métodos actuales basados en lenguajes para resolver problemas importantes en seguridad informática y programación distribuida, aplicaciones de lenguajes, análisis y optimización de programas. , que puede mejorar fundamentalmente la confiabilidad y seguridad del software. Incluye los siguientes temas:
(1) Diseño e implementación de lenguajes de programación: optimización del compilador, semántica, compilador JIT, lenguaje de dominio específico (DSL).
(2) Entornos y herramientas de programación: monitorización, buscadores de programadores y diseño basado en modelos.
(3) Análisis y verificación de programas: verificación de modelos, análisis estático y dinámico, demostración de teoremas y análisis de programación de sistemas en tiempo real.
Bases de datos y sistemas de información
Todos los aspectos relacionados con la gestión de datos, incluido el almacenamiento de datos, la recuperación de datos, el análisis y la visualización de datos, como el desarrollo de algoritmos eficientes para conjuntos de datos muy grandes, la construcción de grandes -escalar sistemas de datos en nuevas áreas de aplicación y realizar investigaciones interdisciplinarias con otros campos, como el diseño de juegos de computadora, la privacidad y la seguridad de los datos. Incluyendo los siguientes contenidos de investigación:
(1) Base de datos: modelo de datos, consulta e integración de datos, diseño e implementación de varios sistemas de bases de datos, etc.
(2) Minería de datos: el proceso de extraer patrones a partir de datos. Se utiliza ampliamente en muchos campos, como marketing, vigilancia, detección de intrusiones y descubrimientos científicos. La minería de datos está estrechamente relacionada con el aprendizaje automático, pero la minería de datos se centra más en aplicaciones prácticas.
(3) Recuperación de información: Estudiar cómo extraer información de diversos medios (texto, audio, vídeo, etc.). , actualmente principalmente texto), también busca en bases de datos relevantes y en la World Wide Web.
(4) Procesamiento del lenguaje natural: construir un sistema informático que pueda analizar, comprender y generar lenguaje natural. Los temas de investigación incluyen resumen automático, análisis del discurso, traducción automática, reconocimiento de entidades nombradas, generación de lenguaje natural y reconocimiento de voz.
Gráficos y Multimedia Gráficos y Multimedia
El estudio de los gráficos incluye el modelado y animación de fenómenos naturales, la topología computacional y la utilización de hardware gráfico. Renderizado, procesamiento y simplificación de mallas, modelado de formas, parametrización de superficies y manejo de visibilidad, etc.
La investigación multimedia incluye procesamiento de imágenes, procesamiento de vídeo, análisis de audio, recuperación y comprensión de texto, extracción y análisis de datos y fusión de datos. Dado que los datos multimedia contienen datos en diferentes formatos (como texto, audio y video), su investigación incluye muchas tecnologías y teorías en diferentes campos.