´Software heeft moeite hardware bij te houden´ /1 reactie

Slimmer

Bonsangue vindt het vooral belangrijk dat hij met zijn werk kan bijdragen aan het verbeteren van software en het bewijzen dat het werkt. ´Softwareontwikkeling kan anders,´ zo zegt hij. ´Slimmer.´
Onlangs ontwikkelden Bonsangue en collega Jan Rutten samen met hun promovendus Alexandra Silva een manier om de theorie van de reguliere expressies uit te breiden. Dit leidde tot een nieuwe logische taal voor de zogenaamde Mealy machine. Dat is een wiskundig model, geïntroduceerd in 1955 door George Mealy en wordt vandaag nog steeds gebruikt voor de synthese van electronische circuits. Verder kwamen ze op nieuwe algebraïsche en coalgebraische benaderingen voor de studie van interactieve en mobiele processen, probabilistiche systemen en formele talen. Deze nieuwe benadering is uitermate geschikt voor het geautomatiseerd produceren van software.

Bonsangue ziet zichzelf niet gauw meer teruggaan naar Italië. ´Het onderzoeksklimaat is goed in Nederland,´ zegt hij. ´Ik ben aan die luxe gewend. De samenwerking is prettig en productief en de mensen zijn open, zoals ze in weinig andere landen zijn.’

Over klimaat gesproken. Het weer blijft een probleem, hoe cliché dat ook is. Als je gewend bent aan de zon en de warmte valt het in het noorden niet altijd mee. Hoe warm het openbare leven ook is. ´Als het vroor was ik eerst niet blij: daarom ik heb helemaal in het begin toen ik hier kwam, leren schaatsen,´ vertelt Bonsangue. ´Ik dacht, dan heb ik tenminste nog wat aan het vriesweer.´ Maar daar lijken de klimaatproblemen weer een stokje voor te steken. ´Nu kan ik op de ijzers staan, en vriest het bijna nooit meer hard genoeg om buiten te schaatsen.´

Dit verhaal verscheen eerder hier.

Reageren via Facebook

Over Marco van Kerkhoven

Marco van Kerkhoven is bioloog, journalist en onderzoeker bij het Kenniscentrum Communicatie en Journalistiek van Hogeschool Utrecht. Hij doet promotieonderzoek naar nieuwe media businessmodellen.