|
|
|
Walid Taha
is a Professor at Halmstad University and a
part-time Adjunct Professor at Rice University. His current
interest is in modeling, simulation, and verification of cyberphysical
systems, and in particular the
Acumen.
He is credited for developing the idea of multi-stage programming,
and is the designer of several systems that develop this idea,
including
Java Mint,
MetaOCaml,
ConCoqtion, and the Verilog Preprocessor. He was also involved
in the development of several other ideas, 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.
Taha was 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.
Taha chaired the 2009 IFIP Working Conference on Domain Specific
Languages. 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).
|
|
|