Back
  1. Home
  2. Profile of Lev Malcev (ULiège)
Profil

Malcev Lev

ORCID
0000-0002-5259-4336
Main Referenced Co-authors
Donnet, Benoît  (3)
Brieven, Géraldine  (2)
Liénardy, Simon  (2)
Main Referenced Keywords
CAFÉ (2); CS1 (2); Abstraction (1); Assesment for Learning (1); Automated Feedback (1);
Main Referenced Disciplines
Computer science (3)
Education & instruction (1)

Publications (total 3)

The most downloaded
283 downloads
Liénardy, S., Malcev, L., & Donnet, B. (2019). Graphical Loop Invariant Programming in CS1 [Paper presentation]. Grascomp Doctoral Day 2019 (GDD'19), Namur, Belgium. https://hdl.handle.net/2268/241671

Brieven, G., Malcev, L., & Donnet, B. (2024). Practicing Abstraction Skills Through Diagrammatic Reasoning Over CAFÉ 2.0. In IEEE Global Engineering Education Conference (EDUCON). IEEE.
Peer reviewed

Brieven, G., Liénardy, S., Malcev, L., & Donnet, B. (2023). Graphical Loop Invariant Based Programming. In Proceedings of Formal Methods Teaching Workshop (FMTea). Springer.
Peer reviewed

Liénardy, S., Malcev, L., & Donnet, B. (2019). Graphical Loop Invariant Programming in CS1 [Paper presentation]. Grascomp Doctoral Day 2019 (GDD'19), Namur, Belgium.

Contact ORBi