SEAMIC

logo_lema_trasnparente_SEAMIC
Menu
Foto del Miembro

Carlos Santiago Galindo Jiménez

Research Associate, Dept. of Computer Systems and Computation

Expertise

  • Static Program Analysis
  • Programming Languages
  • Debugging

  • Email
  • Linkedin
  • Personal Webpage
  • Orcid
  • Google Scholar
  • Web
  • Curriculum

Carlos Galindo studied Computer Engineering at the Universitat Politècnica de València (UPV). He is currently a Teaching Assistant on Programming and Data Structures and Algorithms.

His research is focused on program slicing, a software analysis technique to make debugging easier.

Education and Training

• 2019: MSc/ME in Software Engineering – Universitat Politècnica de València (València, España)

Teaching activity

• 2020 – 2021: Programming, BSc Degree on Telecommunications Engineering (ETSIT)
• 2021 – : Programming, BSc Degree on Computer Engineering (ETSINF)
• 2021 – : Data Structures & Algorithms, BSc Degree on Computer Engineering (ETSINF)

Profesional activity

• 2017-2018: F1 Connecting (Junior Developer)
• 2018-2019: IDOM (Internship)

Awards & Honors

Research Group

Multi-paradigm Software Technology (MiST)

Journal Publications

·Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep. (2023) Program slicing of Java programs . Journal of Logical and Algebraic Methods in Programming (13) – . 10.1016/j.jlamp.2022.100826_x000D_
·Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep. (2023) Exception-sensitive program slicing . Journal of Logical and Algebraic Methods in Programming (13) – . 10.1016/j.jlamp.2022.100832_x000D_
·Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep. (2021) Slicing unconditional jumps with unnecessary control dependencies . Lecture Notes in Computer Science (12561)293 – 308. 10.1007/978-3-030-68446-4_15_x000D_
·Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador. (2021) Reversible CSP Computations . IEEE Transactions on Parallel and Distributed Systems, 6 (32), 1425 – 1436. 10.1109/TPDS.2021.3051747_x000D_

Boock Chapters

Contracts with public institutions

·Galindo, Carlos; Silva, Josep. Fragmentacion de Programas (ACIF/2021/155). (01/10/21 – 14/12/21).Financiación RRHH. GENERALITAT VALENCIANA._x000D_
·Silva, Josep (I.P.); Vidal, Germán (I.P.) ; Galindo, Carlos; Herrero Cuco, Carlos; Llorens Agost, María Luisa; Pérez-Rubio, Sergio; Vidal, Germán. Safer-Upv: Analisis y Validacion de Software y Recursos Web (PID2019-104735RB-C41). (04/10/21 – 31/05/24).Investigación competitiva proyectos. AGENCIA ESTATAL DE INVESTIGACION._x000D_
·Silva, Josep (I.P.) ; Galindo, Carlos. Program slicing for modern programming languages (FPU20/03861). (15/12/21 – 30/09/25).Financiación RRHH. MINISTERIO DE UNIVERSIDADES E INVESTIGACION._x000D_
·Alpuente Frasnedo, María (I.P.) ; Galindo, Carlos; Silva, Josep; Hernández-Orallo, José; Ramírez Quintana, María José; Herrero Cuco, Carlos … Sanz-Carreres, Sergi. Deeptrust (PROMETEO/2019/098). (01/11/20 – 14/12/21).Investigación competitiva proyectos. GENERALITAT VALENCIANA._x000D_
·Silva, Josep (I.P.); Vidal, Germán (I.P.) ; Galindo, Carlos; Tamarit Muñoz, Salvador; Herrero Cuco, Carlos; Llorens Agost, María Luisa … Oliver Villarroya, Javier. Metodos Rigurosos para el Internet del Futuro (TIN2016-76843-C4-1-R). (01/09/19 – 31/10/20).Investigación competitiva proyectos. AGENCIA ESTATAL DE INVESTIGACION._x000D_

Contracts with private institutions