Summer Sale

Get 30% Off

Up to 30% off — ends 7 Aug

ONLY00h00m00s

professor profile picture

Jan Otop

University of Wrocław

Country flag

Poland

Has grant

This profile is automatically generated from trusted academic sources.

Google Scholar

.

ORCID

.

LinkedIn

Social connections

How do I reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI

Contact this professor

LinkedIn
ORCID
Google Scholar

Research Interests

Mathematical Logic

20%

Algebra

10%

Formal Methods

40%

Concurrency

20%

Parameterized Complexity

20%

Model Checking

20%

Computational Complexity

20%

Ask ApplyKite AI

Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?

Recent Grants

Grant: Close

Quantitative specifications: learning, algorithms and applications

Open Date: 2018-10-01

Close Date: 2021-10-01

Grant: Close

Automaty z wagami dla własności kwantytatywnych

Open Date: 2015-07-01

Close Date: 2018-10-01

Grant: Close

Automatyczne wnioskowanie w teoriach równościowych

Open Date: 2009-10-01

Close Date: 2011-10-01

Collaborators1

Jakub Michaliszyn

University of Wrocław

POLAND