Room closed on the 16th of March »
The Inter-Actief room is closed on the 16th of March because of Symposium Zephyrus in Kinepolis in Enschede.
Starting the 17th of March the room will be open again from 09:00 till 16:00 in accordance with our normal opening hours.
COVID update »
Due to a large number of infections, we'd like to repeat the advice to stay home if you have any symptoms and to do a self-test before coming to IA or any of our activities.
We've noticed a high number of infections among our members in the past week. In consultation with the local health services, we have decided to move the committee market from the 16th of February to the 2nd of March. Furthermore, other activities will continue and the Inter-Actief room will remain open throughout the entire week. However, we do want to ask everyone to be extra careful; stay home when you're experiencing any symptoms and do a self-test before coming to Inter-Actief or one of our activities.
We are looking for people that can help during the numerus fixus exam day (paid!)
on March 5th the numerus fixus exam for TCS will take place and because we obviously want to show our campus to these possible students as well, there are some more activities around this like a lunch and a small puzzlehunt-ish around campus. This day will run from 9:30 till 14:30 on Saturday March 5th. We are looking for students to help with this day. You will get paid through UTflex as it is work for the faculty!
If interested please contact me at firstname.lastname@example.org
On January 30th, 2022 Remco Abraham has received the ENIAC Thesis Award 2020-2021 for his thesis titled “Symbolic LTL Reactive Synthesis”.
A delegation of the ENIAC board visited Remco at home to hand over the big cheque (worth €500,-) and the physical trophy.
The jury consisted of Tim Kemp (winner last year, FMT), Pieter-Tjerk de Boer (DACS) and Luís Ferreira Pires (SCS). They scored all nominated theses on a number of criteria:
- Scientific approach
- Practical approach (“engineering approach”)
- Difficulty of research
- Readability and usability of thesis to specialists and computer scientists in general
- Benefits of research / development for greater good
The jury had the following to say:
The jury agreed that all the nominations were of excellent quality, which made us proud of the work that is being performed by our Master students. It was interesting to notice that the nominated theses are quite diverse not only in terms of their application areas, techniques, and methodologies, but also their presentation and writing styles. This means that the selection of the award-winning thesis is a far from trivial process. After evaluating the theses for their scientific depth, practical importance, level of difficulty (complexity), readability and relevance, the jury unanimously selected Remco Abraham as the winner of the ENIAC thesis award 2020-2021!
The thesis is entitled ‘Symbolic LTL Reactive Synthesis’, and the relatively short title hides the complexity and comprehensiveness of the work. The thesis dives into mathematical theories like Linear Temporal Logic, w-automata and parity games, amongst others, without losing the attention of the reader. The text is extremely clear and properly illustrated with figures and diagrams, making it accessible for computer scientists with some basic knowledge of formal methods.
Remco combined different mathematical theories of computation in a new way and in great depth. The jury was impressed by the amount and the quality of innovative work performed in this thesis. In addition to the theoretical work, Remco also implemented these theories in a software tool where he implemented multiple techniques for the first time using a symbolic approach. The tool has been compared with another tool that is quite popular in this area on a common set of benchmarks, both showing its correctness and showing potential benefits in performance. The tool embodies the practical application of the results, making the work quite complete.
We congratulate Remco for this outstanding achievement!
Remco was nominated by the FMT group. Besides Remco, the other nominees were:
- Chakshu Gupta – “HoneyKube: Designing a Honeypot Using Microservices-Based Architecture” (SCS)
- Frank Ruis – “Independent Prototype Propagation Graph for Compositional Zero-Shot Recognition” (DMB)
- Ricardo Ampudia – “Visible Light Positioning for Unmanned Aerial Vehicles” (PS)
- Matthijs Souilljee – “Locating Selective Sweeps with Accelerated Convolutional Neural Networks” (CAES)
- Rick de Vries – “Clash of Clangs: Differential Testing of srcML and Clang” (FMT)
We would like to thank the departments for the nominations and the jury for reading and grading the theses. We wish all nominees the best of luck with their future careers!
Goodbye gift Arend »
To thank Arend for his work for the programme we gave him a gift.
As of this year, Arend has left us as programme director to start a new adventure within our faculty. To thank him for his time and efforts helping us try to make the best study for all of our students we made him a personalized gift. The students and staff wrote messages for him and the education committee bundled these together in a book.
Arend would like to thank all of the students and staff for this time and their nice messages.
Kick-IT 2022 formed! »
The Kick-IT committee for 2022 has been formed. Together, they will organise the faculty part of the Kick-In.
De function division is as follows:
Hella Janssen - Chairwoman
Niels Rotmensen - Secretary & Bachelor Day
Krisiyan Dimitrov - Treasurer
Wout Velthuis - Logistics
Mariska Frelier - Camp & Activists
Anamaria Ceban - Do-group market & Integration
From left to right: Niels, Wout, Hella, Mariska, Anamaria, Krisiyan
Inter-Actief room open again »
Now that physical education on campus is allowed again, the Inter-Actief room will also be opened again from 9:00 to 16:00 every day.
Due to the 1.5m measure, there is still a limited amount of people that can work in the Inter-Actief room at the moment. But coming by to buy a snack in our cookie corner or to ask a quick question is always possible. We would also like to point you to the university policy to take a self-test twice a week and to always wear a face mask while in university buildings.
IBC committee 2022 has been formed! »
The IBC committee for 2022 has been formed!
The committee consists of the following members:
- Wander Stribos - Chairman
- Cas ten Have - Secretary \ Promotion
- Gilian Schrijver - Treasurer
- Pim Mulder - Logistics
- Pepijn Visser - Excursions
- Arda Koc - Excursions
Inter-Actief room closed »
Due to the current covid measures, unfortunately, the Inter-Actief room has been closed once more.
Last Saturday, the 18th of December, the government announced new covid measures as a response to the fast-spreading omikron variant of the virus. As a result, the Inter-Actief room is currently closed for members, and most planned activities won't continue.
More information on the effects of the new measures will follow later. For now, there will still be board members available in the association room to help with any questions or problems. Next to that, you can of course still reach us at email@example.com.
Kevin Alberts: Member of Merit »
During the General Members Meeting of the 13th of December 2021 it has been decided to proclaim Kevin Alberts a Member of Merit.
Eight years ago Kevin Alberts started studying at Inter-Actief, Almost immediately after starting his studies, he got active at the system administration committee. Starting a long and very fruitful time helping the association with our IT systems, not only in the SysCom but also in the website committee, slowly turning into someone that was always there to help with any issues regarding any system Inter-Actief has (Also known as yelling "Albeeeerts help!" through the room). But not only has Kevin helped a lot with our IT systems, he also joined multiple committees helping us organize various events. Most notably as a bartender and member of the Societeits committee. With 227 tended drinks in his name and his time as a Quaestor for the Societeits committee, not only fulfilling this task but building a system to help his successors and future treasurers of Inter-Actief. This afterwards turned into multiple years of giving advice as a member of the Audit committee. Summed up, Kevin has helped out our association a great deal, not only as someone who was there to help out during his time at our university but also as someone who has helped the association to set-up for the future.
New covid measures »
Due to the current covid measures, unfortunately, several things can't continue. However, the Inter-Actief room will, fortunately, remain open.
Last Friday, the 12th of November, the government announced new covid measures, and yesterday, the 15th of November, the university decided which measures they would take as a response. During this lockdown period, fewer activities will be able to continue. But fortunately, the Inter-Actief room will still remain open for questions, printing, or simply getting coffee and snacks.
However, while the advise stands to work from home, the Inter-Actief room is not meant for social gatherings or large groups. Next to that, we would like to point you to the advice of the university to frequently make use of self-tests, and to the mandatory use of face masks while moving around the university.
For now, those are all relevant updates. We as the board hope this informs you well enough, and we hope you stay safe.
Looking for TAs »
Looking for TAs for programming courses!
A message from Jan Broenink:
I am looking for student assistants for my courses on programming:
ECSI part of CPS (Embedded Control Systems Implementation of minor / elective module Cyber-Physical Systems) in 1B on Raspberry Pi and Linux (Raspbian) that students use to write very simple and basic I/O driver programs to control a motor. This part is attended by EE and AT students, TCS students take the other part of the module on Wednesdays, namely Physical Systems Modelling and Control. The practicals run on 6 Wednesdays, starting from 17-11 up to and including 22-12, so all activity is before Christmas. That practical is full day. Next to that some preparation work spread over the 3-4 weeks ahead of the quarter, and grading of each week’s exercise, taking 4-5 hours.
RTSD, Real-Time Software Development (MSc course) in 1B This year on real-time programming using Raspberry Pi 4, using Xenomai (Real-time version of Linux) on 2 cores and Rasbian on 2 other cores. Next to that, also use of ROS2, a networking / messaging (middleware) system used in robotics. It is a big change compared to previous years. So, now experience of student assistants is more on computer engineering, C, C++ programming, testing of hard-real time software, and of course controlling some robotic setup (2 motors and a webcam).
Programming 2, BSc + MSc couse in 2A On the basics of C++ programming, for BSc students part of EE-Module 7B (3 EC). MSc students are mostly from Biomedical Engineering, and do a larger end project.
If you are interested please email firstname.lastname@example.org