Basic InfoOpen as PDF
|Languages||Dutch, English, basic French|
|Job Descriptions||iOS Developer, Functional Programmer, Full Stack Developer, Researcher|
|DSL||regular expressions, SQL, HTML, CSS, LaTeX|
|dev-ops||Bash, Git, Docker, RabbitMQ|
Network Guard. Swift and Objective-C.
In July 2021 I joined Network Guard as a senior software engineer with a focus on Apple platforms.
Standard Chartered. Haskell.
In February 2018 I joined Standard Chartered. My initial work entailed helping a Digital Transformation project get ready for a pilot release. In my role as a full stack engineer I worked with Jenkins, Docker, OpenShift, AngularJS, Java, and Scala.
In September 2018 I joined a team of quantitative developers. My work in this team mostly consists of rapid application development in (a dialect of) the Haskell programming language. I worked on several GUI and backend applications.
Grab. Swift and Objective-C.
In July 2016 I joined Grab, South East Asia’s leading ride-hailing platform that went on to beat Uber early 2018. My responsibilities included:
MyDoc. Objective-C, Swift, Clojure.
Other Programming Experience
Library for automatically proving equalities in commutative monoids. As a simple example, this can be used to generate a proof that, for all natural numbers l and c and r, l + (c + r) = (c + l) + (0 + r).
Implementation of several data structures in the dependently-typed functional programming language Idris. A distinguishing feature of my implementation is that key features of the data structures are formally verified.
PACKT Publishing Book Review. Swift.
Acted as reviewer of a book on the Swift programming languages for PACKT Publishing.
Implementation of persistent vectors from the Clojure programming language in Swift.
Hype Alarm. Objective-C.
Alarm clock for iPhone. Plays popular songs from the Hype Machine at dawn.
Clojure in-memory database modeled on sets, not tables. Comprehend supports pattern matching, forward matching, rewriting, and transactional storage.
I Am Here (Don’t Sleep). Objective-C.
OS X app that uses the webcam to detect if the user is in front of the screen, and prevents the display from sleeping if that’s the case.
Markup language for scientific writing. Termcat code compiles to HTML and MathML. From a technical point of view, Termcat is also a programming language.
Theorem prover for public announcement logic. This application is based on my doctoral research.
iPhone/iPad app for easy typing of mathematical and technical symbols.
Website for creating public diaries, created in collaboration with friends.
Computer science projects. Scheme and C++.
As part of my university education I wrote several programs. The larger projects included a cellular automata simulator (Scheme), a stack-based virtual computer (Scheme), and an order picking system (C++).
High school graduation project. Java/Swing.
For the final project in high school I created a multi-threaded Java application with a graphical user interface. The application was a front-end for an SQL database and also featured an XML backend.
Hobby projects. Visual Basic and Java.
My personal projects in high school included a Connect Four game (VB), a code editor (VB), and a Java library that wrapped the IRC protocol.
Doctor of Philosophy. Vrije Universiteit Brussel.
Graduated with greatest distinction.
Master’s degree in philosophy and ethics. Vrije Universiteit Brussel.
Graduated with greatest distinction.
Bachelor’s degree in philosophy and ethics. Vrije Universiteit Brussel.
Graduated with great distinction.
High school degree in computer studies. KTA Lindenlei, Ghent, Belgium.
The Recurse Center. New York.
The Recurse Center (formerly known as ‘Hacker School’) is a ‘writer’s retreat’ for programmers.
Various summer and winter schools.
Three editions of the European School for Language, Logic, and Information in Bordeaux (2009), Copenhagen (2010), and Ljubljana (2011).
One edition of the Indian School for Logic and its Applications in Hyderabad (2010).
One edition of the East-Asian School on Logic, Language and Computation in Chongqing (2012).
The 4th World Congress and School on Universal Logic in Rio de Janeiro (2013).
One edition of the Artificial General Intelligence (AGI) Summer School in Beijing (2013).
From February through August 2012 I stayed at Tsinghua University as a guest PhD student under supervision of Fenrong Liu.
Semester at the ILLC. Amsterdam.
From February to June 2010 I was at the Universiteit van Amsterdam as a guest PhD student under supervision of Benedikt Löwe.
Partially completed computer science program. Brussels.
I completed courses in computer science at the Vrije Universiteit Brussel equivalent to three semesters.
Prize awarded for my master’s thesis.
- Jonas De Vuyst. 2013. Dynamic Tableaux for Dynamic Modal Logics. PhD thesis. PDF.
- Jonas De Vuyst and Lorenz Demey (eds.). 2012. Future Directions for Logic: Proceedings of PhDs in Logic III. IfColog Proceedings 2. College Publications.
- Jonas De Vuyst. 2011. “Minimal Revision and Classical Kripke Models: First Results”. In LORI 2011. Edited by Hans van Ditmarsch, Jérôme Lang, and Shier Ju. Lecture Notes in Artificial Intelligence, vol. 6953. Springer. 300–313. The original publication is available at www.springerlink.com. Preprint.
- Lorenz Demey and Jonas De Vuyst. 2011. “PhDs in Logic III, 17–18 February” (conference report). The Reasoner, vol. 5, no. 3. 40–41.
- Bart Van Kerkhove, Jonas De Vuyst, and Jean Paul Van Bendegem (eds.). 2010. Philosophical Perspectives on Mathematical Practice. Texts in Philosophy 12. College Publications.
- Jonas De Vuyst. 2009. “Hypergesofistikeerd maar onvrij”. In Humanismen: Filosofische beschouwingen over diversiteit en pluraliteit. Edited by M. Van den Bossche and R. Vandemeulebroecke. VUBPress. 247–254.
Talks at Conferences and Meetups
Making of Rekenaar, An Idris Solver for Commutative Monoids.
Singapore Haskell Meetup,
Explanation of the why and how I created the Rekenaar library.
A Functional Data Structures Primer.
Singapore Clojure Meetup,
An introduction to the implementation of functional data structures.
|June 2013||Dynamic Tableaux for Public Announcement Logic. LICS 2013, New Orleans.|
|Oct. 2011||Minimal Revision and Classical Kripke Models: First Results. LORI-III, Guangzhou, China.|
|Jan. 2010||Epistemic Logic with Contexts. ISLA 2010 (student session), Hyderabad, India.|
|Nov. 2006||Autonomie en zingeving bij posthumanen. 28e Vlaams–Nederlandse Filosofiedag, Brussels.|
Intensive modal logic course.
Taught 3 × 3 hour sessions on model theory at Tsinghua University, Beijing.
Introductory course to logic.
About 6 × 2 hour sessions every year, plus tutoring.
PhDs in Logic III. Brussels.
Organized in collaboration with Lorenz Demey.
Travel grant for an extended stay abroad. Flemish Fund for Scientific Research.
Grant for supporting a six month stay in Beijing.
Grants for organizing a conference and for publishing proceedings.
Doctoral grant. Flemish Fund for Scientific Research.
Doctoral grant. Vrije Universiteit Brussel research council.
One year doctoral grant. Supervised by Jean Paul Van Bendegem.