60 likes | 154 Views
Explore partnership opportunities with 56 scientists specializing in intelligent navigation, data mining, security, and more at the Institute of Computer Science, Polish Acad. Sci. Contact us for novel solutions in various crucial areas.
E N D
OFFER OF PARTNERSHIP FROM INSTYTUT PODSTAW INFORMATYKI PAN OR INSTITUTE OF COMPUTER SCIENCE, POLISH ACAD. SCI. (56 scientists, including 49 Ph.D.’s) IN THE FOLLOWING AREAS: Presenting: J. Koronacki, korona@ipipan.waw.pl
AREA:INTELLIGENT NAVIGATION, DATA/TEXT MINING IMPORTANT FOR: Recommender systems, automated knowledge generation from large databases for health, service and industrial sectors, e-commerce, e-banking, CRM, knowledge engineering, fraud detection, credit risk assessment. NOVEL SOLUTIONS: New technologies for large Bayesian networks, artificial immune systems and statistical data analysis, with proprietary softwares implemented. Contact person:Slawomir Wierzchon, IPI PAN, stw@ipipan.waw.pl
AREA:INTRUSION DETECTION, SECURITY IMPORTANT FOR: Security and performance issues in mobile and computer network environment, private and public key cryptography and safety of banking operations via Internet, fraud detection in mobile communication. NOVEL SOLUTIONS: New implementations of evolutionary algorithms and neural networks, cellular automata and artificial immune systems. Contact person:Franciszek Seredynski, IPI PAN, sered@ipipan.waw.pl
AREA: DATA BASES APPLICATIONS IMPORTANT FOR: Distributed databases and their communication protocols via user friendly interfaces to existing databases facilitating their integration, data transfer and uniform querying. NOVEL SOLUTIONS: Stack-based approach to query language and programming language integration within object-oriented environment. Contact person:Kazimierz Subieta, IPI PAN, subieta@ipipan.waw.pl
AREA: CORRECTNESS OF SAFETY-CRITICAL SYSTEMS IMPORTANT FOR: E-commerce and e-banking, WEB secure applications, safe data trasfer and communication protocols, remote systems user identification, safe access to distributed databases. NOVEL SOLUTIONS: Efficient model checking of specifications. In particular, given in: TCTL, CTL, CTL+K via translation to SAT-solvers. Contact person:Wojciech Penczek, IPI PAN, Wojciech.Penczek@ipipan.waw.pl
AND IN THE FOLLOWING AREAS(for more info please see our booklet): WEB SERVICES, RECONFIGURABLE MULTIAGENT SYSTEMS SOFTWARE DEVELOPMENT COMMUNICATION, COMPUTING AND SOFTWARE TECHNOLOGIES SOFTWARE SPECIFICATION AND VALIDATION LANGUAGE TECHNOLOGY DECISION PROCESSES, MATHEMATICAL AND GAME-THEORETIC TECHNIQUES INSTITUTE’S WEBSITE: www.ipipan.waw.pl