Dr. Walid Taha is a Professor of Computer Science at Halmstad University in Halmstad, Sweden and holds a joint appointment at Rice University in Houston, Texas. He is credited with developing the idea of multi-stage programming and has designed several systems based on this concept, including MetaOCaml, ConCoqtion, JavaMint, the Verilog Preprocessor, RT-FRP, and E-FRP. He has over 2,700 citations and an h-index of 27. Dr. Taha’s current research focus is on modeling, rigorous simulation, and verification of cyber-physical systems, and leading the development of the Acumen modeling language.


Follow Us

.. and stay updated with our activities.

تابعنا الآن

.. وأبقي علي إطلاع علي أنشطتنا.

Join Our Mailing List

Subscribe to our mailing list to stay updated with the latest news from ECASTI.

إشترك فى قائمتنا البريدية

إشترك فى قائمتنا البريدية لتبقى على إطلاع على أحدث أخبار ECASTI

privacy المعلومات الخاصة بكم هى شىء أساسى بالنسبة لنا.

 
×
CREATE ACCOUNT ALREADY HAVE AN ACCOUNT?
×
FORGOT YOUR DETAILS?
×

Go up