Eldar Khalilov, B.Sc.

Eldar Khalilov

MASc. Student
Email: ekhalilov@gsd.uwaterloo.ca

Education

Bachelor of Science (2010),
Chair of Higher Mathematics,
Faculty of Natural Sciences,
National Research University of Information Technologies, Mechanics and Optics (NRU ITMO)

Master of Science (2012),
Chair of Higher Mathematics,
Faculty of Natural Sciences,
National Research University of Information Technologies, Mechanics and Optics (NRU ITMO)

Projects

Current Projects

Clafer

Tools

Publications

2016

Khalilov, E., and J. Ross, "Supplemental material for the paper 'Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners'", Supplemental Material, no. GSDLAB-SM-2016-05: University of Waterloo, 05/2016.

[bib]

[pdf][pdf][zip]

Khalilov, E., J. Ross, M. Antkiewicz, M. Voelter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA: Springer, 2016.

[bib]

Tags:

Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.

Rehan Rauf

Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.

Alexandr Murashkin