GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:about_us:people:ali

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Last revisionBoth sides next revision
pub:about_us:people:ali [2009/11/04 16:05] – ali bio wtfpub:about_us:people:ali [2012/05/21 08:29] – meet the whole team section wta
Line 1: Line 1:
-====== GEIST People - Prof. Antoni Ligęza  ======+====== Prof. Antoni Ligęza  ======
  
-**Prof. Antoni Ligeza** (<ligeza@agh.edu.pl>) is a full professor in the domain+{{:pub:about_us:people:ligeza.jpg?width150px |Prof.A.Ligeza}} 
 + 
 +**Antoni Ligeza, Professor** (<ligeza@agh.edu.pl>, [[http://home.agh.edu.pl/ligeza|www]]) is a full professor in the domain
 of computer science at the AGH University of Science and Technology at of computer science at the AGH University of Science and Technology at
 Krakow, Poland. His principal area of investigation is Artificial Krakow, Poland. His principal area of investigation is Artificial
Line 7: Line 9:
 engineering, databases, Prolog, automated diagnosis, discrete mathematics engineering, databases, Prolog, automated diagnosis, discrete mathematics
 and logics. He is a member of ACM and IEEE Computer Society. He is author and logics. He is a member of ACM and IEEE Computer Society. He is author
-and co-author of over 200 research publications1, including international+and co-author of over 200 research publications, including international
 conferences, journals, chapters in books. His recent book "Logical conferences, journals, chapters in books. His recent book "Logical
 Foundations for Rule-Based Systems" was issued by Springer in 2006,it Foundations for Rule-Based Systems" was issued by Springer in 2006,it
Line 20: Line 22:
 representation, and many other. The control algorithm can be verified for representation, and many other. The control algorithm can be verified for
 completeness and consistency; it can be also easily extended and modified. completeness and consistency; it can be also easily extended and modified.
 +
 Antoni Ligeza actively participated in numerous national and international Antoni Ligeza actively participated in numerous national and international
 projects (KBN, TEMPUS, POLONIUM); he was the head projects (KBN, TEMPUS, POLONIUM); he was the head
Line 43: Line 46:
 international conferences and journals. international conferences and journals.
  
 +Roman catholic, married (1980) with Ewa. Two daughters, Magdalena and 
 +Marianna.
 +Hobbies: martial arts (past), travels, nordic walking, logic, logic 
 +puzzles, demystification of magic tricks.
 +
 +====== More GEIST ======
 +-> Meet the [[pub:about_us:people:start|whole team]].
  
  
-Back to [[start|about us]] 

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki