A message from the PC-CS:

The Programme Committee of Computer Science is looking for a minutes maker for their meetings.

The meetings are every month from September up to and including July from 10.45 AM to 12.45 PM. The meetings will be in English and the minutes will also be in English. You must be present at every meeting and be able to start as soon as possible.

This is a paid role and you will be compensated for your work.

If you are interested or if you have any questions, please send an email to boz-cs@utwente.nl

Het 44e bestuur der I.C.T.S.V. Inter-Actief is gechargeerd!

Op de ALV van 6 september 2022 heeft het 43e bestuur plaatsgemaakt voor haar opvolgers. Het 44e bestuur is als volgt gechargeerd:

• Voorzitter - Oliver Davies
• Secretaris - Maarten Meijer
• Penningmeester - Jochem Bleeker
• Functionaris interne betrekkingen - Quirijn Hoenink
• Functionaris externe betrekkingen - Wout Velthuis
• Functionaris onderwijs - Niels Rotmensen
• Vicevoorzitter - Mariska Frelier

Van links naar rechts: Niels, Quirijn, Maarten, Oliver, Jochem, Wout, Mariska

The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is looking for a new student assessor as of Sept 1, 2022 to be part of the faculty board.

Do you want to defend the interests of all students of the faculty for one year? Do you want to gain experience in management and governance and learn about the ins and outs of the faculty and the university? Do you want to build up a professional network, both inside and outside of the faculty? Apply for the position of student assessor! The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) is looking for a new student assessor as of September 1, 2022 to be part of the faculty board.

What does the student assessor do?

Within the Faculty Board, the Student Assessor represents a student perspective. The Student Assessor has an advisory role in the board, is expected to actively attend board meetings, and is an important channel for enhancing its interaction with the student population. Depending on personal interest and skills, the Student Assessor can take on specific tasks in consultation with the Faculty Board. Furthermore, the accessibility of the Student Assessor enables the Student Assessor to assist on various topics like UT strategy days, internationalisation, etc. The Student Assessor can also support the Office for Educational Support, as well as take part in Institutional Review Quality Assurance procedures. The function of a Student Assessor contains proactive and reactive components. The proactive components include attending all meetings of the Faculty Board, and the Faculty Council, suggesting agenda topics for the board meetings, actively advising on student related topics and keeping in touch with various study bodies. The reactive component includes the representative role of the Student Assessor, where they provide the student perspective e.g. at UT strategy days. Depending on personal interest and skills, the Student Assessor can take on specific tasks in consultation with the Faculty Board,

For whom?

We are looking for an enthusiastic student who:

• Studies at one of our faculty’s bachelor or master programs;

• Is able to maintain relationships with various stakeholders within the faculty, and university. These include the study associations, assessors from other faculties, study advisors, etc.

• Wants to defend the interest of the faculty’s students for one year;

• Knows what’s on the students’ minds and is able to advise the board on this;

• Is interested in education, student affairs and administrative processes;

• Is communicative and likes to share his/her opinion with others;

• Has a good sense of integrity and can properly deal with confidential information;

Appointment

The appointment as a student assessor runs from September 1, 2022 to October 1, 2023. During this period, you will need to spend around 8 hours per week to fulfill all the student assessor tasks. Most of these hours can be used/planned flexibly. For your work as a student assessor, you receive a fixed compensation of € 330 net per month.

Interested?

For more information or questions you can contact the current student assessor, Grace Iroagalachi via g.c.iroagalachi@student.utwente.nl Send your CV and accompanying letter of motivation to the student members of the EEMCS faculty council via eemcs-facultycouncil@utwente.nl no later than 27 June 2022. The student members of the faculty council will nominate suitable candidates. The faculty board selects the new student assessor in June and asks the Executive Board of the UT to appoint the assessor

Vandaag is de nieuwe Symposium Commissie gevormd! Met trots presenteren wij de 6 leden die volgend jaar het Symposium zullen organiseren!

• Krisiyan Dimitrov - Voorzitter
• Duru Kocak - Secretaris & Website
• Wander Stribos - Penningmeester
• Tessa van Belois - Sprekers & Promotie
• Hein Huijskes - Externe betrekkingen
• Maarten Marcusse - Logistiek

A message from the BITOC (program committee BIT):

We are looking for a student who is willing to make minutes of the meetings of the Programme Committee BIT (BITOC).

For this activity we are looking for a student who is concerned, and, preferably, who has some experience in making (English) minutes, and is registered as BIT -student (bachelor or master). The minutes secretary cannot be a member of the BITOC.

There are 7-8 meetings per year. The meetings take place on Thursday afternoon from 12.45 until approximately 14.30 hr. The minutes secretary will receive a compensation. He/she will have a UT Flex appointment and can claim expenses for worked hours.

In case you have any questions about this position you can contact the chairman Luis Ferreira Pires or the undersigned email.

In case you are interested, please send your application at the latest May 23, 2022 to boz-bit@utwente.nl.

Een paar weken geleden vond de interne competitie van de jaarlijkse lerarenprijzen plaats.

En we hebben een winnaar!

Met een overweldigende hoeveelheid stemmen en veel liefdevolle woorden van studenten heeft hij gewonnen!

Wallace Corbo Ugulino!

Wij feliciteren hem en wensen hem veel succes in de universiteit brede competitie!

Het kandidaat-bestuur voor het volgende collegejaar is bekend!

De volgende mensen willen vanaf september het huidige bestuur opvolgen:

• Voorzitter - Oliver Davies
• Secretaris - Maarten Meijer
• Penningmeester - Jochem Bleeker
• Interne betrekkingen - Quirijn Hoenink
• Externe betrekkingen - Wout Velthuis
• Onderwijs - Niels Rotmensen
• Vicevoorzitter- Mariska Frelier

Ze zijn bereikbaar op cb2223@inter-actief.net.

v.l.n.r. Niels, Quirijn, Maarten, Oliver, Jochem, Wout, Mariska

Vandaag heeft Inter-Actief haar eerste grote aankoop gedaan vanuit het nieuwe winstplan. We kijken uit naar de vele varierende mogelijkheden van ons nieuwe bezit!

Door het gebrek aan activiteiten en andere uitgaven tijdens de coronacrisis heeft Inter-Actief een redelijke winst opgebouwd. Zoals besproken op de laatste algemene ledenvergadering zal de vereniging daarom pogen om het vermogen af te bouwen met meerdere grote uitgaven. Verdere plannen zullen nog worden uitgewerkt op o.a. de inputsessie van aankomende woensdag.

Echter staat het bestuur ook in zijn recht om zulke uitgaven te maken buiten het strategisch plan van de inputsessie om. Zo werd er afgelopen week een enorm voordelige aanbieding voorgeschoten, welke niet te missen valt. Hierbij presenteren wij dan ook trots waar wij het eerste deel van de winst aan hebben mogen uitgeven:

Aankomende woensdag 16 maart vindt Symposium Zephyrus plaats in Kinepolis in Enschede. Hierdoor is de verenigingskamer helaas de hele dag gesloten.

Op 17 maart vanaf 9 uur is de kamer weer open voor je vragen, of als je even wat te eten wilt halen.

Door een groot aantal besmettingen wijzen we op het advies om thuis te blijven bij klachten, en om een zelftest te doen als je naar IA of één van onze activiteiten komt.

Het is ons opgevallen dat er afgelopen week een verhoogd aantal besmettingen zijn geconstateerd onder onze leden. In overleg met de GGD hebben we besloten om de commissiemarkt van 16 februari te verplaatsen naar 2 maart. Verder gaan alle andere activiteiten komende week nog wel gewoon door, en blijft de Inter-Actief kamer de hele week geopend. Echter vragen we wel iedereen om extra voorzichtig te zijn; blijf thuis bij klachten en doe een zelftest voordat naar Inter-Actief of één van onze activiteiten komt.

Wij zoeken mensen die kunnen helpen tijdens de numerus fixus examendag (betaald!)

op 5 maart vindt het numerus fixus examen voor TCS plaats en omdat we onze campus natuurlijk ook aan deze mogelijke studenten willen laten zien, zijn er wat meer activiteiten rondom zoals een lunch en een kleine puzzeltocht-achtige activiteit rond de campus. Deze vinden plaats op zaterdag 5 maart van 9.30 tot 14.30 uur. Wij zijn op zoek naar studenten die deze dag willen helpen. Je wordt betaald via UTflex omdat het werk is voor de faculteit!

Als je geinteresseerd bent, stuur mij een bericht op education@inter-actief.net

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!

Original message: https://eniacalumni.wordpress.com/2022/01/31/remco-abraham-wins-the-eniac-thesis-award-2020-2021/