My goal is to learn how to control software complexity in order to better understand software, so we can maintain and extend it more efficiently and with better quality guarantees.
Jurgen Vinju is a Full Professor at the Department of Mathematics and Computer Science of Eindhoven University of Technology (TU/e), where he holds the Chair of Automated Software Analysis. Vinju’s research encompasses different aspects of development of new theories and tools that are able to predict or improve the behavior and quality of software. He sees controlling the size and complexity of software as one of the greatest scientific challenges in software engineering research, resulting from a lack of in-depth understanding of the causes Automated Software Analysis. In his research, Vinju focuses on the of software complexity and how software systems may be simplified. In addition to this research he also focuses on strengthening cooperation with high tech companies in the Eindhoven region.
Jurgen obtained his PhD in computer science from the University of Amsterdam, where he also received an MSc with honors in computer science, software engineering. In addition to his work at TU/e, Vinju is affiliated with CWI (Centrum Wiskunde & Informatica), the national research institute for mathematics and computer science in the Netherlands. As a designer and programmer, Jurgen contributes to open-source software projects, such as the Rascal Metaprogramming Language. Here he leads the research group Software Analysis and Transformation. He has also worked at INRIA Lille Europe Nord and has been a guest researcher at IBM TJ Watson Hawthorne and Lucent Technologies, New Jersey. He has acted and currently acts as editor of various journals, including Language Descriptions Tools and Applications, Source Code Analy-sis and Manipulation, IEEE Transactions on Software Engineering (TSE), Journal on Empirical Software Engineering (ESE), IEEE Software and Journal of Software Maintenance and Evolution (JSME).
Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods and C functionsJournal of Software : Evolution and Process (2016)
Towards multilingual programming environmentsScience of Computer Programming (2015)
Automated generation of program translation and verification tools using annotated grammarsScience of Computer Programming (2010)
Generator of efficient strongly typed abstract syntax trees in JavaIEE Proceedings - Software Engineering (2005)
Term rewriting with traversal functionsACM Transactions on Software Engineering and Methodology (2003)
- Ik ben volledig in dienst bij het CWI., Centrum Wiskunde & Informatica (CWI)