Dr. Arno Formella

Profesor Contratado Doutor
Escola Superior de Enxeñaría Informática
Departamento de Informática
Área de Linguaxes e Sistemas Informáticos

Docencia (Curso 2026/2027):

EC Computación evolutiva (Primeiro curso, Mestrado en Intelixencia Artificial)
CDAP Computación Distribuída e de Altas Prestacións (Primeiro curso, Mestrado en Enxeñaría Informática)
SCRISE Software crítico para sistemas espaciais (Segundo curso, Mestrado en Enxeñaría Aeronáutica)

Titorías (Curso 2025/2026):

todo o curso: titorías concertadas mediante cita por correo electrónico
lugar (presencial): Despacho 309, Edificio Politécnico
lugar (virtual): Sala profesorado 932 (pedir cita e palabra chave por correo electrónico)

Traballos Fin de Grao/Mestrado / Proxectos Fin de Carreira:

Ofrécense diferentes Traballos Fin de Grao ou Traballos Fin de Mestrado.

Docencia antiga:

EC (2025/2026) Computación evolutiva (Primeiro curso, Mestrado en Intelixencia Artificial)
VC1 (2025/2026) Visión por computador I (Primeiro curso, Mestrado en Intelixencia Artificial)
SCRISE (2025/2026) Software crítico para sistemas espaciais (Segundo curso, Mestrado en Enxeñaría Aeronáutica)
EC (2024/2025) Computación evolutiva (Primeiro curso, Mestrado en Intelixencia Artificial)
VC1 (2024/2025) Visión por computador I (Primeiro curso, Mestrado en Intelixencia Artificial)
SCRISE (2024/2025) Software crítico para sistemas espaciais (Segundo curso, Mestrado en Enxeñaría Aeronáutica)
EC (2023/2024) Computación evolutiva (Primeiro curso, Mestrado en Intelixencia Artificial)
VC1 (2023/2024) Visión por computador I (Primeiro curso, Mestrado en Intelixencia Artificial)
VC2 (2023/2024) Visión por computador II (Primeiro curso, Mestrado en Intelixencia Artificial)
CDI (2022/2023) Concorrencia e Distribución (Terceiro curso, Grao en Enxeñaría Informática)
INF (2022/2023) Informática (Primeiro curso, Grao en Enxeñaría Aeroespacial)
FBI (2022/2023) Ferramentas básicas para a investigación (Segundo curso, Mestrado en Enxeñaría Informática)
EC (2022/2023) Computación evolutiva (Primeiro curso, Mestrado en Intelixencia Artificial)
VC1 (2022/2023) Visión por computador I (Primeiro curso, Mestrado en Intelixencia Artificial)
VC2 (2022/2023) Visión por computador II (Primeiro curso, Mestrado en Intelixencia Artificial)
(2021/2022) por mor dun ano sabático non se ofreceu docencia neste curso académico
CDI (2020/2021) Concorrencia e Distribución (Terceiro curso, Grao en Enxeñaría Informática)
INF (2020/2021) Informática (Primeiro curso, Grao en Enxeñaría Aeroespacial)
FBI (2020/2021) Ferramentas básicas para a investigación (Segundo curso, Mestrado en Enxeñaría Informática)
CDI (2019/2020) Concorrencia e Distribución GRAO (Terceiro curso, informática)
INF (2019/2020) Informática (Primeiro curso, aeroespacial)
FBI (2019/2020) Ferramentas básicas para a investigación (Segundo curso, Mestrado en Enxeñaría Informática)
CDI (2018/2019) Concorrencia e Distribución GRAO (Terceiro curso, informática)
INF (2018/2019) Informática (Primeiro curso, aeroespacial)
CDI (2017/2018) Concorrencia e Distribución GRAO (Terceiro curso, informática)
INF (2017/2018) Informática (Primeiro curso, aeroespacial)
CDI (2016/2017) Concorrencia e Distribución GRAO (Terceiro curso, informática)
INF (2016/2017) Informática (Primeiro curso, aeroespacial)
CDI (2015/2016) Concorrencia e Distribución GRAO
CD (2015/2016) Concorrencia e Distribución LRU (sen docencia presencial)
SSIA (2014/2015) Mestrado en Sistemas Software Intelixentes e Adaptábeis
CDI (2014/2015) Concorrencia e Distribución GRAO
CD (2014/2015) Concorrencia e Distribución LRU (sen docencia presencial)
SSIA (2013/2014) Mestrado en Sistemas Software Intelixentes e Adaptábeis
CDI (2013/2014) Concorrencia e Distribución GRAO
CD (2013/2014) Concorrencia e Distribución LRU (sen docencia presencial)
SSIA (2012/2013) Mestrado en Sistemas Software Intelixentes e Adaptábeis
CDI (2012/2013) Concorrencia e Distribución GRAO
CD (2012/2013) Concorrencia e Distribución LRU
TALF (2012/2013) Teoría de Autómatas e Linguaxes Formais (sen docencia presencial)
SSIA (2011/2012) Mestrado en Sistemas Software Intelixentes e Adaptábeis
CDI (2011/2012) Concorrencia e Distribución GRAO
CD (2011/2012) Concorrencia e Distribución LRU
TALF (2011/2012) Teoría de Autómatas e Linguaxes Formais (sen docencia presencial)
SSIA (2010/2011) Mestrado en Sistemas Software Intelixentes e Adaptábeis
CD (2010/2011) Concorrencia e Distribución
TALF (2010/2011) Teoría de Autómatas e Linguaxes Formais (non presencial, só repetidores)
SSIA (2009/2010) Mestrado en Sistemas Software Intelixentes e Adaptábeis
CD (2009/2010) Concorrencia e Distribución
TALF (2009/2010) Teoría de Autómatas e Linguaxes Formais
CD (2008/2009) Concorrencia e Distribución
TALF (2008/2009) Teoría de Autómatas e Linguaxes Formais
TADSI (2008/2009) Tecnoloxías Avanzadas para o Desenvolvemento de Software Intelixente (Bienio 2008/2010, con Mención de Calidade)
Erasmus-LLP (2008/2009) Docencia na Universidade Portucalense, Porto, Portugal: Algoritmos de Ordenación e Procura
CD (2007/2008) Concorrencia e Distribución
TALF (2007/2008) Teoría de Autómatas e Linguaxes Formais
TADSI (2007/2008) Tecnoloxías Avanzadas para o Desenvolvemento de Software Intelixente (Curso de doutoramento)
CD (2006/2007) Concorrencia e Distribución
TALF (2006/2007) Teoría de Autómatas e Linguaxes Formais
TADSI (2006/2007) Tecnoloxías Avanzadas para o Desenvolvemento de Software Intelixente (Curso de doutoramento)
CD (2005/2006) Concorrencia e Distribución
TALF (2005/2006) Teoría de Autómatas e Linguaxes Formais
TADSI (2005/2006) Tecnoloxías Avanzadas para o Desenvolvemento de Software Intelixente (Curso de doutoramento)
CD (2004/2005) Concorrencia e Distribución
TALF (2004/2005) Teoría de Autómatas e Linguaxes Formais
GCG (2004/2005) Grundlagen der Computer Graphik (en alemán, Universidade de Braunschweig) .pdf-Datei
TADSI (2004/2005) Tecnoloxías Avanzadas para o Desenvolvemento de Software Intelixente (Curso de doutoramento)
CD (2003/2004) Concorrencia e Distribución
IG (2003/2004) Informática Gráfica
LPB (2003/2004) Laboratorio de Programación Básica
TADSI (2003/2004) Tecnoloxías Avanzadas para o Desenvolvemento de Software Intelixente (Curso de doutoramento)
CD (2002/2003) Concorrencia e Distribución
IG (2002/2003) Informática Gráfica
LPB (2002/2003) Laboratorio de Programación Básica
Curso: Estruturas de datos, Programación en C, C++ ofrecido pola Rede Galega da Bio-Informática (ya no activa)
CD (2001/2002) Concorrencia e Distribución
IG (2001/2002) Informática Gráfica
LPB (2001/2002) Laboratorio de Programación Básica
WCG (2001/2002) Ondículas na Informática Gráfica (Curso de doutoramento)
CD (2000/2001) Concorrencia e Distribución
IG (2000/2001) Informática Gráfica
LPB (2000/2001) Laboratorio de Programación Básica
IG (1999/2000) Informática Gráfica
LPB (1999/2000) Laboratorio de Programación Básica

Docencia en alemán:

(2004/2005) Grundlagen der Computer Graphik .pdf-Datei
(1999/2000) Visual C++ (.pdf-Datei)
(1998) Diseño recursivo de circuitos digitales (.pdf-Datei)
(1998) Informática Gráfica
(1996/1997) Gundlagen der Informatik (Fundamentos da Informática)
(1996) Xeneración de Código para Microprocesadores Modernos
(1993) Informática Gráfica