Josep Silva Galiana

Education and Training

• 2003-2007: PhD in Computer Science – Universitat politècnica de valència (Valencia, Spain)
• 2005-2006: Master’s degree in Software Engineering (Valencia, Spain)
• 2002-2004: Master’s degree in Human Resources – AFEM (Valencia, Spain)
• 1996-2001: Master’s degree – Computer Science Engineering (Valencia, Spain)

Teaching activity

• 2018 – : Software Debugging Laboratory
• 2020 – : Source Code Transformation, Debugging, and Validation
• 2023 – : Programming Languages, Technologies, and Paradigms

Profesional activity

• 2000-2001: Care Technologies
• 2001-2003: EOHT
• 2003-2005: Bluebit Technologies

Awards & Honors

• Award for the teacher who gives the best tutorials – ETSINF 2019
• Award for the best teacher of the year – ETSINF 2019
• Award for Educational Excellence from the Social Council of the UPV (First Prize) 2018
• Award for Teaching Excellence of the Technical School Higher Degree in Computer Engineering 2018

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
·Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva, Josep; Tamarit Muñoz, Salvador. (2023) Maximal and minimal dynamic Petri net slicing. Fundamenta Informaticae, 4 (188), – .
·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
·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
·Alarte, Julián; Silva, Josep. (2021) Page-Level Main Content Extraction from Heterogeneous Webpages. ACM Transactions on Knowledge Discovery from Data, 6 (15), 1 – 21. 10.1145/3451168

Boock Chapters

Contracts with public institutions

·Ramírez Quintana, María José (I.P.); Escobar Román, Santiago (I.P.) ; Silva, Josep; Villanueva, Alicia; C. Monserrat; Vidal, Germán … Llorens Agost, María Luisa. Tecnologias de Aprendizaje y Razonamiento Rapido y Lento (CIPROM/2022/6). (01/01/23 – 31/12/26).Investigación competitiva proyectos. GENERALITAT VALENCIANA.
·Silva, Josep; Galindo, Carlos. Fragmentacion de Programas (ACIF/2021/155). (01/10/21 – 30/09/25).Financiación RRHH. GENERALITAT VALENCIANA.
·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.
·Botti V. (I.P.) ; Silva, Josep; C. Monserrat; Onaindia De La Rivaherrera, Eva; Julian, Vicente; Pelechano Ferragud, Vicente … Civera Saiz, Jorge. Foundations Of Trustworthy Ai – Integrating Reasoning, Learning And Optimization (952215). (01/09/20 – 31/08/23).I+D Colaborativa competitiva. EUROPEAN COMMISSION.
·Silva, Josep (I.P.); Vidal, Germán (I.P.) ; Herrero Cuco, Carlos; Vidal, Germán; Oliver Villarroya, Javier; Llorens Agost, María Luisa; Pérez-Rubio, Sergio. Safer-Upv: Analisis y Validacion de Software y Recursos Web (PID2019-104735RB-C41). (01/06/20 – 31/05/24).Investigación competitiva proyectos RETOS. AGENCIA ESTATAL DE INVESTIGACION.

Contracts with private institutions

·Vidal, Germán (I.P.) ; Silva, Josep; Oliver Villarroya, Javier; Langa Morcillo, Pablo. Investigacion y Construccion de Una Nueva Plataforma para el Desarrollo de Aplicaciones en Internet (IMIDTD/2004/13). (10/05/04 – 10/05/06).I+D Colaborativa contratada. PLANIFICACION DE ENTORNOS TECNOLOGICOS, S.L.._x000D_