Analiza logiczna wybranych problemów zarządzania i dowodzenia
Zastosowanie ciał skończonych i krzywych eliptycznych w kryptografii