جست‌وجوی استاد و پژوهشگر

Gerardo Schneiderمشاهده پروفایل

استاد

• Formal Specification and Analysis of Contracts
• Formalization of Privacy Policies
• Model Checking
• +۵ مورد دیگر

Gerardo Schneider is a Full Professor in Computer Science at the University of Gothenburg, Sweden, and holds a joint appointment at Chalmers University of Technology. He serves as Head of the Data Science and Artificial Intelligence (DSAI) Division and has previously led the Formal Methods Division and acted as Director of Graduate Studies. University of Gothenburg: 2009–present Chalmers University of Technology: 2009–present Uppsala University: 2002–2003 University of Oslo: 2005–2009 His research focuses on formal methods for software engineering, including contract specification and analysis , privacy policy formalization , model checking , and runtime verification . He works on verification of real-time systems, embedded systems (e.g., smart Java cards), and blockchain-based smart contracts. Key projects include: X-LEGAL (2020–2023): Smart Legal Contracts (Swedish Research Council) PolUser (2016–2019): User-Controlled Privacy Policies (Swedish Research Council) ARVI (2014–2018): Runtime Verification Beyond Monitoring (ICT COST Action) ReMU (2013–2017): Reliable Multilingual Digital Communication (Swedish Research Council) He has supervised numerous PhD and Master’s students in formal methods, blockchain security, and privacy compliance. His tools include SPeeDI (Polygonal Hybrid Systems Verification), CLAN (Contract Normative Conflict Detection), and AnaCon (Controlled Natural Language Analysis).

Werner Dietlمشاهده پروفایل

دانشیار

• Programming Languages
• Static Analysis
• Software Security
• +۴ مورد دیگر

Werner Dietl is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. His work focuses on programming languages, static analysis, software security, and formal verification techniques. He has contributed to type system design, low-power computing, and approximate data types through projects like EnerJ. His research also addresses challenges in compiler design, cryptographic protocol validation, and runtime enforcement mechanisms. Key research areas include: Type systems for imperative and domain-specific languages Static analysis of implicit control flow (e.g., Java reflection, Android intents) Approximate computing and energy-efficient computation Formal verification of security properties Publications span topics from unit measurement type inference to ownership-based security models, reflecting a focus on practical formal methods. His work emphasizes scalability and precision in type systems while addressing real-world software engineering challenges.

Engelbert Hubbersمشاهده پروفایل

مدرس

• Formal Methods
• Electronic Voting Systems
• Cybersecurity
• +۳ مورد دیگر

Engelbert Hubbers is a Lecturer at Radboud University, affiliated with the Digital Security Group within the Institute for Computing and Information Sciences (iCIS). His primary role involves teaching responsibilities across multiple courses such as Mathematical Structures, Formal Reasoning, and Logic and Applications. His research interests focus on formal methods, electronic voting systems, and discrete mathematics, with a particular emphasis on cybersecurity applications like Java Card security and e-passport systems. Engelbert has contributed to significant projects such as the RIES internet voting system and the KOA remote voting system, emphasizing formal verification and secure protocol design. He has held roles in academic governance, including membership in the Exam Committee and Program Committee of iCIS. His work bridges theoretical computer science with practical applications in secure voting technologies and embedded systems. Publications span topics from formal logic in education to cryptographic protocols, reflecting his transition from foundational research (e.g., polynomial automorphisms) to applied security. His teaching includes coordinating courses on formal reasoning, discrete mathematics, and semantics, demonstrating a commitment to both education and cybersecurity innovation.

Guillaume Ducمشاهده پروفایل

دانشیار

• Embedded Systems Security
• Hardware/Software Interaction
• Side-Channel Attacks
• +۳ مورد دیگر

Guillaume Duc is an Associate Professor (Maître de Conférences) at Télécom Paris , affiliated with the Information Processing and Communication Laboratory (LTCI) and the Department of Computer Science and Networks . His research focuses on embedded systems security, particularly hardware/software interaction, side-channel attacks, and resilient architectures. Education: PhD in Hardware, Software and Cryptographic Support for Secure Process Execution , École Nationale Supérieure des Télécommunications de Bretagne (2007) Master's (DEA) in CryptoPage – an architecture to run secure processes , Université de Rennes 1 (2004) Research Interests: His work spans embedded systems security , with a focus on: Hardware/Software Interaction: Exploring vulnerabilities and defenses at the intersection of hardware and software. Side-Channel Attacks: Investigating power analysis, electromagnetic attacks, and countermeasures, including organizing the DPA Contest . Resilient Architectures: Designing secure memory architectures, FPGA-based protections, and cloud-embedded system trustworthiness. Publications & Patents: He has published extensively in top-tier venues such as Journal of Cryptographic Engineering , ACSAC , and CARDIS , with recent works addressing AI-driven automotive security (2024) and system cost-optimization for security (2019). He holds multiple patents in non-intrusive fault detection and secure electronic component monitoring. Teaching & Leadership: Academic lead for the engineering program at Télécom Paris. Responsible for courses like INF107: From Logic Gates to Operating Systems and SE203: Microprocessor System Tools . Co-instructor for Rust programming modules in executive education. Labs & Teams: He leads research within the Autonomous Critical Embedded Systems (ACES) team at LTCI, collaborating on secure embedded systems for automotive and cloud applications.

• Embedded Systems Security
• Side-Channel Attacks
• Secure Architectures
• +۳ مورد دیگر

Guillaume Duc is an Associate Professor (Maître de Conférences) at Télécom Paris, affiliated with the Laboratoire Traitement et Communication de l'Information (LTCI) and the Systèmes Embarqués Critiques Autonomes team within the Computer Science and Networks Department. His expertise lies in embedded systems security, side-channel attacks, and secure architectures. Research Interests: His work spans embedded systems security , focusing on securing communication buses and memory architectures against espionage. He explores hardware support for software security , side-channel attacks (notably through the DPA Contest ), and secure memory encryption techniques. His research also delves into integrity checking , fault detection , and distributed security for multiprocessor systems. Publications & Patents: He has published extensively in top-tier journals and conferences, including Journal of Cryptographic Engineering , ACSAC , and CARDIS . His work covers topics like AES side-channel attacks, secure memory architectures, and Java Card vulnerabilities. He also holds multiple patents in secure memory allocation and electronic equipment monitoring. Teaching & Supervision: He leads several courses at Télécom Paris, including INF107: From Logic Gates to Operating Systems and SE203: Tools, Languages, and Practices for Microprocessor Systems . He is also involved in advanced Rust programming modules and has supervised PhD students. Labs & Teams: He is a key member of the Systèmes Embarqués Critiques Autonomes team at LTCI, contributing to cutting-edge research in secure and autonomous embedded systems.

Jean-Francois Lalandeمشاهده پروفایل

استاد

• Operating System Security
• Embedded Software Security (Smart Cards)
• Android Application Security
• +۴ مورد دیگر

Jean-Francois Lalande is a Professor at CentraleSupélec, affiliated with the Inria CIDRE project within the IRISA laboratory. Previously, he served as Associate Professor at INSA Center Val de Loire (LIFO laboratory) from 2005 to 2017. His research focuses on cybersecurity, particularly in operating systems, embedded systems (smart cards), and Android applications. He has defended his Habilitation to Supervise Research (HDR) in 2016. Research interests include malware analysis, access control policies, intrusion detection systems, and software code analysis. He has contributed to projects like Mascopt (network optimization library) and developed frameworks for analyzing Android malware behavior (e.g., GroddDroid, Kharon dataset). Key achievements include work on isolating malicious code in Android malware, preventing serialization vulnerabilities, and debiasing malware datasets. He also focuses on teaching mobile security, developing educational tools and curricula. His collaborations span institutions like INSA, Inria, and international researchers. Current research emphasizes network security optimization, covert channel detection in mobile systems, and privacy-preserving protocols for smart environments.

Gabriel Stoianمشاهده پروفایل

مدرس

• Computer Networks
• Digital Communications
• Operating Systems
• +۷ مورد دیگر

Gabriel Stoian is a Lecturer in the Computer Science Department at the Faculty of Mathematics and Computer Science, University of Craiova, Romania. He has been serving in this role since 2008, having previously held the position of Assistant Professor from 1992 to 2008. His academic and research activities are deeply rooted in computer systems and networking. His educational background includes a PhD from the University of Craiova (2007) with a thesis titled Model for quantitative and qualitative analysis of ADSL communication , and a degree in Computer Science from the Faculty of Automatics, Computers and Electronics at the University of Craiova (1984–1989), where his graduation paper was on a logic analyzer. Gabriel Stoian's research interests include Computer Networks, Digital Communications, Operating Systems, and Computer Architecture. His work emphasizes mobile and broadband communication systems, particularly in WiMAX and ADSL technologies, and explores innovative solutions using mobile agents and optimization algorithms. The recent publications reflect a consistent focus on network performance, traffic management, and communication system design. Key themes include handoff optimization in mobile networks, DSLAM and line card architecture, and intelligent systems for network control. His research bridges theoretical models with practical implementations in telecommunications and embedded systems. IEEE Member (Computer Society, Communication Society), since 2002 Association for Computing Machinery, since 2004 Romanian Mathematical Society (SSMR), since 2000 Research Center of Artificial Intelligence, Craiova, since 2000 Gabriel Stoian has participated in national research grants such as Algebraic Properties of the Labelled Stratified Graphs and Knowledge Representation System Based on Frames . While no formal advising roles are listed, his collaborative publications suggest mentorship and team-based research. He has taught courses including Operating Systems, Computer Networks, and Java Technologies. He is associated with the Research Center of Artificial Intelligence in Craiova and has contributed to projects involving frame-based knowledge systems and fault diagnosis in digital circuits. His ongoing work reflects a strong integration of academic teaching, applied research, and professional engagement in international computing societies.

Alex Nicolauمشاهده پروفایل

استاد

• Parallelizing Compilers
• High-Performance Java
• Power-aware Computing
• +۳ مورد دیگر

Alex Nicolau is a Professor of Computer Science at the University of California, Irvine within the Donald Bren School of Information and Computer Sciences and an IEEE Fellow. He serves as Editor for PeerJ Computer Science and leads research at the Center for Embedded Computer Systems, focusing on high-performance computing systems and compiler-driven hardware optimization. His research spans Parallelizing Compilers , High-Performance Java , Power-aware Computing , and Reconfigurable Computing , with current projects including Julius C (divide-and-conquer algorithm modeling), EXPRESS (retargetable compiler framework), FORGE (distributed embedded systems optimization), SPARK (C-to-VHDL synthesis), and CoReComp (reconfigurable architecture compilers). These initiatives address critical challenges in energy efficiency, hardware-software co-design, and performance optimization for embedded platforms. Recent publications (2003-2004) reveal concentrated efforts on mobile energy efficiency and reconfigurable systems, with recurring themes of power management in multimedia streaming, task partitioning for watermarking algorithms, and network topology exploration in mesh architectures. His work demonstrates a cohesive vision bridging theoretical compiler advances with practical hardware implementations. His professional recognition includes: IEEE Fellow Professor Nicolau has mentored over 20 Ph.D. students to completion, including current advisees Weiyu Tang and Radu Cornea, and alumni like Sumit Gupta and Joseph Hummel who now lead industry and academic research. His editorial leadership as Editor-in-Chief of the International Journal of Parallel Programming and program committee roles for ICS and LCTES conferences reflect his significant contributions to the field. Based at UC Irvine's Center for Embedded Computer Systems (CECS 204), he directs a research ecosystem focused on compiler-driven hardware adaptation, with ongoing exploration into dynamic resource management and energy-aware system design for next-generation computing platforms.

Julien Cordryمشاهده پروفایل

مدرس ارشد

• Mobile and ubiquitous computing
• Embedded systems
• Security
• +۳ مورد دیگر

Dr. Julien Cordry is a Senior Lecturer in the School of Computing at the University of Teesside, affiliated with the Department of Computing & Games and the Centre for Digital Innovation. He holds a PhD from CNAM in Paris (2009), focusing on smart card performance measurement. His research spans mobile and ubiquitous computing, embedded systems, cybersecurity, and formal methods. Education: PhD in Computer Science, CNAM, Paris (2009) Research Interests: Mobile and ubiquitous computing Security protocols and password policies Embedded systems performance optimization Virtual reality applications in healthcare education Research Trends: Focus on cybersecurity, including password composition policies and privacy-preserving techniques Development of mobile health applications for posture and pain monitoring Pioneering work on Java Card benchmarking tools and embedded systems evaluation Collaborations: Engages in interdisciplinary projects involving health informatics, game development, and neurotechnology through partnerships with institutions like the European Journal of Integrative Medicine and ACM. Labs/Teams: Active in the Centre for Digital Innovation, collaborating on projects blending technology with real-world applications in education, healthcare, and gaming.

Thomas P. Jensenمشاهده پروفایل

پژوهشگر

• Program Analysis
• Software Security
• Abstract Interpretation
• +۷ مورد دیگر

Thomas P. Jensen is a Researcher at INRIA Rennes , France, specializing in program analysis , software security , and abstract interpretation . With a Cand. scient. in Computing and Mathematics from the University of Copenhagen (1990) and a PhD from Imperial College, University of London (1992), he has led research teams at INRIA, including the Celtique project-team (2010-2022) and currently the Epicure project-team (since 2022). He holds a Habilitation à diriger des recherches from Université Rennes 1 (1999). Research Focus Program analysis with type-based and big-step semantics approaches Certification of static analysis tools for embedded systems Software fault isolation and language-based security Information flow control through hybrid static-dynamic analysis His work spans Java security (including Java Card and mobile telephony) and formal verification of compilers and sandboxes. Notable projects include JavaSec , AJACS , and the CominLabs cybersecurity network. He received a Best Paper Award at GPCE 2018. Publications & Editorial Recent publications focus on algebraic data types , automata-based verification , and control-flow analysis with applications in cybersecurity . He has contributed to the Strategic research and innovation roadmap for SPARTA (2022) as editor. His work appears in top venues like POPL , PLDI , ICFP , and ESOP . Leadership Director of Laboratoire d'Excellence CominLabs (since 2022) Co-chair of VMCAI 2026 and member of PriSC 2024 Program Committee