Kovács Laura Ildikó
| Kovács Laura Ildikó | |
| Született | 1980. április 26. (43 éves) Temesvár |
| Nemzetisége | magyar |
| Szülei | Kovács Béla |
| Foglalkozása | informatikus, egyetemi oktató |
| Iskolái | Temesvári Nyugati Tudományegyetem (–2002) |
| Sablon • Wikidata • Segítség | |
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.
Életpályája[szerkeszté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ága[szerkeszté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 cikkei[szerkeszté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).