Walid Taha

is a Professor of Computer Science at Halmstad University and holds a part-time appointment as a research professor at University of Houston.  He is interested in the design, semantics, and implementation of programming and modeling languages.  His current research focus is on modeling, rigorous simulation, and verification of cyber-physical systems, and leading the development of the Acumen modeling language.

Taha is credited with developing the idea of multi-stage programming (or "staging" for short), and is the designer of several systems based on it, including MetaOCaml, ConCoqtion, Java Mint, the Verilog Preprocessor, RT-FRP, and E-FRP. He contributed to several other programming languages innovations, including statically typed macros, tag elimination, tagless staged interpreters, event-driven functional reactive programming (E-FRP), the notion of exact software design, and gradual typing. Broadly construed, his research interests include cyber-physical systems, software engineering, programming languages, and domain-specific languages.  He has chaired and edited the proceedings of several conferences and workshops published by Springer and by the ACM.  According to Google Scholar, Taha's publications had over 4,900 citations and an h-index of 32.

Taha has been the principal investigator on a number of research awards and contracts from the National Science Foundation (NSF), Semi-conductor Research Consortium (SRC), and Texas Advanced Technology Program (ATP).  He received an NSF CAREER award to develop Java Mint.  He founded the ACM Conference on Generative Programming and Component Engineering (GPCE), the IFIP Working Group on Program Generation (WG 2.11), and the Middle Earth Programming Languages Seminar (MEPLS).  Taha chaired the 2009 IFIP Working Conference on Domain Specific Languages.  He is the founding director of the Halmstad Colloquium.

Selected Publications
  • Some Challenges for Model-Based Simulation.  Workshop on Analytical Virtual Integration of Cyber-Physical Systems (AVICPS'13). pdf.
  • Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point.  International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA'13). pdf.
  • Mathematical Equations as Executable Models. IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS'10).  pdf.
  • Environment Classifiers. Symposium on Principles of Programming Languages (POPL'03). dvi, ps, pdf.
  • Experiences with A First Course on Cyber-Physical Systems.  Workshop on Embedded and Cyber-Physical Systems Education (WESE'13). pdf.
Other Information