Kovács Laura Ildikó

Kovács Laura Ildikó (Temesvár, 1980. április 26. –) erdélyi származású magyar informatikus, egyetemi oktató, Kovács Béla matematikus leánya.

Kovács Laura Ildikó
Született 1980. április 26. (41 éves)
Temesvár
Nemzetisége magyar
Foglalkozása informatikus,
egyetemi oktató

ÉletpályájaSzerkesztés

2002-ben matematika-informatika szakot végzett a temesvári egyetemen, ugyanott informatika mesterszakot 2004-ben. 2003–2007 között tanársegéd a temesvári egyetem matematika és informatika karán, közben doktorandusz a linzi egyetemen és a RISC kutatóintézetben. 2007-ben doktorált a linzi Johannes Kepler egyetemen Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema című dolgozatával. 2009–2010 között posztdoktori kutató a zürichi ETH-nál. 2010-től a bécsi műszaki egyetemen dolgozik.

MunkásságaSzerkesztés

Kutatási területei: formális szoftver-ellenőrzés, szimbolikus számítások, automatikus tételbizonyítás. Többnyire Kovács Laura néven publikál.

Válogatott cikkeiSzerkesztés

  • Buchberger, Bruno; Crăciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang: Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4, No. 4, 470–504 (2006).
  • Kovács, Laura Ildikó; Jebelean, Tudor: Automated generation of loop invariants by recurrence solving in Theorema. An. Univ. Timis., Ser. Mat.-Inform. Spec. Iss. I, 151–166 (2004).
  • Kovács, Laura; Jebelean, Tudor: Practical aspects of imperative program verification in Theorema. An. Univ. Timis., Ser. Mat.-Inform. 41, Spec. Iss., 135–154 (2003).
  • Kovács, Laura; Moser, Georg; Voronkov, Andrei: On transfinite Knuth-Bendix orders. In: Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wroclaw, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 384–399 (2011).
  • Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura; Rybalchenko, Andrey: Aligators for arrays (tool paper). In: Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 348–356 (2010).
  • Kovács, Laura; Voronkov, Andrei: Interpolation and symbol elimination. In: Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 199–213 (2009).

ForrásokSzerkesztés

Kapcsolódó szócikkekSzerkesztés

Külső hivatkozásokSzerkesztés