Hello, and welcome to one of my homes on the web (my personally hosted blog being a less formal one)!
I am currently working as a Research Assistant in Computational Biology within the Artificial Intelligence Group of the Computer Laboratory, where I am working on developing machine learning algorithms on complex networks, and their applications to bioinformatics.
I hold a BA degree in Computer Science from the University of Cambridge, having completed the Computer Science Tripos in 2015.
Veličković, P., Wang, D., Lane, ND. and Liò, P. (2016) X-CNN: Cross-modal convolutional neural networks for sparse datasets. To appear in the 7th IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2016). [arXiv preprint]
Veličković, P., Wang, D., Day, B., Spiga, F. and Liò, P. (2016) Cross-modal neural networks with intra-layer specialisation and inter-layer feedback. ARM Research Summit 2016.
Veličković, P., Ivašković, A., Lau, S. and Stanojević, M. (2016) Viral: Real-world competing process simulations on multiplex networks. The 1st Belgrade Bioinformatics Conference (BelBi 2016).
Veličković, P. and Liò, P. (2016) muxstep: an open-source C++ multiplex HMM library for making inferences on multiple data types. Bioinformatics, doi:10.1093/bioinformatics/btw196
Veličković, P. and Liò, P. (2015) Molecular multiplex network inference using Gaussian mixture hidden Markov models. Journal of Complex Networks, doi:10.1093/comnet/cnv029
Viral: Java-based client-server application that facilitates real-life simulations of epidemics (and other spreading processes) in modern society, using a multilayer network back-end. One of the seven finalist projects at Hack Cambridge.
muxstep: an open-sourced generalised C++ library implementation of the Multiplex (GM)HMM model proposed in previous research, designed to be immediately useful out-of-the-box as well as easily extendable for specific user needs.
Exploring large-scale reinforcement learning tasks? Exploit deep learning.. Cambridge Coding Academy Evening Tech Talk Series, 20 September 2016. Google Campus London
AlphaGo: Superhuman artificial intelligence in exponentially growing spaces. Cambridge Coding Academy Evening Tech Talk Series, 25 August 2016. THECUBE London
How to make a (GameBoy) emulator?. Cambridge Coding Academy Summer School, 13 July 2016. Computer Laboratory, University of Cambridge
Deep reinforcement learning: DQN and extensions. NVIDIA Deep Learning Day, 30 June 2016. New Museums Site, University of Cambridge
Competitive programming. Computational Biology Group Meeting, 5 May 2016. Computer Laboratory, University of Cambridge
Viral: Realne simulacije konkurentnih procesa nad multipleks mrežama (with Andrej Ivašković). Bioinformatics Seminar, 6 April 2016. Faculty of Mathematics, University of Belgrade
Multiplex network inference (using hidden Markov models). Computational Biology Group Meeting, 11 February 2016. Computer Laboratory, University of Cambridge
Thus far, I have held a single formal lecture to undergraduate students. I enjoy lecturing, and would definitely be interested in further opportunities within this scope.
I currently supervise, have supervised, or will be supervising, the project work of the following students:
- Benjamin Day (2016) Combining Machine Learning & Multilayer Network Theory. Natural Sciences Tripos Part III Computational Project (co-supervised). Project mark 91/100
- Momchil Peychev (2017) Experimental Study on the Properties of Disentangled Autoencoders. Computer Science Tripos Part II Project Dissertation.
- Tudor Ţiplea (2017) An end-to-end control policy system for the GameBoy platform. Computer Science Tripos Part II Project Dissertation.
- Edgaras Liberis (2017) Computer Science Tripos Part III Project Dissertation.
- Cătălina Cangea (2017) MPhil in Advanced Computer Science Project Dissertation.
I currently supervise, have supervised, or will be supervising, the following courses:
- Advanced Algorithms (Easter 2016)
- Algorithms (Lent 2017)
- Artificial Intelligence II (Lent 2016)
- Bioinformatics (Michaelmas 2016)
- Compiler Construction (Lent 2016)
- Complexity Theory (Easter 2017)
- Computation Theory (Lent 2016)
- Concepts in Programming Languages (Easter 2016)
- Concurrent and Distributed Systems (Michaelmas 2016)
- Databases (Lent 2016)
- Further Java (Michaelmas 2016)
- Mathematical Methods for Computer Science (Michaelmas 2016)
- Programming in C and C++ (Michaelmas 2016)
- Security I (Easter 2016)
- Semantics of Programming Languages (Michaelmas 2016)
As a product of preparing these supervisions, I have also created a set of example sheets. I'll leave them here, so that they can be found more easily.
- Advanced Algorithms - k-best 0-1 Knapsack Problem
- Compiler Construction - Example Sheet 1
- Compiler Construction - Example Sheet 2
- Compiler Construction - Example Sheet 3
- Compiler Construction - Example Sheet 3++
- Compiler Construction (+ Databases) - Example Sheet 4
- Compiler Construction (+ Databases) - Example Sheet 5
- Security I - Example Sheet 1
- Security I - Example Sheet 2
I have attained substantial work experience spanning a wide variety of Computer Science fields, through four summer internships during my undergraduate and PhD degrees:
- 2013: I have interned as a software engineer at Microsoft Development Center Serbia, where I was part of a four-man team in charge of creating a prototype for a brand new stress testing tool; it was my job to handle the entire implementation and present the results achieved to the test leads in the US; the project was extremely successful.
- 2014: I have worked on the Altera-sponsored summer placement at the Computer Laboratory's Computer Architecture Group, under the supervision of Prof Simon Moore. I have worked in parallel on developing debugging and tracing utilities as part of the ongoing CHERI research project, as well as developing potential future teaching resources. The projects have been successfully executed.
- 2015: I have worked as a software developer intern at Jane Street. This allowed me to experience first-hand one of the major real-world uses of functional programming, and particularly how it's used for efficient quantitative trading. I have worked directly on trading-specific critical systems, as well as on infrastructure and standard library development (contributing directly to Jane Street's Core standard library), primarily in OCaml. My work was highly commended.
- 2016: I am currently working as a research associate at Nokia Bell Labs, as part of a continued collaboration with Nic Lane. The result of this work is the submission of three (so far!) papers relevant to the scope of my PhD, with one being already accepted for publication.
Along with Andrej Ivašković and Miloš Stanojević, in 2015 I have kickstarted the mgcsweek seminar at the Mathematical Grammar School in Belgrade. This seminar aims to give insights into a variety of Computer Science topics, to ~20 of the most gifted high school students, for a week during each school year. Through this seminar I was given the excellent opportunity to give lectures on several topics in Computer Science I find particularly interesting:
- Bioinformatics algorithms: analysis of DNA sequences
- How to make a (GameBoy) emulator?
- Computer security: authentication protocols and passwords
- Great software disasters
- Linear programming and the Simplex algorithm
- IQ sampling and FM demodulation using MATLAB
- Markov chains, PageRank and clustering
- Multiplex network inference
- AlphaGo: superhuman artificial intelligence in exponentially growing spaces
- Data compression on DNA molecules
- Anatomy of an electronic trading system
Thus far the seminar has been very successful and has expanded far beyond our original conceptions, with the potential of spreading across the specialised high schools in Serbia. It was covered by the national television (RTS) twice: (mgcsweek1), (mgcsweek2)
I used to be an extremely avid competitive programmer (and still compete on Codeforces occasionally). Achievements I'm happy about on that front include:
- Bronze medal at the ACM-ICPC Northwestern Europe Regional Contest 2014 in Linköping, Sweden;
- Four-time finalist at the Bubble Cup contest, organised by Microsoft Development Center Serbia (in 2012, 2013, 2014 and 2016);
- Ranked 311st at the Facebook Hacker Cup 2016 Round 2 (sufficient to win a Facebook t-shirt);
- Ranked 2nd overall at Codeforces Round #169 (Div. 2);
- Third prize at the Serbian Olympiad in Informatics in 2012.
I'm currently far more active as a problem setter than solver, though; since 2014 I'm a member of the Serbian Committee for Competitions in Informatics, which is responsible for organising contests on all levels from regional all the way to the Serbian Olympiad in Informatics, determining Serbia's team for the International Olympiad in Informatics.
Aside from this, I also enjoy hackathons. I've attended six of them so far, with Hack Cambridge 2016 being the most successful one by far (having made it into the top seven projects, as well as spearheading the project that ended up becoming Viral).
Artificial Intelligence Group
University of Cambridge
15 JJ Thomson Avenue
Cambridge CB3 0FD
Phone: +44 (0)1223 763544
Email: petar [dot] velickovic [at] cl [dot] cam [dot] ac [dot] uk