Nuno Paulino
Assistant Professor at INESC Technology and Science - Associate Laboratory
Baião, Portugal
Summary
👤
Senior🎓
Top SchoolNuno M. C. Paulino is an Assistant Professor and researcher with 13 years of experience at the intersection of academia and applied engineering, specializing in run-time reconfigurable systems, FPGA-embedded designs, and hardware/software co-design automation. He holds a PhD and MSc in Electrical and Computer Engineering from the University of Porto and teaches programming and laboratory courses while pursuing research at INESC TEC. Nuno combines hands-on hardware experience—from designing and assembling large RGB LED installations at Fraunhofer Portugal to PCB manufacture—with software skills in C/C++ and UI-focused open-source contributions. Notably, his work on enhancing Alloy's visualization and temporal trace navigation demonstrates a knack for bridging formal methods tools with usable developer interfaces. He brings a practical mindset to research, translating complex reconfigurable-computing concepts into tangible systems and teaching materials.
13 years of coding experience
1 year of employment as a software developer
Master in Electrical and Computers Engineering, Telecommunications Engineering/MicroElectronics, 16.46 (out of 20), Master in Electrical and Computers Engineering, Telecommunications Engineering/MicroElectronics, 16.46 (out of 20) at Faculdade de Engenharia da Universidade do Porto
Portuguese, English
Github Skills (10)
alloy10
javas10
uid10
visualization10
front-end-development10
ui-design10
visualizations10
java10
refactoring8
refactor8
Programming languages (7)
Github contributions (5)
AlloyTools/org.alloytools.alloy
Feb 2021 - Sep 2021
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:103 reviews, 7 commits, 4 PRs in 6 months
Contributions summary:Nuno primarily focused on enhancing the Alloy tool's visualization capabilities, specifically adding and modifying features related to temporal specifications and trace navigation. This included UI modifications, adding new menu items and toolbar buttons, and integrating components for visualizing multiple states side-by-side. The user also addressed several bugs and refactored code, including fixing an issue with dynamic skolems and correcting file dialog behavior.
security
haslab/electrum
Jun 2016 - Jul 2021
Contributions:2 releases, 496 commits, 30 pushes in 5 years 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.