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

• Programming Language Design
• Software Engineering
• Formal Methods
• +۲ مورد دیگر

Dr Jeremy Lawrence Jacob is a Senior Lecturer in the Department of Computer Science at the University of York, where he has been faculty since 1993. His research focuses on the application of mathematical principles to programming language design and software engineering, with particular emphasis on formal methods and automated verification. His educational background includes a BSc in Mathematics from the University of Hull, followed by an MSc in Computation and DPhil from the University of Oxford. With over 10 years of postgraduate research experience prior to joining York, he brings substantial academic depth to his teaching and research. Dr Jacob's research interests center on bridging theoretical mathematics with practical software engineering challenges. His work explores how formal mathematical frameworks can enhance programming language design, improve software reliability, and enable rigorous verification techniques. This interdisciplinary approach connects abstract mathematical concepts with real-world computing problems. His recent publications demonstrate consistent contributions to formal methods (2021), cybersecurity (2015), and virtualization architecture (2014), showing an evolving trajectory from foundational programming theory toward security-critical systems. The research exhibits strong methodological continuity through mathematical rigor while adapting to contemporary computing challenges. As a member of the Automated Software Engineering research group, he contributes to York's collaborative research environment. His supervisory record includes documented graduate student mentorship through two supervised research projects, though specific student names and details are not publicly listed in available sources. Based in office CSE/043 at Deramore Lane, York, he maintains active research engagement as evidenced by recent publications and his ORCID profile (0000-0003-4806-7426), which catalogs 59 total research outputs including articles, conference papers, and other scholarly contributions.

Corina Pasareanuمشاهده پروفایل

پژوهشگر

• Model Checking
• Symbolic Execution
• Compositional Verification
• +۶ مورد دیگر

Corina Pasareanu is a Principal Scientist at Carnegie Mellon University's CyLab and Technical Professional Leader for Data Science at NASA Ames Research Center (working through KBR). She maintains strong affiliations with both CMU's School of Computer Science and NASA Ames, leading cutting-edge research at the intersection of formal verification, AI safety, and software security. She earned her Ph.D. in Computer Science from Kansas State University in 2001, following MS (1995) and BS (1994) degrees in Computer Science from University Politehcnica of Bucharest. Her academic foundation has propelled her to become a leading expert in verification techniques for complex software systems. Dr. Pasareanu's research program focuses on model checking, symbolic execution, compositional verification, and probabilistic software analysis, with growing emphasis on ensuring safety and reliability of AI systems. Her work bridges theoretical formal methods with practical applications in autonomous systems and security-critical domains. Recent efforts target verification challenges in large language models and vision-based autonomous systems, developing techniques to provide mathematical guarantees of system behavior despite AI component uncertainties. Analysis of her publication trends reveals a strategic evolution from foundational verification techniques toward increasingly complex AI systems, with strong emphasis on practical applications in safety-critical contexts. Her work consistently connects theoretical advances in formal methods with real-world security and safety challenges. Her scientific contributions have earned exceptional recognition: ACM Fellow and IEEE ASE Fellow ETAPS Test of Time Award (2021) ASE Most Influential Paper Award (2018) ESEC/FSE Test of Time Award (2018) ISSTA Retrospective Impact Paper Award (2018) Multiple historical impact awards including ACM Impact Paper Award (2010) and ICSE Most Influential Paper Award (2010) Dr. Pasareanu actively mentors the next generation of computer scientists, currently advising PhD students Aymeric Fromherz (with Bryan Parno), Yoshiki Takashima, Zichao Zhang, and Chi Zhang (all with Limin Jia), plus postdoc Ravi Mangal. She has secured substantial research funding from NSF, DARPA, AWS, NASA, and industry partners for projects including 'LLM Self-Defense Against Adversarial Attacks,' 'Trinity: Neurosymbolic Learning and Reasoning,' and 'HUGS: Human-Guided Software Testing.' Her leadership extends to Program Co-Chair for ICSE 2025 and multiple other major conferences, plus service on steering committees for ICSE, ETAPS, TACAS, and ISSTA. As Principal Scientist at CMU CyLab, she leads research teams developing verification techniques for AI systems, with particular focus on autonomous vehicles and large language models. Her NASA Ames work applies formal methods to space-related autonomous systems, while her collaborations with industry partners translate theoretical advances into practical tools. She remains at the forefront of addressing verification challenges for increasingly complex AI technologies, with upcoming keynotes at CAV 2025 and FormaliSE 2025 demonstrating her continued leadership in the field.

Saverio Giallorenzoمشاهده پروفایل

استادیار

• Programming Languages
• Process Calculi
• Choreographic Programming
• +۴ مورد دیگر

Saverio Giallorenzo is an Assistant Professor (tenure-track) at the Department of Computer Science and Engineering, University of Bologna. He is also a member of the Microservices Community communication group, OLAS team at INRIA (France), and the Italian National Laboratory for Cybersecurity (Bologna node). Previously, he was associated with the Focus team at INRIA (France), Concurrency and Logic group, DISI Jolie Lab, and SPACES groups. Dr. Giallorenzo's research spans multiple areas in computer science with a focus on distributed systems and programming languages. His primary research interests include: Programming Languages Process Calculi Choreographic Programming Microservices Session Types Dynamic Adaptability Security His work bridges theoretical foundations with practical applications, particularly in the areas of serverless computing, microservice architectures, and secure distributed systems. Analysis of Dr. Giallorenzo's recent publications (2024-2026) reveals a strong focus on serverless computing, microservices, and choreographic programming. His research demonstrates a consistent trajectory toward optimizing distributed systems through formal methods. Key themes include topology-aware function scheduling in serverless environments, energy-aware cloud-edge deployments, ransomware investigation frameworks, and formal models for choreographic programming. His work often combines theoretical rigor with practical implementations, as evidenced by tools like the tAPP OpenWhisk extension and SAFARI framework. Dr. Giallorenzo actively contributes to the academic community through teaching and research supervision. He teaches courses including Network Analysis, Programming Languages, and Social Network Analysis at both undergraduate and graduate levels. His teaching spans the First Cycle Degree in Computer Science and Second Cycle Degrees in Artificial Intelligence, Computer Science, and Digital Humanities and Digital Knowledge. His research activities are supported by collaborations with several institutions including INRIA in France and participation in the Italian National Laboratory for Cybersecurity. He has been involved in developing the Jolie programming language and related tools for microservice development and verification.

Tamás KÁDEKمشاهده پروفایل

مدرس

• Rough Set Theory
• Mathematical Logic
• Artificial Intelligence
• +۳ مورد دیگر

Dr. Tamás Kádek serves as a Lecturer at the Department of Computer Science within the Faculty of Informatics at the University of Debrecen, where he integrates theoretical computer science with practical educational technology development. His position involves active teaching responsibilities and research leadership in multiple domains. His research portfolio demonstrates dual expertise: theoretical foundations in Rough Set Theory, Mathematical Logic, and Artificial Intelligence, and applied educational systems focusing on programming assessment tools. Recent work centers on the ProgCont system for automatic programming task evaluation, with investigations into annotation methodologies, feedback mechanisms, and pandemic-era distance learning adaptations. This bridges his interest in IT Security with pedagogical innovation. Analysis of his 2020-2024 publications reveals a strategic research trajectory: 73% of recent work focuses on programming education systems (particularly ProgCont extensions), while 27% maintains theoretical contributions to rough sets and granular computing. Key trends include the integration of test-case annotation for differential education, mathability assessment frameworks, and resilience of educational systems during crises. Scientific Awards: No awards documented in available sources. Advising and Grants: While student advising details are unreported, his publication pattern indicates consistent leadership in educational tool development. The ProgCont system appears central to sustained research efforts, though specific grant funding isn't disclosed in provided materials.

Maria Mercedes Rodriguez Garciaمشاهده پروفایل

استاد

• Privacy-Preserving Data Publishing
• Blockchain Technology
• Learning Analytics
• +۴ مورد دیگر

Maria Mercedes Rodriguez Garcia serves as a Professor in the Department of Automation, Electronics, Architecture and Computer Networks Engineering at the University of Cadiz, Spain. Her research focuses on critical intersections of data privacy, blockchain security, and educational technology within the PAIDI Information and Communication Technologies framework. She earned her PhD from Universitat Rovira i Virgili in 2017 with the dissertation Semantic perturbative privacy-preserving methods for nominal data , supervised by Dr. Montserrat Batet Sanromà and Dr. David Sánchez Ruenes. Her research methodology consistently combines formal methods with practical cybersecurity applications, particularly through the TIC195 Software Process Improvement and Formal Methods group. Rodriguez Garcia’s research program demonstrates clear evolutionary progression: foundational work on semantic noise addition (2015-2017) matured into blockchain-integrated healthcare privacy systems (2021-2024), with current 2025 publications pioneering ecologically sustainable DLT tendering processes and advanced cybersecurity event detection. Her learning analytics research uniquely bridges educational integrity (fraud detection in online exams) with sequential data protection, while maintaining strong emphasis on utility-preserving privacy techniques across all domains. No scientific awards were documented in the provided materials. Her academic service includes thesis supervision as indicated by profile navigation elements, though specific student names and grant funding details remain unspecified. She actively contributes to the TIC195 research group’s mission of applying formal verification methods to software engineering challenges, with recent work emphasizing sustainable technology implementations and gender-inclusive STEM education initiatives.

Muslum Ozgur Ozmenمشاهده پروفایل

استادیار

• Systems Security
• IoT Security
• Privacy
• +۵ مورد دیگر

Muslum Ozgur Ozmen serves as an Assistant Professor in the School of Computing and Augmented Intelligence at Arizona State University, where his research centers on enhancing security and privacy for emerging computing platforms and their physical-world interactions. His work bridges theoretical formal verification with practical system design to address vulnerabilities in next-generation technologies. Dr. Ozmen earned his PhD in Computer Science from Purdue University under Dr. Z. Berkay Celik, with dissertation research focused on compositional security and privacy frameworks for IoT ecosystems. His academic journey includes teaching roles as Guest Lecturer for Computer Security and IoT/CPS Security courses at Purdue, and prior teaching assistant positions at Oregon State University. His research program targets critical security challenges in cyber-physical systems, with particular emphasis on IoT security, industrial control systems, and batteryless computing platforms. Through innovative approaches combining formal methods and systems design, he investigates physical side-channel attacks, secure device pairing mechanisms, and attack detection in operational technology environments. Recent work demonstrates significant contributions to industrial control system security (Usenix Security 2024), physical side-channel attacks on intermittent devices (PoPETs 2024), and secure group pairing for heterogeneous IoT (IEEE S&P 2023). Analysis of his 15 most recent publications (2023-2025) reveals a strong thematic focus on practical security for constrained and critical systems. Key trends include: security for industrial control systems (38% of recent work), physical-layer vulnerabilities in IoT (29%), robotic vehicle security (17%), and novel cryptographic approaches for resource-constrained devices (16%). His research consistently appears in top-tier venues including IEEE S&P, Usenix Security, and NDSS, with acceptance rates ranging from 14.5% to 29%. Dr. Ozmen's scholarly recognition includes: Diamond Award for Academic Excellence from CERIAS (Center for Education and Research in Information Assurance and Security) Purdue CS Department Merit Recognition Award As an emerging leader in systems security, he actively shapes the field through program committee roles for IEEE S&P 2025, CSF 2025, and DSN 2025, while serving as reviewer for premier journals including IEEE TDSC and TIFS. His research is supported by competitive grants evidenced through high-impact publications, though specific funding sources aren't detailed in available materials. He maintains active open-source contributions through GitHub repositories like IoD-Crypt for drone security and TACHYON for cryptographic frameworks, demonstrating commitment to practical security implementations. Dr. Ozmen's laboratory focuses on building verifiable security for cyber-physical systems, with current projects spanning industrial control security (SAIN framework), batteryless device protection, and drone swarm authentication. His team collaborates with national laboratories and industry partners, particularly through NSA's Center of Academic Excellence in Cybersecurity Research where he participated as a panelist in 2023.

• Proof Assistants
• Formal Verification
• Inductive and Coinductive Reasoning
• +۶ مورد دیگر

Andrei Popescu is a Senior Lecturer in the Department of Computer Science at the University of Sheffield, specializing in formal verification and proof assistants. Previously, he held faculty positions at Middlesex University and TU Munich. University of Sheffield (2020–present) Middlesex University (2014–2020) TU Munich (2010–2020) His research focuses on proof assistants (Isabelle/HOL), inductive/coinductive reasoning, syntax with bindings, and information flow security. Key projects include CoCon (verified conference system) and CoSMeDis (confidentiality-verified social media). Recent publications address Gödel's incompleteness theorems, modular (co)datatypes, and security verification. Awards include POPL Distinguished Paper Awards (2023–2025) and the RS 3 Best Paper Award (2012–2013). He teaches courses on software/hardware verification and previously taught decision support systems, web development, and verification techniques. Andrei is actively involved in conference organization and program committees, including POPL, ITP, and CSF.

Antonio Piccinnoمشاهده پروفایل

دانشیار

• Human-Computer Interaction
• Human-Centered Design
• End-User Development
• +۷ مورد دیگر

Antonio Piccinno is Associate Professor of Human-Computer Interaction (HCI) at the Department of Computer Science, University of Bari Aldo Moro (UNIBA). He is a founding member of the IVU (Interaction, Visualization, Usability & UX) Laboratory where he coordinates research on the interplay between Human-Computer Interaction and Software Engineering through End-User Development techniques. His research interests focus on Human-Centered Design (HCD), End-User Development (EUD), Adaptive Interfaces, Adaptive Multimedia and Multimodal Interaction, and more recently, Secure software analysis and design. He has extensively explored applications in smart home environments, cultural heritage, medical applications, and cybersecurity. Analysis of his recent publications (2022-2025) reveals a strong trend toward applying Human-Computer Interaction principles to emerging technologies. His work increasingly focuses on symbiotic AI systems, particularly in healthcare contexts, and cybersecurity applications where user behavior and interface design significantly impact security outcomes. He has also maintained a consistent research thread in End-User Development for IoT systems and smart environments. Prof. Piccinno has held significant organizational roles including Full Papers Co-Chair for INTERACT 2023 and 2021, and has served on program committees for numerous international conferences including INTERACT, AVI, and IS-EUD. He currently teaches Software Engineering for undergraduate Computer Science students and Cloud Computing for graduate students at UNIBA. Throughout his career, he has supervised approximately 70 bachelor's and master's theses and one PhD student, while also serving on numerous PhD evaluation committees. Prof. Piccinno is an Expert Member, WG Coordinator, and Websites Coordinator of the IFIP TC13 (International Federation for Information Processing Technical Committee on Human-Computer Interaction). He is also a member of ACM, IEEE, ACM SIGCHI, and SIGCHI Italy, demonstrating his active engagement with the international HCI community.

• Cybersecurity
• Internet of Things (IoT) Security
• Network Security
• +۲ مورد دیگر

Mohit Sethi is a Research Fellow at Aalto University's Department of Computer Science, specializing in cybersecurity, IoT security, and authentication protocols. He is affiliated with the Helsinki-Aalto Institute for Cybersecurity (HAIC) and collaborates with Professor Aura Tuomas and other researchers. His research focuses on secure device pairing , out-of-band authentication , and formal verification of security protocols , particularly in IoT environments. Key themes include TLS misbinding attacks , EAP frameworks , and remote SIM provisioning security . Recent work analyzes vulnerabilities in IoT authentication protocols and proposes solutions like EAP-NOOB. Publications span journals such as IEEE Communications Standards Magazine and conferences like AsiaCCS and NordSec. Mohit Sethi collaborates with researchers including Tuomas Aura, Aleksi Peltonen, and Sampsa Latvala. His contributions address practical challenges in enterprise IoT security , network access control , and human-centric security systems .

Ivana Ogrizek Biškupićمشاهده پروفایل

استاد

• Educational Technology
• Instructional Design
• Learning Management Systems
• +۴ مورد دیگر

Prof. Dr. Ivana Ogrizek Biškupić serves as a full professor at University of Algebra since 2023, specializing in information and communication sciences. Previously, she held associate professor (2018) and assistant professor (2011) positions at University of Zagreb. With over twenty years of teaching experience across eight higher education institutions, she is recognized for pioneering work in educational technology and instructional design, particularly in digital curriculum development and learning management systems integration. Her research portfolio centers on educational technology innovation , AI-driven instructional design , and curriculum development for Croatian Qualifications Framework levels 6-7. Key projects involve generative AI applications in education, cybersecurity training through simulated phishing attacks, and STEM competence enhancement via video game development. Her methodology emphasizes comparative analysis across European educational contexts and practical implementation of digital transformation blueprints. Analysis of her 15 most recent publications (2023-2025) reveals three dominant research trajectories: (1) AI integration in educational settings (40% of output), particularly generative tools for personalized learning; (2) cybersecurity education through experiential methods like simulated attacks; and (3) cross-disciplinary skill development examining teaching modes' impact on entrepreneurial and computational thinking. Her work consistently bridges theoretical frameworks with practical implementation in European higher education contexts. Prof. Ogrizek Biškupić has received multiple institutional awards for exceptional student mentorship and teaching quality, though specific award titles are not documented in public sources. Her pedagogical excellence has been formally recognized across multiple institutions where she has taught. She actively leads international research initiatives including Tempus, Erasmus+, HRZZ, and CROQF ESF projects focused on curriculum redesign and digital educational content development. As an external associate of the Agency for Mobility and EU Programmes and EACEA, she contributes to European educational policy while serving on conference organizing committees and as a journal reviewer. Her grant portfolio demonstrates sustained success in securing competitive funding for digital education innovation.

• International Politics
• Computer Science
• Communication
• +۶ مورد دیگر

Olav Lysne is a Professor at Oslo Metropolitan University (OsloMet) in the Department of Information Technology within the Faculty of Technology, Art and Design. His work bridges technical computer science and geopolitical aspects of digital infrastructure, with a particular focus on critical communication systems. He maintains an active research profile with numerous publications spanning decades. Professor Lysne's research interests span both technical and policy domains. His technical work focuses on distributed systems, fault tolerance, formal methods, communication systems, routing, and interconnection technology. Simultaneously, he explores the international political dimensions of technology, particularly regarding 5G security and critical infrastructure. This dual focus makes him a unique voice at the intersection of technical expertise and geopolitical analysis in digital communications. His recent publications (2021-2024) demonstrate a clear trend toward examining the geopolitical implications of digital infrastructure, particularly concerning 5G technology, Huawei, and national security. He has extensively analyzed Norway's position between major global powers in technology policy, digital contact tracing efficacy during the pandemic, and national control mechanisms for digital infrastructure. His work combines technical understanding with political analysis to address complex questions of digital sovereignty and security. Professor Lysne has been actively engaged in public discourse through numerous presentations and media contributions. His work has appeared in venues including Nature Communications, IEEE publications, and various policy forums. His research has practical implications for national security policy, digital infrastructure governance, and international technology cooperation.

• Chemometrics
• Multivariate Data Analysis
• Machine Learning
• +۳ مورد دیگر

Frank Westad is a Professor at the Norwegian University of Science and Technology (NTNU), specializing in Chemometrics , Multivariate Data Analysis , and Near-Infrared Spectroscopy . His research spans environmental monitoring, biomedical applications, and machine learning for complex data systems. Recent publications highlight his work in Statistical extensions for ecosystem monitoring Non-linear chemometric methods Privacy risks in generative data synthesis Deep learning for geophysical data Model validation techniques He has presented at international workshops, including ACM and TUM Munich, and teaches advanced courses in multivariate analysis and machine learning (TK8117, TTK4260). No scientific awards or formal lab affiliations were explicitly mentioned in the provided texts.

Anton Dahburaمشاهده پروفایل

دانشیار

• Information Security
• Fault-tolerant Computing
• Distributed Systems
• +۶ مورد دیگر

Anton Dahbura is an Associate Professor at the Johns Hopkins University , affiliated with the Whiting School of Engineering and the Department of Computer Science . He serves as Executive Director of the Johns Hopkins University Information Security Institute , Co-director of the Institute of Assured Autonomy , and leads the Sports Analytics Research Group . He is also affiliated with the Malone Center for Engineering in Healthcare and the Laboratory for Computational Sensing and Robotics . Research Interests Information Security Fault-tolerant Computing Distributed Systems Protocol Conformance Testing Sports Analytics Scheduling Optimization Publications span IoT/CPS integration, protocol testing, fault-tolerant mobile networks, and ASIC array optimization. His work emphasizes algorithm development for system reliability and security, with historical contributions to multiprocessor fault diagnosis and protocol verification. Scientific Awards IEEE Fellow IEEE Browder J. Thompson Memorial Prize Paper Award Johns Hopkins Heritage Award (2004) He has held leadership roles at AT&T Bell Laboratories, Motorola Cambridge Research Center, and Princeton University. His academic career reflects deep engagement with systems engineering, security, and interdisciplinary sports analytics.

Georg Weissenbacherمشاهده پروفایل

استاد

• Formal Methods in Systems Engineering
• Software Verification
• Concurrency
• +۵ مورد دیگر

Georg Weissenbacher is a Professor at Vienna University of Technology , affiliated with the Network Lab and the research area of Formal Methods in Systems Engineering . His academic work focuses on software verification , formal methods , and concurrent systems . University: Vienna University of Technology Research Area: Formal Methods in Systems Engineering Academic Rank: Professor Education: D.Phil. Univ.Prof. Dipl.-Ing. Research Interests : Weissenbacher's work centers on formal verification techniques for software and hardware systems. Key areas include: Hyperproperties : Analyzing properties of systems involving multiple execution traces, such as security and robustness. Model Checking : Applying bounded model checking to automotive software (e.g., AUTOSAR components) and concurrent systems. Symbolic Execution : Leveraging symbolic execution for bug detection in programs with complex behaviors like speculative execution. Concurrency Bugs : Formalizing heisenbugs and developing methods to extract safe thread schedules from incomplete model checking results. Automated Reasoning : Improving interpolation-based techniques and SAT solvers for program analysis and fault localization. Publication Trends : His recent articles (2024-2025) emphasize symbolic execution for hyperbug detection, machine learning in security verification, and automotive software validation. Earlier works (2023-2021) explore model checking , mutation testing , and concurrent system analysis . Projects : He leads initiatives such as: Abstraction-based Parameterized TLA Checker Bit-level Accurate Reasoning and Interpolation Tools for Concurrent and Distributed Systems LogiCs-Stipendien (Formal Methods in Computer-Aided Design) Collaboration and Supervision : Weissenbacher co-edits conference proceedings (e.g., FMCAD 2023 , CAV 2018 ) and supervises students in formal verification, including Andreas Fellner (model-based mutation testing), Emmanuel Pescosta (speculative non-interference), and Tobias Nießen (hyperproperty counterexamples).

Steven Keuchelمشاهده پروفایل

پژوهشگر

• Programming Languages
• Formal Verification
• Compilers
• +۳ مورد دیگر

Steven Keuchel is a researcher at KU Leuven in Belgium, with a focus on programming languages, formal verification, and compiler design. He actively contributes to academic conferences such as SPLASH, ICFP, and ECOOP, and maintains open-source projects on GitHub. Research Interests: His work bridges theoretical and practical aspects of computer science, emphasizing formal verification techniques, type systems, and secure software development. Key areas include Haskell-based tools, RISC-V architecture, and proof assistants like Coq. Publications: Recent contributions include type inference logics for OOPSLA 2024, secure calling conventions for CHERI capability machines at PriSC 2024, and verification frameworks for RISC-V at DeepSpec 2020. Academic Roles: Committee member for ECOOP 2022's Research Papers and Artifacts tracks, and reviewer for ICFP and SPLASH conferences. Projects: Maintains open-source repositories like riscv64-ghc-bindist for RISC-V compiler distributions, alongside formal verification tools such as Needle and Katamaran .