Walid Mohamed Taha
Professor of Computer Science at the School of Inf
Computer Science
Halmstad University
Sweden
Biography
Walid Mohamed Taha was born in Egypt. He has a BA in Computer Engineering from Kuwait University. In 1999 he gained his Ph.D. in Computer Science (Computer Science and Engineering) at the Oregon Graduate Institute, USA. During 1999–2000, Walid Taha had a postdoctoral position at Chalmers University in Sweden. Between 2000 and 2002, he worked in research at Yale University, USA. From 2002 to 2010, Professor Taha was an Assistant Professor at Rice University, USA, where he is now an Adjunct Professor. In 2010, he was hired as a Professor here at Halmstad University.
Research Interest
Professor Taha's research interests include semantics of programming languages, type systems, compilers, software generation, real-time and physically safe computations. He develops programming languages and methods for building software for embedded and intelligent.
Publications
-
KoneÄný, Ferenc Ãgoston, Duracz, Jan, Duracz, et al. (2016) Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point. Nonlinear Analysis Hybrid Systems 20: 1-20.
-
Duracz, Adam, Bartha, Ferenc Ãgoston, Taha, et al. (2016) Accurate Rigorous Simulation Should be Possible for Good Designs. Proceedings of the 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).
