profile picture

Wojciech Fica

Languages

  • Polish (Native)
  • English (Fluent)

Interests

  • Climbing
  • Competitive Programming
    (ACM ICPC)

Career Profile

A software engineer. I received a bachelor's degree in Joint Studies in Computer Science and Mathematics after studying at the University of Wrocław, Poland.

Education

Bachelor’s Degree in Joint Studies in Computer Science & Mathematics

2015 - 2018
University of Wrocław

Finished studied with GPA 4.87. Final exam grade: 5.0 (scale: lowest 2.0, highest 5.0). Maths courses I liked most: Functional Analysis, Probability Theory. CS courses I liked most: Formal Languages and Computational Complexity, Functioanl Programming, Algorithms and Data Structures.

High School Diploma,

2012 - 2015
14th High School in Wrocław

Finished CS/Math/English profiled class. Final exams grades: CS - 100%, Math - 96%, English - 94%. Finalist of Polish Olympiad in Informatics.

Experience

Software developer intern @ AXIT

Jul 2017 - Oct 2017
Summer internship

Most code in Java - backend. Implemented monitoring system which collects statistics of running services. Working on updating messages format so that a software update does not cause version incompatibilities.

Teacher @ 1st High School in Jelenia Góra

Oct 2016 - May 2017
Part-time job

Programming in C++ and algorithms lessons.

Achievements

27th place in ACM Central Europe Regional Contest 2016 (63 teams from 7 countries).
Talents Scholarship holder 2015/16, 2016/17 and 2017/18.
Finalist of Polish Olympiad in Informatics 2014/2015.
13th place in international mathematical competition Náboj 2015 (219 teams from 7 countries).

Projects

Languages + some projects I worked on.

Proof checker - Proof checker implementation in OCaml. It reads a proof line by line and checks if a current statement can be deduced from the previous ones. It supports first order logic and axioms. It can also fill gaps in a proof.
ICLR 2018 Reproducibility Challenge - The final project for Neural Networks and Deep Learning class. The aim of the report was to reproduce and discuss results presented in Word translation without parallel data by A. Conneau et al.
Compiler of ALGOL 16 - A cross compiler written in Prolog. It compiles ALGOL 16, toy-language similar to ALGOL 60, into machine code of a simple processor.
Router - Written in C. Implements distance-vector routing protocol. Creates and updates routing tables. Routers check if direct links are up and send their routing tables to their neighbours periodically.
KupSe! - A group project - simple online shop application written in Node.js. Framework - Express, database - MongoDB.
Manager - Project for data bases university course, written in Python & SQL. It manages an artificial company's human resources.
Reversi - Implemented in Haskell. Produces random rounds of reversi game.