Prof. Steve Zdancewic, University of Pennsylvania
Tag "International Laboratory for Intelligent Systems and Structural Analysis"
Prof. Thomas Hensinger, IST Austria
Daniel Borchman, Postdoctoral Research Associate, Technische Universität Dresden
Professor Peter Horvath gave a mini course «Microscopy image analysis» for students of computer .In his course he made stress on high-content screening (HCS), which includes cell biology, automated high resolution microscopy, informatics and robotics
At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk entitled: "A Faster Tableau for CTL*"
Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
The book is written by B.Ganter and S.Obiedkov. Bernhard Ganter is emeritus professor of mathematics at Technische Universität Dresden, Germany. His main research field is Formal Concept Analysis. Sergei Obiedkov is an Research Fellow at the ISSA Laboratory and an associate professor at the National Research University Higher School of Economics, Moscow. His research covers topics in data analysis and artificial intelligence, including logical and algorithmic aspects.
1
2