Yassine Lakhnech - homepage
Research GAMIST Activities in the Department and University Teaching Duties Projects Events
some videos
FR3
Bull
Yassine Lakhnech
Professor at the University Joseph Fourier (Grenoble 1)



Research Laboratory: VERIMAG Web VERIMAG
Research Team: Distributed and Complex Systems (team leader). Web VERIMAG
Address : Verimag, Centre Equation
                  2 Av. de Vignate,
                  F-38610 Gieres, France.
Pho.:   +33 (0) 4 56 52 03 81    Fax.:   +33 (0)  4 56 52 03 44 
email: 
  Firstname.Lastname (at)imag.fr     
public pgp key

Research activities

Research topics:

  • Theory in Computer Security and Cryptography
  • Computer-Verified Security
  • Computational Non-interference
  • Language-based Security
  • Semantics and foundations of programming and modeling languages.
  • Semantics and Formal Verification
  • Logics and automata

My publications (will be updated tomorrow)

DBLP Bibliography

Some statistics computed with Harzing's Publish or Perish :

Papers: 166Cites/paper: 12.10 h-index: 24 AWCR: 181.80
Citations: 2009Cites/author: 616.96 g-index: 41AW-index: 13.48
Years: 17Papers/author: 55.46 hc-index: 16 AWCRpA: 55.28
Cites/year: 102.57 Authors/paper: 3.41 hI-index: 6.94
hI,norm: 13


 

Activities in the Department and University

Top

Teaching Activities

Top

 

Some Projects

Top

Some events

Top

Verimag's football (soccer) team (some good players missing)
Do  you know  who is Muhammad ibn Musa al-khawarizmi al-Qutrubbuli?