Germán Vidal is currently a professor of computer science in the Department of Information Systems and Computation (DSIC) at the Technical University of Valencia, Spain. He holds BS and PhD degrees in computer science (from the Technical University of Valencia). He became part of the academic staff of DSIC in 1994, where he has taught courses on software engineering, programming languages, requirements engineering, declarative programming, and partial evaluation. He has been an active researcher in declarative programming since 1992, when he discovered the beauty and simplicity of this programming paradigm.
Germán currently leads the Multi-paradigm Software Technology (MiST) group at the Technical University of Valencia, which is focused on declarative programming technology. While software construction in other language paradigms is mostly a craft, declarative programs can be synthesized from specifications, formally verified, mechanically optimized, or automatically specialized with respect to some particular constraints. And, what is more important, the correctness of these techniques can be formally proven by well-known mathematical methods.
His main research interests range over a variety of topics in declarative programming. He has worked on multi-paradigm declarative languages and, particularly, the integration of functional and logic programming, the most popular declarative programming paradigms. He has also developed several formal techniques and tools for multi-paradigm declarative languages (like Curry, Haskell, and Prolog), providing program analysis, verification, refactoring, partial evaluation, debugging, tracing, profiling, and slicing.
He has published more than 50 papers in refereed conference proceedings and journals on the above topics. He has served on the program committee of several conferences in his area of expertise, like European Symposium on Programming (ESOP), Principles and Practice of Declarative Programming (PPDP), Partial Evaluation and Semantics-Based Program Manipulation (PEPM), and Logic-Based Program Synthesis and Transformation (LOPSTR). He has been a member of the PEPM steering committee since 2005. In his spare time, he enjoys spending time with his family, reading, watching movies, and traveling.