Den här sidan är utskriven från Högskolan i Halmstads webbplats (www.hh.se). Texten uppdaterades senast den 2017-08-16. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.

Personal vid Högskolan

Forskning

Walid Taha leder Cyberphysical Systems Research Group vid Högskolan i Halmstad

My research interests include cyberphysical systems, software engineering, programming languages, and domain-specific languages. My current research focus is on modeling, simulation, and verification of cyberphysical systems, and in particular the Acumen modeling language.

I developed the idea of multi-stage programming (or "staging" for short), and several systems based on it, including MetaOCaml, ConCoqtion, Java Mint, and the Verilog Preprocessor. I 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.

According to Google Scholar in 2013, my publications have over 2,400 citations and an h-index of 26.