Who's Who in
Sciences Academia

    Lilia Georgieva

  • Lecturer
  • Lilia Georgieva
  •  
  • Department of Computer Science
  • http://www.macs.hw.ac.uk/cs/index.htm
  • Heriot-Watt University
  •  
  • Edinburgh Scotland EH14 4AS
    United Kingdom
  •  
  • PhD
  • 2003
  • University of Manchester
  •  
  • Contact by e-mail?
  •  
  • Theorem proving, logics, proof theory, verification, algorithms
  •  

  • Start A New Search

    If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

    If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.