Dr. Robert van Engelen received his M.Sc. degree in Computer Science and Mathematics from Utrecht University, the Netherlands, in 1994, and he received his Ph.D. degree in Computer Science from Leiden University, the Netherlands, in 1998. He joined the Florida State University as an Assistant Professor in 1998. He is a recipient of the prestigious Department of Energy Early Career grant awarded in 2002 to support his work on high-performance computing and networking. He also obtained six National Science Foundation grants. He published over 70 refereed publications in conference proceedings and journals such as IEEE Transactions on Pattern Analysis and Machine Intelligence, Real-Time Systems Journal, IEEE Journal of Computational Science and Engineering, and ACM Transaction on Internet Technologies.
Research
Dr. van Engelen's chief research interests are in the areas of compilers, distributed computing, grid computing and Web services, problem-solving environments for scientific computing, and Bayesian probabilistic networks. His specialization in the area of compilers is symbolic analysis for restructuring and parallelizing compilers, generalized induction variable recognition, data dependence analysis, embedded systems optimizations, and parametric estimation. He developed the gSOAP toolkit for XML Grid and Web services, which has become the de-facto Web services development toolkit for C/C++ in industry and academia. He also developed the CTADEL problem-solving environment for meteorological and atmospheric prediction models.
Selected Publications
- Robert van Engelen, Johnnie Birch, Yixin Shou, Burt Walsh, and Kyle Gallivan, A Unified Framework for Nonlinear Dependence Testing and Symbolic Analysis, in the proceedings of the ACM International Conference on Supercomputing, 2004.
- Robert van Engelen, Gunjan Gupta, and Saurabh Pant, Developing Web Services for C and C++, in IEEE Internet Computing Journal, March, 2003, pages 53-61.
- Robert van Engelen, ATMOL: A Domain-Specific Language for Atmospheric Modeling, in the Journal of Computing and Information Technology, 2002, pages 289-304.
- Robert van Engelen, Efficient Symbolic Analysis for Optimizing Compilers, in proceedings of the International Conference on Compiler Construction, ETAPS 2001, LNCS 2027, pages 118-132.
