جستجوی استاد راهنمای دانشگاهی

• Computer-assisted Audit Tools and Techniques
• Data Analytics on Fraud Detection
• Information Systems Auditing
• +۳ مورد دیگر

Isabel Pedrosa is an Associate Researcher at ISTAR-Iscte Research Center within ISCTE - University Institute of Lisbon. She specializes in Information Systems with a focus on computer-assisted auditing, fraud detection analytics, and gender disparities in technology. Her academic journey includes a PhD in Information Science and Technology (ISCTE-IUL), a Master's in Systems and Informatics, and a Bachelor's in Informatics Engineering (both from University of Coimbra), complemented by postgraduate studies in People and Team Management at Coimbra Business School. Her research explores Computer-assisted Audit Tools , Fraud Analytics , and Business Intelligence , with significant work on technology adoption models in auditing. Recent publications analyze AI's impact on accounting, cybersecurity disclosures, and gender bias in STEM education. She maintains active collaborations across Portuguese academic institutions including Instituto Superior de Contabilidade e Administração de Coimbra. Scientific Awards: International CIDA Certification, Certified IDEA Data Analyst (2017) Ambassador for ISACA Lisbon Chapter's She Leads Tech gender equality initiative She coordinates postgraduate programs in Audit, Risk and Control of Information Systems and has advised over 80 Master's students on topics spanning data analytics, AI in auditing, and business intelligence. Her teaching includes the course 'Analytical Methods for Fraud Detection' at INDEG-IUL.

• Spectral Graph Theory
• Mathematics Education
• Educational Computing
• +۵ مورد دیگر

Helena Margarida dos Santos Vasconcelos Gomes is an Assistant Professor at the School of Education of Viseu (Polytechnic Institute of Viseu), with a PhD in Mathematics (Spectral Graph Theory, 2018) and a Master's in Mathematics (Algebra and Systems Theory, 2006) from the University of Aveiro . She is a senior researcher at the Center for Research and Development in Mathematics and Applications (CIDMA) . Her work bridges Spectral Graph Theory and Mathematics Education , focusing on Early Childhood and Primary Education Algorithmic and Computational Thinking Humor in Mathematics Teaching Textbook Evaluation Teacher Training Programs Her research projects include EARLY (Robotics in Early Education), MindMaths (Flipped Learning for Math Anxiety), and Algolittle (Play-Based Algorithmic Skills). She has contributed to national and international studies on pedagogical content knowledge and interdisciplinary curriculum design. She supervises Master’s theses on topics like ICT in Geometry and teaching materials for Preschool Mathematics. Her recent publications analyze caterpillar graphs via H-join operations, Randic spectra, and humor integration in textbooks. Current affiliations : Assistant Professor, School of Education of Viseu (since 2018) Senior Researcher, CIDMA (since 2019) PhD Candidate, Artificial Intelligence and Intelligent Systems Engineering, Porto Higher Institute of Engineering (since 2022)

• Structural Control
• Consensus Methods
• Resilient Systems
• +۴ مورد دیگر

Guilherme Henrique Caçador Ramos is an Assistant Professor at the Department of Computer Engineering, Instituto Superior Técnico, University of Lisbon, and affiliated with the Telecommunications Institute. His work spans structural control systems, resilient consensus methods, and ethical considerations in recommender and ranking systems. Structural control systems Resilient consensus algorithms Recommender systems fairness Ranking systems security Privacy in computational models His recent publications focus on robustness in networked systems, fairness in recommendation algorithms, and security against bribery in ranking systems. Research integrates mathematical frameworks with real-world applications in control theory and AI ethics. Scientific awards: None listed.

• Control Systems Theory
• Fractional-Order Systems
• Brain Dynamics
• +۵ مورد دیگر

Sérgio Pequito is an Associate Professor in the Department of Electrical and Computer Engineering at Instituto Superior Técnico, University of Lisbon, and a principal investigator at the Institute for Systems and Robotics. He previously held faculty positions at Uppsala University (2022-2024) and Technische Universiteit Delft (2020-2022), and was a faculty member at Rensselaer Polytechnic Institute (2017-2020). His academic journey includes a PhD in Electrical and Computer Engineering from Carnegie Mellon University and a Doctorate in Electrical and Computer Engineering from Universidade de Lisboa. Pequito's research focuses on understanding the global qualitative behavior of large-scale systems through structural and parametric descriptions, with applications spanning neuroscience, biomedicine, and control theory. His work leverages dynamical systems, control theory, and artificial intelligence to develop new analysis tools for brain dynamics aimed at personalized medicine and improved bidirectional brain interfaces. His specific interests include fractional-order systems, structural systems theory, network controllability, and neurotechnology applications for epilepsy treatment and brain-computer interfaces. His recent publications reveal a strong emphasis on applying fractional calculus to model brain dynamics, developing control frameworks for neurotechnology, and advancing structural systems theory for large-scale networks. His work demonstrates a consistent trajectory toward bridging theoretical control systems with practical biomedical applications, particularly in understanding and controlling brain dynamics for therapeutic purposes. 2016 O. Hugo Schuck Award in the Theory Category by the American Automatic Control Council 2009 Best student paper finalist in the 48th IEEE Conference on Decision and Control 2023 Royal Swedish Academy of Engineering Sciences 100 List 2023 European Laboratory for Learning and Intelligent Systems (ELLiS) Research Scholar Multiple Trustees Faculty Achievement awards from Rensselaer Polytechnic Institute Pequito actively mentors numerous PhD and Master's students across multiple institutions, with research topics spanning cyber-neural systems, structural control theory, fractional-order optimization, and neurotechnology applications. His laboratory work focuses on developing theoretical frameworks for large-scale system control while maintaining strong connections to practical applications in biomedical engineering and neuroscience, particularly in developing new diagnostic tools and treatment strategies for neurological diseases through control systems theory.

Maria F. Pachecoمشاهده پروفایل

دانشیار

• Graph Theory
• Combinatorial Optimization
• NP-complete Problems
• +۴ مورد دیگر

Maria F. Pacheco is an Associate Professor at the Technology and Management School of the Polytechnic Institute of Bragança. With a Ph.D. from the University of Aveiro, her mathematical research focuses on Graph Theory and Combinatorial Optimization, particularly NP-complete problems involving perfect matchings and Hamiltonian cycles. She leads pedagogical innovation through projects like MathE and imath.pixel-online.org, developing clustering algorithms to analyze student behavior and optimize question difficulty levels. Dr. Pacheco coordinates the STEP project to enhance STEM research capacity and directs initiatives promoting educational inclusion, including the Mentoring Academy Project and Drop-In@IPB 2.0 for student retention. Her interdisciplinary work includes LiDAR-based rehabilitation assessment systems and occupational safety prediction models. She serves on institutional committees for equality and diversity while maintaining research collaborations through CIDMA (University of Aveiro) and CeDRI (IPB).

Benny Åkessonمشاهده پروفایل

استاد

• Cyber-physical systems
• Real-time systems
• Model-based engineering
• +۳ مورد دیگر

Benny Åkesson is a Professor by Special Appointment at the University of Amsterdam, holding the Chair of Design Methodologies for Cyber-physical Systems since 2019. He is also a Senior Research Fellow at ESI (TNO) in Eindhoven. His research focuses on design methodologies for cyber-physical systems, particularly model-based engineering and real-time systems. Åkesson has authored over 60 peer-reviewed papers and two books on memory controllers for real-time embedded systems. He has held positions at Eindhoven University of Technology, Czech Technical University, and CISTER/INESC TEC in Porto. Education: MSc from Lund Institute of Technology (2005), PhD from Eindhoven University of Technology (2010). Research interests span cyber-physical systems, real-time systems, and embedded systems design. Notable contributions include work on mixed-criticality scheduling, memory controllers, and real-time resource management. Awards include the Outstanding Paper Award at RTNS 2019 and Best Paper Award at ESTIMedia 2015. Labs/Teams: Active in CISTER/INESC TEC Research Unit and ESI (TNO), collaborating on projects involving real-time embedded systems and cyber-physical architectures.

Kai Liمشاهده پروفایل

پژوهشگر ارشد

• Cybersecurity
• Artificial Intelligence
• Internet of Things (IoT)
• +۶ مورد دیگر

Kai Li is a Senior Research Scientist at the CISTER Research Unit of ISEP/IPP and a CMU-Portugal Research Fellow, supported by Carnegie Mellon University and Portugal’s FCT. He holds a PhD in Computer Science from UNSW Australia. His roles include Visiting Research Scientist at the University of Cambridge (2023–2024) and Visiting Research Scholar at CMU’s CyLab (2022). Prior positions include Post-Doctoral Research Fellow at SUTD-MIT (2014–2016) and Research Assistant roles at The Chinese University of Hong Kong and CSIRO. Education: B.E. (Shandong University, 2009), M.S. (HKUST, 2010), PhD (UNSW Sydney, 2014). Research focuses on IoT, cybersecurity, UAV systems, federated learning, and edge computing. He has authored over 50 journal/conference papers and is an Associate Editor for journals like Internet of Things (Elsevier), Nature Computer Science (Springer), and IEEE Access. He is an IEEE Senior Member and ACM member. Recent work emphasizes federated learning security, UAV surveillance, and 6G network orchestration. His publications span IEEE Transactions on Neural Networks, TIFS, and ACM Transactions on Cyber-Physical Systems. Projects include the IBEX initiative on cyber-physical programming.

José Proençaمشاهده پروفایل

مدرس

• Component-based systems
• Distributed systems
• Software engineering
• +۳ مورد دیگر

José Proença is a Lecturer and Integrated PhD Researcher at CISTER Research Centre, ISEP, Portugal. He is currently a postdoc focusing on formal models for component-based systems. Previously, he worked at HASLab (University of Minho) and Distrinet (KU Leuven), collaborating with researchers like Luís Barbosa, Danny Hughes, and Dave Clarke. His expertise includes coordination of distributed components (Reo language), software product line engineering, and embedded systems (LooCI middleware and VirtuosoNext RTOS). Education: 5-year degree in Mathematics and Computer Science from University of Minho, with an Erasmus exchange at Bristol University, UK. PhD in Computer Science from Leiden University (2011), conducted at CWI, Amsterdam, in the Foundations of Software Engineering group. Research interests span formal methods, distributed systems, embedded systems, and software engineering. He has contributed to projects like IBEX (quantitative cyber-physical programming) and MARS (toolset for real-time systems). His work emphasizes practical applications of formal models in real-time and safety-critical systems. Publications focus on coordination models, multiparty session types, and formal verification, with contributions to journals like Science of Computer Programming and conferences such as COORDINATION and FMAS. He actively collaborates on tools like CAOS (Scala framework) and ARx (reactive programming for connectors).

• Evolutionary Multiobjective Optimization
• Search-Based Software Engineering
• Semantic Web
• +۴ مورد دیگر

Vitor Basto Fernandes is an Associate Professor with tenure at Iscte - University Institute of Lisbon, affiliated with the Department of Information Science and Technology (ISTA) and ISTAR-Iscte research center. His career spans academic, research, and industry roles across institutions like University of Minho, University of Trás-os-Montes, and Polytechnic Institute of Leiria. PhD in Informatics (2006), University of Minho Postgraduate in Mobile Computing (2005), University of Minho Postgraduate in Distributed Systems (1997), University of Minho BSc in Information Systems Management (1995), University of Minho His research focuses on Evolutionary Multiobjective Optimization , Search-Based Software Engineering , and Cyber Security , with applications in healthcare systems, cloud computing, and anti-spam technologies. He has coordinated academic programs, led international research projects, and served as principal investigator for FCT-funded initiatives. Recent publications highlight expertise in cybersecurity risk analysis , ontological knowledge management , and multiobjective evolutionary algorithms . He organizes international conferences and mentors graduate students in fields like cloud infrastructure and data science . As an Integrated Researcher at ISTAR-Iscte, he contributes to projects involving semantic web technologies , enterprise application integration , and dimensionality reduction for spam filtering.

Yasser Omarمشاهده پروفایل

دانشیار

• Quantum Information
• Quantum Computing
• Quantum Communication
• +۳ مورد دیگر

Yasser Omar is an Associate Professor at the Logic and Computation Unit within the Department of Mathematics at Instituto Superior Técnico (IST), University of Lisbon. He serves as Group Coordinator for the Physics of Information and Quantum Technologies Group at PQI – Portuguese Quantum Institute and CeFEMA/LAPMET. Additionally, he is President of PQI and a Corresponding Member of Academia das Ciências de Lisboa. Ph.D. in Physics, Centre for Quantum Computation, Department of Physics, University of Oxford (2003) Physics Degree (Licenciatura em Engenharia Física Tecnológica), Instituto Superior Técnico (1998) His research focuses on quantum information, quantum technologies, and their intersections with physics, mathematics, and computation. Key areas include quantum entanglement, quantum algorithms, quantum thermodynamics, and applications to complex networks and high-energy physics. Recent publications highlight advancements in quantum communication, energy-efficient computation, and quantum machine learning. Notable works include quantum clustering algorithms, multipartite entanglement distribution, and thermodynamic scaling in quantum computers. He coordinates the Minor in Quantum Science and Technologies at IST and directs the Doctoral Programme in the Physics and Mathematics of Information. His leadership extends to co-founding the World Quantum Day (April 14) and EQSI – European Quantum Software Institute, while also serving as Co-Chair of the Advisory Board for the CERN Quantum Technology Initiative. Yasser Omar's work at the QuTe Lab – Quantum Technologies Laboratory – has been featured in media outlets like SIC TV, focusing on free-space quantum communication and its applications.

• Robotic Perception
• Mobile Robotics
• Machine Learning
• +۳ مورد دیگر

Cristiano Premebida is an Assistant Professor in the Department of Electrical and Computer Engineering (DEEC) at the University of Coimbra, Portugal. He is also a senior researcher at the Institute of Systems and Robotics (ISR-UC) and holds a PhD in Electrical and Computer Engineering from the University of Coimbra (2012), a Master's degree from the same institution (2007), and a B.Sc. in Electrical Engineering from the State University of Santa Catarina, Brazil (2001). Current Academic Rank: Assistant Professor Affiliation: University of Coimbra His research focuses on robotic perception , mobile robotics , applied machine learning , and autonomous vehicle systems . Key methodologies include sensor fusion , multimodal perception , and 3D LiDAR-based navigation , with applications in precision agriculture, autonomous driving, and industrial automation. Recent publications highlight advancements in deep learning calibration , fuzzy system interpretability , and multimodal human detection . Projects funded by the Fundação para a Ciência e a Tecnologia include the GreenBotics initiative for intelligent agricultural systems and AI+Green for automation in precision agriculture. Collaborations span institutions like MIT Portugal, ISR-UC, and international robotics conferences.

• Natural Language Processing
• Data Science
• Network Science
• +۶ مورد دیگر

Ana Rita Peixoto is an Assistant Professor in the Department of Information Science and Technology at ISCTE - University Institute of Lisbon, School of Technology and Architecture. She is also an Integrated Researcher at ISTAR-Iscte - Research Center in Information Sciences, Technologies and Architecture. Her academic and research activities focus on applied data science, network science, and natural language processing, particularly in the context of social media analysis for tech startups. Her research interests include: Natural Language Processing Data Science Network Science Artificial Intelligence Social Media Analytics Text Mining Ana Rita's recent publications analyze Twitter data to understand startup behavior, community structures, and content evolution over time. Her work combines AI techniques with real-world business applications, particularly in the Portuguese tech ecosystem. She has published in journals such as Applied Network Science and Social Network Analysis and Mining , and presented at conferences including ICPEC 2024 and Ciência 2022. Ana Rita is actively involved in teaching, offering courses such as Introduction to Data Science, Artificial Intelligence, and Data-Driven Decision Making at both undergraduate and master’s levels. She currently supervises two master’s students: Bruno Alexandre Baião de Oliveira and Nicole Lopes Nunes. She is a key participant in the research project ISDAPPP (Information Systems and Data Analysis for Public Policy Planning), which applies data science techniques to public policy challenges, including text analysis of workshop outputs and inequality monitoring.

• Formal Methods
• Dynamic Logics
• Cyber-Physical Systems
• +۴ مورد دیگر

Alexandre Madeira is an Associate Professor in the Mathematics Department at the University of Aveiro (Portugal), affiliated with CIDMA and collaborating with HASLab-INESC TEC. He holds a PhD in Computer Science from the University of Minho, awarded the Portuguese IBM Scientific Prize 2013. His research focuses on formal methods, dynamic logics, algebraic specifications, and cyber-physical systems. **Education**: PhD in Computer Science (University of Minho, 2013), MSc in Mathematics (University of Aveiro, 200?), and a degree in Applied Mathematics and Computation (University of Aveiro). **Research Interests**: Formal specification of software, combination of logics, modal/hybrid/dynamic logics, algebraic specification, and applications to quantum programming and cyber-physical systems. Projects include DaLí, Ibex, and Klee. **Awards**: Portuguese IBM Scientific Prize 2013. **Editorial Roles**: Editor for journals and conferences such as *Journal of Logical and Algebraic Methods in Programming* and *SEFM 2024*. **Teaching**: Coordinates courses like Elements of Logic, Computational Logic, and Analysis and Development of Algorithms at the University of Aveiro. Also teaches at the University of Minho on topics like Quantum Computing and Algebraic Logic. **Supervision**: Supervises PhD and MSc students in formal methods, paraconsistent systems, and quantum logics. Notable advisees include Juliana Cunha and Leandro Gomes.

José Fragoso Santosمشاهده پروفایل

استادیار

• JavaScript Verification
• Formal Methods
• Symbolic Execution
• +۳ مورد دیگر

Welcome to my home page. I am an Assistant Professor at the Department of Computer Science and Engineering, Instituto Superior Técnico, University of Lisbon, and a researcher at INESC-ID's SAT group. My work focuses on embedding formal methods into software development, particularly for JavaScript programs. PhD in Computer Science, University of Nice Sophia Antipolis (2014) MSc in Information Systems and Computer Engineering, Instituto Superior Técnico (2008) My research spans JavaScript verification, symbolic execution, and separation logic. I developed JaVerT, the first separation-logic-based tool for JavaScript analysis, used by Amazon to verify the AWS Encryption SDK and recognized with a Facebook Research Award. Recent publications highlight trends in symbolic execution, JavaScript security, and WebAssembly analysis. Key projects include Gillian (multi-language symbolic execution platform), Rexstepper (regular expression debugger), and Wasmati (WebAssembly vulnerability scanner). Facebook Research Award Supervised students include PhD researcher Gabriela Cunha Sampaio and MSc students Pedro Lopes, Carolina Costa, and others. Current teaching subjects: Analysis and Synthesis of Algorithms, Object-Oriented Programming, Software Security. Affiliated with the SAT group at INESC-ID and the Verified Trustworthy Software Specification group at Imperial College London.

Sonia Petroneمشاهده پروفایل

استاد

• Statistical Learning and Prediction
• Bayesian Theory and Methods
• Bayesian Nonparametrics
• +۵ مورد دیگر

Sonia Petrone is a Full Professor in Statistics at Bocconi University , holding a joint affiliation with the College of Economics, Politics and Decision Sciences and the field of Business Data Analytics. She joined Bocconi in 2001 and became Full Professor in 2014, previously serving at the University of Pavia (1991-1998) and the University of Insubria (1998-2001). She has conducted extensive research visits globally and served as President of the International Society for Bayesian Analysis (ISBA) in 2014. Education : Graduated in Discipline Economiche e Sociali from Bocconi University PhD in Statistics from Università degli Studi di Trento Her research focuses on Bayesian nonparametrics , statistical machine learning , and modeling complex dependence structures , with applications in random graphs and dynamic systems . Recent publications emphasize predictive modeling , stochastic processes , and Bayesian computational methods , reflecting her contributions to foundational Bayesian theory and its applications in advanced statistical frameworks. Scientific Awards and Editorial Roles : IMS Medallion Lecture (2018) ISBA Foundational Lecture (2016) Editor of Statistical Science (2020-2022) Coleditor of Bayesian Analysis (2010-2014) She has directed the Bocconi Summer School in Advanced Statistics and Probability since 2017 and played leadership roles in the Bocconi PhD in Statistics as Vice-Director and Curricula Responsible (2004-2011) and Director (2011-2018).