Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
 
    informatyka analityczna  
UJ coat of arms
Theoretical Computer Science
at Jagiellonian
 
 
2014 - 2017 Maciej Bendkowski, Katarzyna Grygiel, Łukasz Lachowski, Agnieszka Łupińska, Marek Zaionc
Asymptotic methods in lambda calculus and combinatory logic
2014 - 2017 Grzegorz Gutowski, Grzegorz Herman, Pawel M. Idziak, Agnieszka Łupińska, Michał Staromiejski, Marek Zaionc
Kolonoskopia -Innowacyjna diagnostyka
NCBiR
2014 - 2017 Bartłomiej Bosek, Dariusz Leniowski, Piotr Sankowski, Anna Zych
On new techniques for matching and flow problems
Polish National Science Center
UMO-2013/11/D/ST6/03100
2013 - 2015 Piotr Micek
Coloring intersection graphs of geometric objects in the plane
Ministry of Science and Higher Education
grant within Mobility Plus program
2012 - 2015 Bartosz Walczak, Adam Gągol
Graph sharing games: strategies and algorithms
Polish National Science Center
UMO-2011/03/N/ST6/03111
2012 - 2015 Piotr Micek, Grzegorz Gutowski, Jakub Kozik
On-line choosability
Polish National Science Center
UMO-2011/03/D/ST6/01370
2012 - 2014 Jarosław Grytczuk, Bartłomiej Bosek, Tomasz Krawczyk, Grzegorz Matecki, Bartosz Walczak
Coloring games on graphs and partially ordered sets
Polish National Science Center
MO-2011/03/B/ST6/01367
2012 - 2014 Michał Lasoń
Combinatorics of matroids and simplicial complexes
Polish National Science Center
UMO/2011/03/N/ST1/02918
2012 - 0 Leszek Horwath
GPGPU based graph algorithms
Małopolskie Centre of Entrepreneurship
ZS.4112-38/11
2011 - 2014 Jarosław Grytczuk, Adam Gągol, Adam Gągol, Tomasz Krawczyk, Michał Lasoń, Przemysław Mazur, Piotr Micek, Arkadiusz Pawlik, Bartosz Walczak
Graph drawings and representations
Ministry of Science and Higher Education
as a part of EUROCORES program: Graphs in Geometry and Algorithms (EuroGIGA), maintained by European Science Foundation
2011 - 2014 Jakub Kozik, Piotr Micek
Algorithmic Local Lovász Lemma as double counting
Polish National Science Center
2011/01/D/ST1/04412
2011 - 2014 Marcin Kozik, Pawel M. Idziak
DATALOG in Constraints Satisfaction Problem
Polish National Science Center
2011/01/B/ST6/01006
2011 - 2013 Jarosław Grytczuk, Michał Lasoń
On-line task selection
Ministry of Science and Higher Education
N206 568240
2011 - 2013 Andrzej Grzesik
Applications of flag algebras in extremal graph theory
Polish National Science Center
2011/01/N/ST1/02341
2011 - 2012 Marek Zaionc, Olivier Bodini, Katarzyna Grygiel, Jakub Kozik, Grzegorz Matecki, Mikołaj Pudo
Quantitative logic
Ministry of Science and Higher Education,
8434/2011
2011 - 2012 Michał Zmarz, Jarosław Grytczuk
Thue games
Polish National Science Center
2011/01/N/ST1/05156
2010 - 2013 Andrzej Grzesik
Applications of flag algebras in extremal graph theory
Małopolskie Centre of Entrepreneurship
ZS.4112-75/2010
2010 - 2012 Piotr Micek, Bartłomiej Bosek, Iwona Cieślik, Pawel M. Idziak, Tomasz Krawczyk, Grzegorz Matecki, Bartosz Walczak
On-line algorithms and combinatorial games
Ministry of Science and Higher Education
N206 4923 38
2010 - 2012 Pawel M. Idziak, Bartłomiej Bosek, Maciej Chociej, Andrzej Grzesik, Grzegorz Gutowski, Grzegorz Herman, Leszek Horwath, Mateusz Kostanek, Jakub Kozik, Tomasz Krawczyk, Grzegorz Matecki, Piotr Micek, Arkadiusz Pawlik, Andrzej Pezarski, Mikołaj Pudo, Maciej Ślusarek, Bartosz Walczak, Marek Zaionc, Michał Zmarz
Movement tracking in monitored zones
Ministry of Science and Higher Education
R00 0081 11
2010 - 2012 Bartosz Walczak
Efficient video image sharpening in a distributed environment
Małopolskie Centre of Entrepreneurship
MCP.ZS.4110-123.1/2009
2010 - 2011 Pawel M. Idziak, Andrzej Pezarski
On-line clique covering of interval graphs
Ministry of Science and Higher Education
N 206 4901 38
2009 - 2012 Marek Zaionc, Katarzyna Grygiel, Jakub Kozik, Mikołaj Pudo, Paweł Waszkiewicz
Quantitative study in logics and computation theory
Ministry of Science and Higher Education
N206 3761 37
2009 - 2012 Michał Lasoń
On-line task selection
Małopolskie Centre of Entrepreneurship
MCP.ZS.4110-133.1/2009
2009 - 2011 Marcin Kozik
Algebraic approach to Constraint Satisfaction Problem
Ministry of Science and Higher Education
N 206 3570 36
2009 - 0 Pawel M. Idziak, Lech Duraj
Optimal graph orientation problems
Ministry of Science and Higher Education
N206 3577 36
2008 - 2011 Jarosław Grytczuk
Algorithmic problems in combinatorics on words
Ministry of Science and Higher Education
N206 2570 35
2008 - 2010 Jarosław Grytczuk, Sebastian Czerwiński
Coloring distance graphs on the integers
Ministry of Science and Higher Education
N201 2713 35
2008 - 2010 Marcin Kozik
Foundation for Polish Science
HOMING 2008
2008 - 2009 Marek Zaionc, Pierre Lescanne
CASIMIR: Recherche coopérative en logique computationnelle
Region Rhone-Alpes (France)
Cooperation between Theoretical Computer Science Department and L Ecole Normale Superieure de Lyon.
2008 - 0042, 0842C312
2008 - 2009 Pawel M. Idziak, Libor Barto, Marcin Kozik, Jiri Tuma
Algebraic aproach to Constraint Satisfaction Problem
Ministry of Science and Higher Education
Polish-Czech Project (with Charles University Prague)
7426/2008
2008 - 2008 Zbigniew Hajto
NACC network project
Ministry of Science and Higher Education
877/GG7.PR UE/20087/7
2008 - 2008 Pawel M. Idziak, Maciej Chociej, Grzegorz Harańczyk, Leszek Horwath, Jakub Kozik, Dominik Kwietniak, Grzegorz Matecki, Mikołaj Pudo, Rafał Pytko
Research on large scale mailing system
Ministry of Science and Higher Education, Interia.pl S.A.
2007 - 2010 Pawel M. Idziak
Gauss elimination in constraint satisfaction problems
Ministry of Science and Higher Education
N206 2106 33
2007 - 2009 Jarosław Grytczuk, Tomasz Bartnicki
Game coloring of graphs
Ministry of Science and Higher Education
N201 2128 33
2007 - 2008 Pawel M. Idziak, Piotr Micek
On-line Coloring of Intervals, Interval Orders and Interval Graphs
Ministry of Science and Higher Education
N206 2728 33
2007 - 2008 Pawel M. Idziak, Bartłomiej Bosek
On-line Chain Partitioning Approach to Scheduling
Ministry of Science and Higher Education
N206 2729 33
2006 - 2010 Bart de Smit, GTEM Network , Zbigniew Hajto
Galois Theory and Explicit Methods
European Union
MRTN-CT-2006-035495
2006 - 2009 Zbigniew Hajto, Teresa Crespo
Galois theory of partial differential equations
Ministry of Science and Higher Education
N 201 038 31
2006 - 2008 Daniele Gardy, Jakub Kozik, Pierre Lescanne, Paweł Waszkiewicz, Marek Zaionc
Quantitative research in logic and functional languages
POLONIUM grant
Cooperation between TCS and L Ecole Normale Superieure de Lyon and Universite de Versailles Saint-Quentin.
7087/R07/R08
2005 - 2006 Pawel M. Idziak, Grzegorz Matecki
On-line graph coloring as a game on a bounded board
Ministry of Science and Higher Education
1 P03A 045 29
2004 - 2006 Marek Zaionc, Jakub Kozik, Paweł Waszkiewicz
Types for programs and proofs
EU, szósty program ramowy
Project of 35 European Universities,
contract number 510996.
2004 - 2006 Jarosław Grytczuk
Thue problems for graphs
Ministry of Science and Higher Education
1 P03A 017 27
2004 - 2005 Pierre Lescanne, Rene David, Marek Zaionc
Project MIKOLAJ, recherche coopérative en logique computationnelle
EU grant, region Rhone-Alpes
2001 - 2003 Pawel M. Idziak
Algebraic generative complexity
Ministry of Science and Higher Education
5 P03A 040 21
2001 - 2003 Marek Zaionc, Pawel M. Idziak, Edward Szczypka
Object complexity amd asymptotic density
Ministry of Science and Higher Education
7 T11C 022 21
2001 - 2003 Pierre Lescanne, Rene David, Marek Zaionc
Project LAMBDA, recherche coopérative en logique.
EU grant, region Rhone-Alpes
2001 - 2001 Marek Zaionc
Support for Fifth International Conference of Typed Lambda Calculi and Applications
Office of Naval Research, Pentagon, USA
N00014-01-1-0450
1999 - 2000 Marek Zaionc
Simple typed lambda calculs as a tool for higher order programming
Ministry of Science and Higher Education
8 T11C 018 16
1997 - 1999 Andrzej Wroński, Pawel M. Idziak, Katarzyna Słomczyńska
Equivalential logics and Fregean varieties
Ministry of Science and Higher Education
1 H01A 001 12
1995 - 1998 Pawel M. Idziak
Stucture of finite algebras
Ministry of Science and Higher Education
P03A 031 09
1993 - 1995 Marek Zaionc
Higher order lambda definability
Ministry of Science and Higher Education
0384/P4/93
1993 - 1994 Pawel M. Idziak
Stucture of finite algebras in decidable varieties
Ministry of Science and Higher Education
2 P301 029 04
1992 - 1995 Marek Zaionc, Maciej Ślusarek
Computer Science in Krakow
UE project TEMPUS
JEP-4349
 
 
  webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl