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

• Software Verification
• Side-channel Analysis
• Computer Security
• +۳ مورد دیگر

Tegan Brennan is an Assistant Professor at the Department of Computer Science within the Charles V. Schaefer, Jr. School of Engineering and Science at Stevens Institute of Technology. She holds a PhD in Computer Science from the University of California Santa Barbara (2020). Her research focuses on software verification, side-channel analysis, computer security, and program analysis. Prior to academia, she worked as an Applied Scientist at Amazon (2020). Her research interests emphasize securing computational systems through rigorous analysis of timing channels, adaptive neural networks, and compiler-induced vulnerabilities. She has contributed to methods like probabilistic reachability analysis and fuzzing techniques for identifying security flaws. Brennan has received accolades such as the UCSB Outstanding Dissertation Award (2020) and ICSE Student Research Competition Third Place (2020). She actively serves on program committees for IEEE Security and Privacy, CSF, and BAR conferences, reflecting her leadership in the cybersecurity community. Her grants include CRII: SaTC funding for studying timing channels in neural networks. Courses taught include CS284 (multiple semesters), CS516, CS396, and CS810-E, covering software engineering and advanced security topics.

Sankha Guriaمشاهده پروفایل

استادیار

• Program Synthesis
• Type Systems
• Programming Languages
• +۲ مورد دیگر

Sankha Guria serves as an Assistant Professor in the Department of Electrical Engineering & Computer Science at The University of Kansas, where he conducts research at the intersection of programming languages and software engineering. His primary research focuses on advancing program synthesis techniques and type system design, with significant contributions to abstract interpretation-guided synthesis (Absynthe), effect-guided program generation (RbSyn), and security-aware declassification frameworks (ANOSY). He also investigates type-level computations for dynamic languages, particularly addressing challenges in Ruby and JavaScript through transparent object proxies and contract systems. Analysis of his publication timeline reveals strong continuity in programming languages research since 2015, with recent work (2021-2023) emphasizing lightweight abstractions for synthesis and refinement types, while maintaining foundational work on dynamic language security. His research consistently bridges theoretical formal methods with practical language implementation challenges, particularly in the context of modern scripting languages.

Sal Aurigemmaمشاهده پروفایل

مدرس

• Cybersecurity
• Information Security Policy
• End-User Computing
• +۳ مورد دیگر

Sal Aurigemma is an Instructor in the Information Technology Management (ITM) Department at the Shidler College of Business, University of Hawai‘i at Mānoa. He holds a Ph.D. in CIS (2013), an MS in Information Systems (2001), and a BS in Nuclear Engineering (1992). His research focuses on organizational security culture, end-user cybersecurity awareness, and improving small business cybersecurity practices. Prior to joining UH, he served as an Associate Professor at the University of Tulsa (2013–2023) and retired as a Naval Officer with extensive IT and cybersecurity experience in defense sectors. Education: Ph.D. in CIS, University of Hawai‘i at Mānoa (2013) MS in Information Systems, Hawaii Pacific University (2001) BS in Nuclear Engineering, University of Florida (1992) Research Trends: His publications emphasize behavioral aspects of security policy compliance, including cultural influences (e.g., uncertainty avoidance, long-term orientation), organizational commitment, and deterrence mechanisms. Recent work explores voluntary security technology adoption and the impact of user status on compliance intent. Awards: Military honors: Bronze Star Medal, Defense Meritorious Service Medal Teaching awards at UH and University of Tulsa Professional Contributions: Serves on editorial boards for Information & Computer Security and Journal of Organizational and End User Computing . Active in professional organizations like IFIP, ISSA, and Infragard. Teaches courses on cybersecurity, networking, and programming.

Ju Fengمشاهده پروفایل

پژوهشگر

• Wind Energy Systems
• Floating Offshore Wind Farms
• Wind Farm Optimization
• +۶ مورد دیگر

Ju Feng is a Senior Researcher at the Department of Wind and Energy Systems, Technical University of Denmark (DTU), specializing in Wind Energy Systems , Wind Farm Optimization , and Control Strategies . He contributes to research in Floating Offshore Wind Farms , Multi-Disciplinary Optimization , and Noise Propagation . His work includes developing simulation tools, wake models, and control frameworks for wind farms in complex environments. Research Interests: Optimization of wind farm design and operation Advanced wake and flow modeling AI-driven wind energy solutions Noise control and acoustic propagation Multi-fidelity/multi-disciplinary modeling Cost-effective wind farm technologies Publication Trends: Ju Feng's recent work (2022-2024) focuses on floating offshore wind farms , noise constraints , and multi-disciplinary integration . Older articles (2012-2017) emphasize control algorithms , wake modeling , and optimization frameworks . Advising: Supervising PhD Student Wang R. (AI-Augmented Wind Farm Design Optimization, 2025-2028) Co-supervising Nyborg C. M. (Noise Control in Wind Farms, 2019-2023) Collaboration Network: Active in international projects like DecoWind, ModFarm, and FarmConners. Collaborates with institutions such as DTU Wind Energy and researchers including Shen W. Z. , Réthoré P.-E. , and Bredmose H. .

Sanket Tavarageriمشاهده پروفایل

استادیار

• Big Data
• Machine Learning
• High Performance Computing
• +۲ مورد دیگر

Sanket Tavarageri is an Assistant Professor in the Computer Engineering Department at San José State University. He holds a Ph.D. in Computer Science and Engineering from The Ohio State University and a B.Tech from National Institute of Technology Karnataka. His research encompasses big data systems, machine learning infrastructure, and high-performance compiler technologies. Research areas include: Polyhedral compilation techniques for deep learning workloads Automatic parallelization and optimization frameworks Hardware-software co-design for computational efficiency Scalable machine learning systems His publication portfolio demonstrates consistent innovation in compiler architecture and parallel systems from 2013-2021. Recent work focuses on AI-enhanced compilation, automatic parallelism for deep learning models, and hardware-aware optimizations. Publications appear in ACM TACO, IEEE Big Data, IPDPS, and PLDI conferences. Tavarageri maintains an active industry connection as a researcher at Google. Tools developed through his BRIGHT laboratory are available on GitHub and Bitbucket. His teaching covers compiler technology, parallel computing, and systems design with emphasis on practical implementation.

Ram C. Kafleمشاهده پروفایل

دانشیار

• Statistics
• Bayesian Analysis
• Epidemiology
• +۳ مورد دیگر

Dr. Ram C. Kafle is an Associate Professor of Statistics and Graduate Advisor for the MS in Data Science and Statistics program at Sam Houston State University. His research spans Bayesian analysis, change-point regression, cancer epidemiology, survival analysis, and risk assessment modeling. Education includes a B.S. and M.S. from Tribhuvan University (Nepal), M.S. from University of Akron, and Ph.D. from University of South Florida. His methodological work in statistical modeling has been applied to diverse domains including public health surveillance, COVID-19 forecasting, sports analytics, and environmental science. Recent publications demonstrate expertise in joinpoint regression, functional data analysis, and Bayesian modeling frameworks.

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

Kevin Batz is a researcher in computer science at RWTH Aachen University, currently affiliated with University College London. He completed his PhD in December 2024 under Professor Joost-Pieter Katoen, focusing on probabilistic program semantics and verification. His work includes co-developing Weighted Programming, a paradigm for mathematical modeling, and advancing deductive verification techniques for probabilistic systems. Education: PhD in Computer Science (RWTH Aachen University, 2024, summa cum laude). Supervised by Prof. J.-P. Katoen. Research Interests: Probabilistic programming semantics, automated verification, formal methods for heap-manipulating systems, and quantitative separation logic. He has pioneered tools like the deductive verification infrastructure for probabilistic programs and contributed to foundational work on expectation analysis. Awards: ETAPS Doctoral Dissertation Award 2025 Best Paper Award at LOPSTR 2020 Springorum Medal 2019 Teaching & Supervision: Taught courses on probabilistic programming, static analysis, and compiler construction. Supervised multiple thesis projects, including award-winning works on quantitative separation logic and invariant-based strategy synthesis. Labs/Teams: Member of the Software Modeling and Verification Group at RWTH Aachen, contributing to the LuFG i2 research unit.

Ansgar Fehnkerمشاهده پروفایل

دانشیار

• Automated System Verification
• Software Verification Tools
• Model Checking
• +۵ مورد دیگر

Ansgar Fehnker is an Associate Professor (Teaching and Leadership) in the School of Computing at Macquarie University. His research focuses on automated system verification tools, including model checking and static analysis, with applications in cyber-physical systems, blockchain technology, and educational software. He has held previous roles at the University of Twente (2016–2021), University of the South Pacific (2012–2016), and National ICT Australia (2004–2012). Research interests include: Formal methods for software verification Static analysis for C/C++ Blockchain protocol analysis Educational technology for programming education Recent publications emphasize AI-driven educational tools and hands-on training systems for programming. His work bridges theoretical formal methods with practical educational applications.

Luis Gerhorstمشاهده پروفایل

پژوهشگر

• Distributed Systems
• Operating Systems
• Cyber-Physical Systems
• +۳ مورد دیگر

Luis Gerhorst is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-Universität Erlangen-Nürnberg. He focuses on systems software, embedded systems, energy-efficient computing, and security mitigations against transient execution attacks like Spectre. His work spans kernel-level optimizations, carbon-aware cloud systems, and embedded system resilience. Education: Completed Bachelor's and Master's theses in system software at FAU, focusing on system-call aggregation and Linux kernel interrupt handling. Research Interests: His primary areas include operating systems, distributed systems, and energy-aware resource management. Notable contributions include the AnyCall system-call aggregation framework and VeriFence , a Spectre defense mechanism for BPF programs. He also explores carbon footprint modeling in cloud environments through projects like carbond . Publications: Recent work addresses energy-efficient embedded systems (vNV-Heap), power-failure resilient network stacks (PfIP), and reverse-engineering Wi-Fi drivers for energy analysis. His research often bridges hardware-software co-design and environmental sustainability. Grants/Advising: Supervised over 10+ theses on topics like carbon-aware timers, BPF sandboxing, and Rust-based alternatives to BPF. Active in open-source projects like Linux kernel contributions and GitHub repositories for systems research. Labs/Teams: Member of Lehrstuhl für Informatik 4, collaborating on projects related to system software and embedded systems resilience. Maintains active GitLab/ GitHub repositories for research tools and prototypes.

Daniel Lohmannمشاهده پروفایل

استاد

• Operating Systems
• Embedded Systems
• Real-Time Systems
• +۴ مورد دیگر

Professor Daniel Lohmann leads the Systems Research and Architecture (SRA) group at Leibniz Universität Hannover since 2017, following his role as Associate Professor (Privatdozent) at Friedrich-Alexander-Universität Erlangen-Nürnberg (2009–2016). His work focuses on configurable system software, emphasizing embedded systems, real-time systems, and dependable architectures. Key projects include danceOS (dependability in embedded OS), Sloth (minimal-effort kernels), and AspectC++ (aspect-oriented C++ extension). His research is funded by DFG and addresses challenges in variability management, fault tolerance, and real-time scheduling. Research interests span operating systems design, software product lines, generative programming, and aspect-oriented development. Notable contributions include the CiAO OS family and the Sloth RTOS, leveraging aspect-oriented techniques for flexibility and efficiency. His work on configuration analysis (e.g., static variability in Linux) and fault mitigation (e.g., AN-Codes for soft errors) highlights his expertise in system reliability and optimization. Publications emphasize real-time systems, embedded software, and software engineering, with awards including the Best Paper Award at SPLC 2010 and an Outstanding Paper at RTAS 2017. He supervises theses on system software tailoring, fault tolerance, and industrial software ecosystems. His groups collaborate on invasive computing (SFB/TRR 89) and hardware-aware OS design.

Philip Fongمشاهده پروفایل

دانشیار

• Access Control
• Cybersecurity
• IoT Security and Privacy
• +۳ مورد دیگر

Philip Fong is an Associate Professor in the Department of Computer Science at the University of Calgary. He previously held a Tier-2 Canada Research Chair in Software Security (2009–2019) and served as faculty at the University of Regina (2003–2008). He holds a B.Math and M.Math from the University of Waterloo and a Ph.D. from Simon Fraser University. His research focuses on access control mechanisms, IoT security, privacy in social computing systems, and language-based security. He has contributed to frameworks addressing policy negotiation, inference attack mitigation, and privacy-preserving systems. Notable work includes developing the Papilio tool for Android permission visualization and formalizing purpose-based privacy policies. His scientific achievements include the Tier-2 Canada Research Chair. His research spans interdisciplinary areas such as geo-social computing, federated systems protection, and hybrid logic-based policy enforcement. He has also explored security in open-source medical records systems and design patterns for multi-stakeholder platforms. Collaborations involve secure collaboration models and policy analysis techniques. His work bridges theoretical foundations (e.g., policy satisfiability) with practical tools (e.g., visualization systems for access control).

Roberto Bruniمشاهده پروفایل

استاد

• Operational Semantic
• Petri Nets
• Reaction Systems
• +۵ مورد دیگر

Roberto Bruni is a Professor in the Department of Computer Science at the University of Pisa, Italy. He has been actively contributing to theoretical computer science with a focus on formal methods, operational semantics, and reaction systems. His academic service includes serving as PC member for SAS 2025 and CMSB 2025 conferences. Professor Bruni's research interests span Operational Semantic, Petri Nets, Reaction Systems, Graph Transformation, and Monoidal Category. His work bridges theoretical computer science with applications in computational biology and program analysis. He has developed significant tools like BioReSolve, a Prolog interpreter for Reaction Systems analysis, and has contributed to projects such as RemConf (Confusion removal in Petri nets) and The Link Calculus. His recent publications demonstrate a strong focus on reaction systems, program analysis, and formal verification methods. The research trend shows increasing application of theoretical computer science concepts to biological modeling and healthcare applications, particularly through enhanced reaction systems frameworks. Professor Bruni holds several institutional responsibilities including membership in the Commission Didattica del GRIN since 2020, delegation to the University Information System (SIA) for the Department of Computer Science since 2020, and membership in the Doctoral College for Smart Industry since 2018. He has been Vice-president of the Master's Degree in Data Science and Business Informatics at the University of Pisa since 2017. His teaching portfolio is extensive, covering courses in programming, algorithms, quantum computing, business process modeling, and program analysis for both undergraduate and graduate students in multiple languages (Italian and English). He has taught courses such as Programmazione e Algoritimica, Models for Programming Paradigms, Business Processes Modeling, Program Analysis, and Introduction to Quantum Computing. Professor Bruni has been involved in numerous research projects including PRA (FM4HD, DECLWARE, FOG), PRIN (ASPRA, CINA, IPODS), and several EU-funded projects (IST-FP7 ASCENS, IST-FP6 SENSORIA, CoMeta, AGILE, NAPI, GETGRATS). His previous academic positions include PhD Student at University of Pisa, International Fellow at SRI Computer Science Laboratory, and Visiting Scholar at UIUC.

Théo Le Calvarمشاهده پروفایل

استادیار

• Software Engineering
• Model-Driven Engineering
• Model Transformation
• +۴ مورد دیگر

Théo Le Calvar is an Assistant Professor in Software Engineering at IMT Atlantique in Nantes, France, specializing in Model-Driven Engineering and Constraint Solving. He holds a PhD in Computer Science from the University of Angers (2016–2019), with a focus on exploring model sets under the supervision of Frédéric Saubion, Fabien Chhel, and Frédéric Jouault. His academic career includes a Post-Doctorate at the University of Montreal and ERIS team (2020–2021), and roles as a Temporary Teaching and Research Associate at the University of Angers (2020). He has conducted research internships at the National Institute of Informatics in Tokyo (2016) and the LERIA lab (2015). His research interests include model transformations, constraint programming, incremental systems, and combinatorial optimization. He has published extensively in venues like the ACM/IEEE MODELS Conference and the International Conference on Model Transformations. His work integrates formal methods, such as process algebra and OCL-based analysis, with practical applications like anomaly detection and fruit basket management systems. Le Calvar advises engineering students on projects involving logic solvers, anomaly detection, and food waste reduction. He contributes to open-source tools like the Eclipse Modeling Framework and actively participates in workshops and seminars, including the Dagstuhl Seminar (2018) and the Transformation Tool Contest. His technical skills span Java, C++, Python, and tools like Docker and Ansible.

Michael Burkeمشاهده پروفایل

مدرس پاره‌وقت

• Program Analysis
• Static Analysis-based Tools
• Mobile Security
• +۶ مورد دیگر

Michael Burke is a Senior Research Scientist and Part-Time Lecturer at Rice University's Computer Science Department. He holds a PhD from New York University (1983) and a BA from Yale University (1973). His research focuses on program analysis, static analysis tools, mobile security, parallel computing, and compiler optimization. Previously, he worked at IBM Research for over 25 years, contributing to projects like the PTRAN parallelization system, XJ XML programming language, and Jalapeno Java virtual machine. Dr. Burke has been recognized with numerous awards, including the ACM SIGPLAN Distinguished Service Award (2008), ACM Distinguished Scientist (2007), and IBM Research Division Technical Group Award (2005). He has authored over 60 technical papers and holds multiple patents related to compiler optimization and data analysis. His teaching includes courses on automata theory, compiler construction, and algorithmic thinking. Burke has advised on projects such as the Habanero Multicore Software Research Project and collaborated with organizations like Intel and Lawrence Livermore National Lab on parallel computing frameworks.

Liu Yangمشاهده پروفایل

استاد

• Cybersecurity
• Software Engineering
• Artificial Intelligence
• +۳ مورد دیگر

Prof. Liu Yang is a full Professor and University Leadership Forum Chair at the School of Computer Science and Engineering, Nanyang Technological University (NTU). He holds the President’s Chair in Computer Science and Engineering and serves as Executive Director of the Cyber Research Programme Office and Cyber Security Research Centre @ NTU. His research focuses on Cybersecurity, Software Engineering, and Artificial Intelligence, with contributions in formal verification, program analysis, and deep learning systems. He leads projects like the Securify initiative and develops tools such as the Process Analysis Toolkit (PAT) for system verification. Education: Ph.D. (2010) and Bachelor of Computing Science (2005) from National University of Singapore. Research Interests: Cybersecurity (malware analysis, vulnerability detection), Software Engineering (formal verification, program analysis), AI (security, robustness, explainability), and Automotive Security. His work bridges formal methods, program analysis, and machine learning to address challenges in secure systems and autonomous systems. Notable Achievements: Over 6000 citations (2020), H-index 38, awards include Nanyang Assistant Professor (2013), NRF Investigatorship (2020), and ACM Distinguished Speaker. His research spans journals like IEEE Transactions on Software Engineering and conferences such as NeurIPS, CVPR, and ICSE. Grants and Leadership: Principal Investigator of grants totaling over 5M SGD, including projects on vulnerability detection, formal verification, and cybersecurity. Organizes international conferences like ASE, ICSE, and FM, and serves on editorial boards such as IEEE Access. Labs/Teams: Leads the Cyber Security Research Centre @ NTU and collaborates on projects like the HP-NTU Digital Manufacturing Corp Lab and the National Satellite of Excellence in Singapore.